Discussion on answer by Noah Schweber: Can incompleteness be eliminated by redefining the notion of a formal system?

Discussion on answer by Noah Schweber: Can incompleteness be eliminated by redefining the notion of a formal system?

Philosophy

Imported from a comment discussion on https://philosophy.stackexchange.com/questions/64876/can-incompleteness-be-eliminated-by-redefining-the-notion-of-a-formal-system/64879#64879

artificial-intelligence goedel philosophy-of-mathematics proof truth
first message2019-07-26
last message2026 days ago
join this room
view transcript

19
2

Owners of this room