Is mathematics (in its entirety)just an extension of logic ? 
-
-
Replying to @HerbertHitchens
In current formulation yes, it’s an extension of axiomatic deductive structures.
1 reply 0 retweets 2 likes -
Replying to @InertialObservr @HerbertHitchens
Is this taking into account Godel's Incompleteness Theorem?
1 reply 0 retweets 0 likes -
Replying to @qalshidi @InertialObservr
Well in traditional logic, your statements/inferences has to be “consistent , sound and complete” , so per this standard, it doesn’t take Gödel’s incompleteness into account.
1 reply 0 retweets 0 likes -
Replying to @HerbertHitchens @InertialObservr
So then is
@InertialObservr statement fair? Technically the formulation is axiomatic deductive but your question includes ALL mathematics of which there are unprovables that might have nothing to do with logic.1 reply 0 retweets 1 like -
Replying to @qalshidi @InertialObservr
I’ll have to think more on this but I’m sure
@InertialObservr will contribute in the meantime.1 reply 0 retweets 0 likes -
Replying to @HerbertHitchens @qalshidi
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 structure2 replies 0 retweets 0 likes
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)
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.