Integration described by first-order logic?

  • Context: Graduate 
  • Thread starter Thread starter schlynn
  • Start date Start date
  • Tags Tags
    Integration Logic
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
2 replies · 2K views
schlynn
Messages
88
Reaction score
0
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.
 

Discussion

Physics news on Phys.org
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!
 
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.
 

Similar threads

Undergrad About the undecidability of first-order-logic

  • olgerm
  • · Replies 26 ·
  • Set Theory, Logic, Probability, Statistics
Replies
26

Undergrad Why the emphasis on first-order logic?

  • nomadreid
  • · Replies 9 ·
  • Set Theory, Logic, Probability, Statistics
Replies
9

Proving First Order Logic in Machover's Text

  • pooj4
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1

Infinite Natural Numbers: First-Order Logic Formula Explained

  • pooj4
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2

Graduate First order logic and set theory: who comes first?

  • jordi
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2

Graduate First order logic : Predicates

  • radouani
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3

Graduate Are formal systems of first order logic incomplete?

  • T S Bailey
  • · Replies 14 ·
  • Set Theory, Logic, Probability, Statistics
Replies
14

Graduate Why Can't First Order Logic Theories Demonstrate with Infinite Steps?

  • Garrulo
  • · Replies 11 ·
  • Set Theory, Logic, Probability, Statistics
Replies
11

Graduate Transcription from SQL to FOL (First Order Logic)

  • WWGD
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3

Graduate How to Prove (∀x)(A→B) ≡ ((∃x)A) → B Using First-Order Logic

  • programmer123
  • · Replies 23 ·
  • Set Theory, Logic, Probability, Statistics
Replies
23