News for hackers. Stuff that matters.

A comment on Hawking Hawking. Parent comment

Re:Hawking Hawking by ProfHewitt on Saturday April 10, 2021 @03:07PM (#26764113)
Higher-order Dedekind/Peano axioms are categorical in the

sense that they characterize Natural Numbers up to a unique

isomorphism. However, there is still a proposition about

Natural Numbers that true but unprovable using the

Dedekind/Peano axioms. Further information can be found here:

"Physical Indeterminacy in Digital Computation"

https://papers.ssrn.com/abstract=3459566

[ Parent | on HN ]
Re:Hawking Hawking by syops on Monday April 12, 2021 @10:08AM (#26779616)
So the last sentence I made is false. The rest is correct, right?
[ Parent | on HN ]
Re:Hawking Hawking by ProfHewitt on Friday April 16, 2021 @11:34AM (#26835155)
Yes, the last statement that you made is indeed false, that is,

it is not the case that every true proposition is provable in

Dededkind's theory.

[ Parent | on HN ]