Is mathematics (in its entirety)just an extension of logic ? 
-
I’ll have to think more on this but I’m sure
@InertialObservr will contribute in the meantime.
I’m not sure about that @HerbertHitchens.. Gödel’s incompleteness theorem is a *theorem* that says every axiomatic deductive structure contains an infinite number of unprovable statements.. it doesn’t say that math isn’t a deductive axiomatic structure
-
-
Indeed, Gödel’s incompleteness theorem wouldn’t be much of a theorem (properly so called) if he “proved” that his very undertaking wasn’t a deduction from propositional logic axioms (quotations are for logical consistency)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Gödel's first incompleteness theorem said any formal (axiomatic, first order logic) system contains axioms of arithmetic (like peano axioms) then there is no axiomatic closure that would make it so every true statements was provable.
-
In the sense that mathematics is the enterprise of finding proof for true statements, no formal system will suffice to model mathematics and mathematics shouldn't be considered just a result of logic
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.