The Consistency of Arithmetic [pdf]
timothychow.net
The Consistency of Arithmetic [pdf]
1–10 of 14 posts
Re: The Consistency of Arithmetic [pdf]
#2In Gödel's collected works vol. 2 one has the detailed argument by transfinite induction up to the first inaccesible ordinal. Interesting to have this as guidemap.
Re: The Consistency of Arithmetic [pdf]
#3In Gödel's collected works vol. 2 one has the detailed argument by transfinite induction up to the first inaccesible ordinal. Interesting to have this as guidemap.
By "first inaccessible ordinal" you mean epsilon_0? (Probably you mean it in the sense of the first one inaccessible by addition, multiplication and exponentiation.) Because there is also a "first recursively inaccessible ordinal", which is much larger (also, not recursive: it's used to construct, by collapsing, the ordinal of Delta12-CA+BI, which is also much larger though recursive).
Re: The Consistency of Arithmetic [pdf]
#4Very readable, and fun to read. More please!
Re: The Consistency of Arithmetic [pdf]
#5This is great!
I'd love to read a similar explanation about surreal numbers. Are surreal numbers in N or not? How do we know? (In my limited understanding, they're not easily excluded.)
Re: The Consistency of Arithmetic [pdf]
#6Odd that this sentence:
> Whereof one cannot speak, thereof one must be silent.
did not get a citation. Perhaps its so well known among its target audience that none was considered necessary. Since HN appeals to a broader audience, I'll supply the missing citation: It's from Wittgenstein's Tractatus - the very last line in fact. The usage is apt - as far as I can tell, Wittgenstein was making the same point about the difficult - even impossibility - of making meaningful statements outside of a formal language.
https://en.wikipedia.org/wiki/Tractatus_Logico-Philosophicus...
Re: The Consistency of Arithmetic [pdf]
#7This is great! I'd love to read a similar explanation about surreal numbers. Are surreal numbers in N or not? How do we know? (In my limited understanding, they're not easily excluded.)
What do you mean by "in N"?
If you mean the natural numbers then they definitely aren't "in N" since the reals already have a larger cardinality than the naturals, and the reals are a subset of the surreals.
Re: The Consistency of Arithmetic [pdf]
#8[deleted]
Re: The Consistency of Arithmetic [pdf]
#9This is great! I'd love to read a similar explanation about surreal numbers. Are surreal numbers in N or not? How do we know? (In my limited understanding, they're not easily excluded.)
The surreals have no relation to any of this. I'm guessing you've confused them with nonstandard natural numbers? In which case the answer is, well, what are we assuming? From the point of view of ZFC, of course there are no nonstandard naturals -- but PA can't prove this. Note that this is from the point of ZFC that PA can't prove this, since PA itself can't even formalize the notion of a nonstandard natural number (if it could, it could prove they don't exist).
In any case, surreal numbers are an entirely different system of numbers that exist in ordinary mathematics. As opposed to nonstandard naturals, which are a "what if we look at other ways of doing math?" thing.
Re: The Consistency of Arithmetic [pdf]
#10Odd that this sentence: > Whereof one cannot speak, thereof one must be silent. did not get a citation. Perhaps its so well known among its target audience that none was considered necessary. Since HN appeals to a broader audience, I'll supply the missing citation: It's from Wittgenstein's Tractatus - the very last line in fact. The usage is apt - as far as I can tell, Wittgenstein was making the same point about the…
"Never mind, I was a pretentious doofus."
-Ludwig Wittgenstein, Philosophical Investigations