You shouldn’t include things we know only by experience as part of our theoretical system, for the purpose of “the human Godel sentence.” At best learning a theorem from experience would add an axiom, but then our Godel sentence changes. So if we knew our Godel sentence it would become something else.
You shouldn’t include things we know only by experience as part of our theoretical system, for the purpose of “the human Godel sentence.” At best learning a theorem from experience would add an axiom, but then our Godel sentence changes. So if we knew our Godel sentence it would become something else.