https://archive.org/details/gdelsproof00nage/mode/2up
Someday we may have, for language, an analogy of that which Gödel invented… for mathematics… something resembling logical meta-language.
https://archive.org/details/gdelsproof00nage/mode/2up
Someday we may have, for language, an analogy of that which Gödel invented… for mathematics… something resembling logical meta-language.
Post
0 Comments