I believe Gödel’s theorem is provable in Peano Arithmetic, and probably even weaker systems.
Gödel’s theorem is the same as the Halting Problem in some fundamental way, although I don’t really understand the relationship well enough to explain it.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
krja
(no subject)
Date: 2004-04-28 03:55 pm (UTC)I believe Gödel’s theorem is provable in Peano Arithmetic, and probably even weaker systems.
Gödel’s theorem is the same as the Halting Problem in some fundamental way, although I don’t really understand the relationship well enough to explain it.