Von Neumann, Turing and Gödel: On Mind and Machines
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
čeština
Original language name
Von Neumann, Turing a Gödel: O mysli a strojích
Original language description
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ů.
Czech name
Von Neumann, Turing a Gödel: O mysli a strojích
Czech description
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ů.
Classification
Type
J<sub>SC</sub> - Article in a specialist periodical, which is included in the SCOPUS database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Teorie Vedy/ Theory of Science
ISSN
1210-0250
e-ISSN
1804-6347
Volume of the periodical
45
Issue of the periodical within the volume
1
Country of publishing house
CZ - CZECH REPUBLIC
Number of pages
34
Pages from-to
3-36
UT code for WoS article
—
EID of the result in the Scopus database
2-s2.0-85163964035