2 ms·
That was a good argument. Have you formulated it by yourself?
by fiatjaf 9y ago
That was a good argument.
Have you formulated it by yourself?
- lisper 9y agoIf I said "yes" I would be refuting my own argument :-) I composed the words in the above comment, but I don't actually know if the substance of that argument is original with me. It is heavily based on things I've learned in other places, but I don't have any specific recollection of having seen the argument being framed in exactly that way before. It's possible I invented it, but I doubt it. It's not a particularly deep insight, a minor variation on a deeper theme, that "meta-Godelization" is not algorithmic, a fact that I first learned by reading Hofstadter's "Godel, Escher, Bach." I don't actually know what the original source of that result is (I should probably go find out). But I'll happily take credit for the pedagogy if it somehow turns out I got there first.