Number of the records: 1
Kurt Gödel a problematika umělé inteligence
Title statement Kurt Gödel a problematika umělé inteligence [rukopis] / Martina Juříková Additional Variant Titles Kurt Gödel a problematika umělé inteligence Personal name Juříková, Martina (dissertant) Translated title Kurt Gödel and the problems of Artificial Intelligence Issue data 2010 Phys.des. 61 s. (118 496 znaků) Note Ved. práce Jan Štěpán Another responsib. Štěpán, Jan, 1948- (thesis advisor) Another responsib. Univerzita Palackého. Katedra filozofie (degree grantor) Keywords Kurt Gödel * Věta o neúplnosti * Alan Turing * Rozhodnutelnost * J. R. Lucas * Roger Penrose * Umělá inteligence * Kurt Gödel * Incompleteness theorem * Alan Turing * J. R. Lucas * Roger Penrose * Artificial Intelligence Form, Genre diplomové práce master's theses UDC (043)378.2 Country Česko Language čeština Document kind PUBLIKAČNÍ ČINNOST Title Mgr. Degree program Navazující Degree program Humanitní studia Degreee discipline Filozofie - Filmová věda book
Kvalifikační práce Downloaded Size datum zpřístupnění 98749-998458051.pdf 25 659.9 KB 11.05.2010 Posudek Typ posudku 98749-ved-389706084.doc Posudek vedoucího 98749-opon-227488217.doc Posudek oponenta
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.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.
Number of the records: 1