𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gödel's theorem, Church's theorem, and mechanism

✍ Scribed by J. J. C. Smart


Publisher
Springer Netherlands
Year
1961
Tongue
English
Weight
333 KB
Volume
13
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Gödel's Second Theorem for Elementary ar
✍ Lawrence J. Pozsgay 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 737 KB

## GUDECS SECOND THEOREM FOR ELEMENTARY ARITHMETTC by LAWRENCE J. POZSGAY in St. Louis, Missouri (U.S.A.)I) '"I' -+ q]" = " ; ') \* Ps("P", (1)) ' PS("Q", ( 2 ) ) . ### 5.1. Dpfinition. A number n will be called a functor number iff there is a fun(\*tor P such that n = "E"'. Similarly define te