Discussion on question by The Pointer: Does Gödel’s incompleteness theorems imply the necessity of an infinite recursive hierarchy of “proofs”, and that any “proof” is relative?

Discussion on question by The Pointer: Does Gödel’s incompleteness theorems imply the necessity of an infinite recursive hierarchy of “proofs”, and that any “proof” is relative?

Philosophy

Imported from a comment discussion on https://philosophy.stackexchange.com/questions/116958/does-g%c3%b6del-s-incompleteness-theorems-imply-the-necessity-of-an-infinite-recursiv

axiom formal-system proof
first message2024-09-10
last message151 days ago
join this room
view transcript

22
3

Owners of this room