(Q16726097)

English

Über die Länge von Beweisen

article of Kurt Gödel about formal proof lenght introducing its speedup theorem

on the length of proof

In more languages

Statements

scholarly article

0 references

0 references

Gödel's speed-up theorem

0 references

0 references

publication date

1936

0 references

full work available at URL

http://books.google.fr/books?id=5ya4A0w62skC&pg=PA396&redir_esc=y#v=onepage&q&f=false

0 references

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q16726097&oldid=1591336576"