Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-40161
Titel: | Did Gödel prove that we are not machines? (On philosophical consequences of Gödel's theorem) |
VerfasserIn: | Krajewski, Stanislaw |
Sprache: | Englisch |
Erscheinungsjahr: | 1988 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Gödel's incompleteness theorem has been the most famous example of a mathematical theorem from which deep philosophical consequences follow. They are said to give an insight, first, into the nature of mathematics, and more generally of human knowledge, and second, into the nature of the mind. The limitations of logicist or formalist programmes of mathematics have had a clear significance against the background of the foundational schools of the early decades of this century. The limitations of mechanism, or of the vision underlying research in the field of Artificial Inteligence, gain significance only now. Yet, while the limitations imposed by Gödel's theorem upon the extent of formal methods seem unquestionable they seem to have very little to say about the restrictions concerning mathematical or computer practice. And the alleged consequences concerning the non-mechanical character of human mind are questionable. The standard reasoning, known as Lucas' argument, begs the question, and actually implies that Lucas is inconsistent! |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-401612 hdl:20.500.11880/36233 http://dx.doi.org/10.22028/D291-40161 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 88,3 |
Datum des Eintrags: | 11-Aug-2023 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-88-03_Krajewski_Did-Gödel-prove-that-we-are-not-machines.pdf | 1,46 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.