Von Neumann, Turing a Gödel: o mysli a strojích

• Authors: Barbora Jurková , Lukáš H. Zámečník

Title variants

EN

Von Neumann, Turing, and Gödel: on mind and machines

• Languages of publication: CS

Abstracts

CS

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 podobnosti mezi 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í vztahu mezi myslí a strojem u všech tří autorů.

EN

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.

Keywords

CS

syntax a sémantika formálního systému; Gödelovy věty; Turingův stroj; von Neumannova sonda

EN

syntax and semantics in formal system; Gödel’s theorem; Turing machine; von Neumann’s probe

Discipline

• PHILOSOPHY: PHILOSOPHY

• Publisher: Institute of Philosophy, Czech Academy of Sciences
• Journal: Teorie vědy (Theory of Science)
• Year: 2023
• Volume: 45
• Issue: 1
• Pages: 3-36
• Document type: ARTICLE

Contributors

author

Barbora Jurková

• Teorie vědy, redakce, Filosofický ústav AV ČR, v.v.i., Jilská 1, 110 00 Praha 1, Czech Republic

author

Lukáš H. Zámečník

• Teorie vědy, redakce, Filosofický ústav AV ČR, v.v.i., Jilská 1, 110 00 Praha 1, Czech Republic