| dbo:abstract
|
- The Penrose–Lucas argument is a logical argument partially based on a theory developed by mathematician and logician Kurt Gödel. In 1931, he proved that every effectively generated theory capable of proving basic arithmetic either fails to be consistent or fails to be complete. Mathematician Roger Penrose modified the argument in his first book on consciousness, The Emperor's New Mind (1989), where he used it to provide the basis of the theory of orchestrated objective reduction. (en)
- Argument Lucasa-Penrose’a – argument wykorzystujący twierdzenie Gödla o niezupełności systemów formalnych w celu pokazania, że umysłu nie można wyjaśnić w kategoriach czysto mechanistycznych. Argument został przedstawiony w różnych formach przez samego Kurta Gödla, filozofów: Johna R. Lucasa, Ernesta Nagela i Jamesa R. Newmana oraz fizyka Rogera Penrose’a. W każdym przypadku idea argumentu opiera się na drugim twierdzeniu Gödla. Jeśli można uznać zbiór S twierdzeń arytmetycznych dowodzonych przez system formalny F za zbiór twierdzeń prawdziwych to na tej samej podstawie należy uznać prawdziwość twierdzenia arytmetycznego równoważnego spójności tego systemu Ω(F), bowiem gdyby system F nie był spójny to zbiór S obejmowałby dowolne zdanie wyrażalne w F w tym zdania wzajemnie sprzeczne. Jednak na mocy drugiego twierdzenia Gödla zdanie Ω(F) nie jest wyprowadzalne w F jeśli jest prawdziwe, zatem nie jest możliwe pokrycie wszystkich funkcji ludzkiego umysłu (w szczególności kryteriów prawdziwości twierdzeń arytmetycznych) za pomocą jakiegokolwiek systemu formalnego F. (pl)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 17043 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- The Penrose–Lucas argument is a logical argument partially based on a theory developed by mathematician and logician Kurt Gödel. In 1931, he proved that every effectively generated theory capable of proving basic arithmetic either fails to be consistent or fails to be complete. Mathematician Roger Penrose modified the argument in his first book on consciousness, The Emperor's New Mind (1989), where he used it to provide the basis of the theory of orchestrated objective reduction. (en)
- Argument Lucasa-Penrose’a – argument wykorzystujący twierdzenie Gödla o niezupełności systemów formalnych w celu pokazania, że umysłu nie można wyjaśnić w kategoriach czysto mechanistycznych. Argument został przedstawiony w różnych formach przez samego Kurta Gödla, filozofów: Johna R. Lucasa, Ernesta Nagela i Jamesa R. Newmana oraz fizyka Rogera Penrose’a. (pl)
|
| rdfs:label
|
- Penrose–Lucas argument (en)
- Argument Lucasa-Penrose’a (pl)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:notableIdea
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
