𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Remarks on formalized proof and consequence

✍ Scribed by L. Gumański


Publisher
Springer Netherlands
Year
1969
Tongue
English
Weight
36 KB
Volume
25
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Remarks on the Incompleteness Proof
✍ Gerold Stahl 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 447 KB

by GEROLD S r a m in Santiago-Cldc 111 tlic following two. basic ways of dcvclopping the incoinpletcncss proof will bo (A) Two laugungcs of diffcrcnt lcvcls arc uscd jointly t o provc incomplctcnoss. (B) The proof is dcvcloppcd' cxclusivcly in one languagc (number-thcorctic language).

On a conjecture of Aris: Proof and remar
✍ Dan Luss; Neal R. Amundson 📂 Article 📅 1967 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 428 KB 👁 2 views