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ößeFormat 
SEKI-Report-SR-88-03_Krajewski_Did-Gödel-prove-that-we-are-not-machines.pdf1,46 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.