Results found: 1

Search results

Sort By:

Limit search:

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

100%

Jurková B., Zámečník L. H.

Teorie vědy (Theory of Science)

2023

vol. 45

issue 1

3-36

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.

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ů.

Refine search results

1 Teorie vědy (Theory of Science)

1 Jurková B.

1 Zámečník L. H.

1 2023

Search results

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