Discussion on question by polcott: Can incompleteness be eliminated by redefining the notion of a formal system?

general stars conversations schedule feeds 7 access

Discussion on question by polcott: Can incompleteness be eliminated by redefining the notion of a formal system?

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

artificial-intelligence goedel philosophy-of-mathematics proof truth

first message	2019-07-26
last message	2026 days ago

join this room
view transcript

Owners of this room

currently in room frequently in room