Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Integration described by first-order logic?

  1. Aug 19, 2013 #1
    Is it possible, to describe a Riemann integral with just first-order logic? And if so could someone point me to somewhere that has such a description of it.
  2. jcsd
  3. Aug 19, 2013 #2


    User Avatar
    Science Advisor
    Homework Helper

    As far as I know any description of integration requires some qualifier of the form "##\forall A \subset X##" which is not expressible in first order logic. But I'd be happy to be proven wrong!
  4. Aug 19, 2013 #3
    I don't know much formal logic beyond my intro model theory class, but...

    In my attempt to define it, I couldn't do it without being able to say [tex]``\exists n\in\mathbb N:\exists x_1,...\exists x_n:\enspace...\text{''}[/tex] or [tex]``\bigvee_{n=1}^\infty \exists x_1,...\exists x_n:\enspace...\text{''}[/tex] which isn't kosher in any version of FOL I know.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook