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.

May 24, 2020

003530

Post

0 Comments

Submit a Comment

Your email address will not be published. Required fields are marked *