Argumento de Penrose-Lucas español (Q60740314)
Saltar a navegación
Saltar a la gueta
Claim that human mathematicians are not describable as formal proof systems inglés
| Llingua | Etiqueta | Descripción | Tamién llamao |
|---|---|---|---|
| asturianu | Nun ta definida denguna etiqueta |
Nun ta definida denguna descripción |
|
| inglés | Penrose–Lucas argument |
Claim that human mathematicians are not describable as formal proof systems |
Declaraciones
Identificadores
Enllaces a sitios
Wikipedia(4 entraes)
- enwiki Penrose–Lucas argument
- eswiki Argumento de Penrose-Lucas
- plwiki Argument Lucasa-Penrose’a
- ptwiki Argumento de Penrose-Lucas