QC (in Berlin 7/29-??? w/ COVID 😷) on Twitter: "@prerationalist yep, that'll do it!" / Twitter

Sep 25, 2020

i wrote a mathoverflow answer about godel's incompleteness theorem and nonstandard models of arithmetic that believe arithmetic is inconsistent that some of you might be interested in:

mathoverflow.net

What does T+non-Cons(T) mean?

I am puzzled by the following question, which is about the philosophical meaning of some axiomatic system. Suppose that a formal axiomatic system (containing arithmetics) $T$ is consistent. Let a

prerat

@prerationalist

Sep 25, 2020

> "It is maybe worth working carefully through why the statement ¬∀n:p≥n continues to be true in this ultrapower" Is it because p is still less than p+1?

QC (in Berlin 7/29-??? w/ COVID

)

@QiaochuYuan

Replying to

@prerationalist

yep, that'll do it!

7:00 PM · Sep 25, 2020Twitter Web App

Conversation