Year: 1936
Title: On the length of proofs
Journal: Ergebnisse eines mathematischen Kolloquiums, 7, 23-24
Comments: A infinite number of proofs can be arbitraily shortened in a meta-system of logic.
Keywords: LOGIC, MATHS, LENGTH,
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |