= 27d567bc2d48d9f40e9ccc20ea370b15)
Stuart_Armstrong comments on We won't be able to recognise the human Gödel sentence - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (33)
Generally speaking, the model of Peano arithmetic will get smaller as the model of set theory gets larger.
And the point is not to prefer smaller or larger models; the point is to see if there is a unique definition of the natural numbers.