Kurt Gödel a problematika umělé inteligence

Martina Juříková

Diplomová práce

Kurt Gödel and the problems of Artificial Intelligence

Anotace:

Diplomová práce ?Kurt Gödel a problematika umělé inteligence? se zabývá rozborem Gödelových vět o neúplnosti, jejich vazbou a vlivem na práci Alana Turinga a jejich významem pro oblast umělé inteligence. Konkrétně pak řeší korektnost interpretace těchto vět v argumentaci J. R. Lucase a Rogera Penrose. V neposlední řadě se skrze analýzu dalších textů snaží zodpovědět otázku, zda jsou Gödelovy věty relevantním argumentem v diskuzi o umělé inteligenci

Abstract:

This thesis called ?Kurt Gödel and the problems of the Artificial Intelligence? deals with the analysis of Gödel´s theorems of incompleteness, their connection and influence on the work of Alan Turing as well as their importance to the field of the Artificial Intelligence. To be more specific the work is solving correctness of the interpretation of these theorems in argumentation of J. R. Lucas and Roger Penrose. At last but not least case, using the analysis of other texts we are trying to answer the question whether or not Gödel´s theorems are relevant to discussion about the Artificial Intelligence

Klíčová slova

Kurt Gödel, Věta o neúplnosti, Alan Turing, Rozhodnutelnost, J. R. Lucas, Roger Penrose, Umělá inteligence

Keywords

Kurt Gödel, Incompleteness theorem, Alan Turing, J. R. Lucas, Roger Penrose, Artificial Intelligence

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 11. 5. 2010

Obhajoba závěrečné práce

• Obhajoba proběhla 14. 6. 2010
• Vedoucí: Jan Štěpán

Univerzita Palackého

Filozofická fakulta

Magisterský studijní program / obor:
Humanitní studia / Filozofie - Filmová věda