proof sketch for Gödel's first incompleteness theorem (Q852580)

From Wikidata

Jump to navigation Jump to search

proof sketch

edit

Language	Label	Description	Also known as
English	proof sketch for Gödel's first incompleteness theorem	proof sketch

Statements

instance of

mathematical proof

of

Godel's first incompleteness theorem

0 references

main subject

Kurt Gödel

0 references

defining formula

${\displaystyle P(G(P))=\forall y\,q(y,G(P))}$

1 reference

imported from Wikimedia project

English Wikipedia

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

Freebase ID

/m/027z7hl

0 references

Microsoft Academic ID

196453473

0 references

 

Sitelinks

Wikipedia(2 entries)

edit

• dewiki Beweise der gödelschen Unvollständigkeitssätze
• enwiki Proof sketch for Gödel's first incompleteness theorem

Wikibooks(0 entries)

edit

Wikinews(0 entries)

edit

Wikiquote(0 entries)

edit

Wikisource(0 entries)

edit

Wikiversity(0 entries)

edit

Wikivoyage(0 entries)

edit

Wiktionary(0 entries)

edit

Multilingual sites(0 entries)

edit

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