Von Neumann, Turing a Gödel: O mysli a strojích
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15210%2F23%3A73618411" target="_blank" >RIV/61989592:15210/23:73618411 - isvavai.cz</a>
Výsledek na webu
<a href="https://teorievedy.flu.cas.cz/index.php/tv/article/view/556/580" target="_blank" >https://teorievedy.flu.cas.cz/index.php/tv/article/view/556/580</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.46938/tv.2022.556" target="_blank" >10.46938/tv.2022.556</a>
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Von Neumann, Turing a Gödel: O mysli a strojích
Popis výsledku v původním jazyce
Stať pojednává o některých nedostatečně prozkoumaných vazbách mezi pojmovými systémy logiky u Kurta Gödela, teorie automatů u Alana Turinga a teorie sebe-reprodukujících se automatů u Johna von Neumanna. Stranou jsou ponechány tradiční polemiky (především opozice Gödela a Turinga v pojetí mysli) a pozornost je soustředěna na podobnostimezi všemi třemi autory. V jednotlivých kapitolách se text věnuje postupně: podobě odlišení syntaxe a sémantiky formálního systému u Gödela, Turinga a von Neumanna; von Neumannově variantě Gödelova důkazu a von Neumannově a Gödelově pojetí Turingova stroje; a konečně stejnému základu pojetí vztahumezi myslí a strojem u všech tří autorů.
Název v anglickém jazyce
Von Neumann, Turing and Gödel: On Mind and Machines
Popis výsledku anglicky
The paper discusses some of the poorly explored links between the conceptual systems of logic in Kurt Gödel, the theory of automata in Alan Turing, and the theory of self-reproducing automata in John von Neumann. Traditional controversies are left aside (especially the opposition of Gödel and Turing in the view of mind) and attention is focused on the similarities between all three authors. In individual chapters, the text deals with: the form of differentiation of syntax and semantics in formal system in Gödel, Turing and von Neumann; von Neumann’s variant of Gödel’s theorem and von Neumann’s and Gödel’s conception of Turing machine; and finally the same basis of the view of the relation between mind and automaton in all three authors.
Klasifikace
Druh
J<sub>SC</sub> - Článek v periodiku v databázi SCOPUS
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2023
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Teorie Vedy/ Theory of Science
ISSN
1210-0250
e-ISSN
1804-6347
Svazek periodika
45
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
34
Strana od-do
3-36
Kód UT WoS článku
—
EID výsledku v databázi Scopus
2-s2.0-85163964035