(Q60740314)

English

Penrose–Lucas argument

Claim that human mathematicians are not describable as formal proof systems

In more languages

Statements

philosophical argument

0 references

Identifiers

Google Knowledge Graph ID

0 references

Internet Encyclopedia of Philosophy ID

0 references

Sitelinks

Wikipedia(4 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=Q60740314&oldid=2102830678"