That is a good point. I defeated myself. The actual measure of goodness is in terms of how many words you need to make somebody truly understand, in the shortest amount of time.
That means telling you the peano axioms would not count as having told you that the system they are defining is incomplete. Though that depends on the mind. If I tell the piano axioms to an AGI that does not know about gödel incompleteness it could probably figure it out very quickly.
That is a good point. I defeated myself. The actual measure of goodness is in terms of how many words you need to make somebody truly understand, in the shortest amount of time.
That means telling you the peano axioms would not count as having told you that the system they are defining is incomplete. Though that depends on the mind. If I tell the piano axioms to an AGI that does not know about gödel incompleteness it could probably figure it out very quickly.