« first day (1798 days earlier)      last day (2156 days later) » 

PyRulez
PyRulez
12:20 PM
1
Q: How can we be so sure that we don't live in Pudlak's inconsistent world?

PyRulezIn his Logical Foundation of Mathematics and Computational Complexity (2013), Pavel Pudlak invites the readers to ponder about fictitious people whose natural numbers are nonstandard. His exposition is included in Section 6.1, under the subsection Interlude - Life in an Inconsistent World. A...

logic model-theory proof-theory peano-axioms
 
PyRulez
PyRulez
1:00 PM
@DukeZhou You could try asking on meta.mathoverflow.net
 
 
2 hours later…
Martin Sleziak
Martin Sleziak
3:08 PM
It is a bit unclear where to ask whether a question is suitable for MO. (Some people do it in chat, but as you can see, it's not frequented that much.) Meta: How can I tell if my question is appropriate to MathOverflow or if I should just put a bounty on it at Math.SE? and Thread for asking about suitability of math.SE question on MO?.
Just to avoid confusion - the latter link was a suggestion to create such a thread and it seems that the response from the community was: No.
Also quid wrote this in his answer to Mathematics Meta question: What qualify questions to be in mathoverflow and not in math.stackexchange?
> I once read something along the lines "If you have to ask whether to ask on MO or math.se, likely you should ask it on math.se." I think this is a good rule of thumb.
 

« first day (1798 days earlier)      last day (2156 days later) »