Complexity Reference: compref135 (BibTex)

Authors: G”del,K

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 |


Bruce Edmonds, Centre for Policy Modelling, Manchester Metropolitan University