Penrose–Lucas argument (Q60740314)
Jump to navigation
Jump to search
Claim that human mathematicians are not describable as formal proof systems
Language | Label | Description | Also known as |
---|---|---|---|
English | Penrose–Lucas argument |
Claim that human mathematicians are not describable as formal proof systems |
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- enwiki Penrose–Lucas argument
- eswiki Argumento de Penrose-Lucas
- plwiki Argument Lucasa-Penrose’a
- ptwiki Argumento de Penrose-Lucas