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

Abstract

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 Neuma-nnově a Gödelově pojetí Turingova stroje; a konečně stejnému základu pojetí vztahu mezi myslí a strojem u všech tří autorů.

Keywords

• syntax a sémantika formálního systému
• gödelovy věty
• turingův stroj
• von neumannova sonda