DOAJ
Open Access
2023
Von Neumann, Turing a Gödel: o mysli a strojích
Barbora Jurková
Lukáš H. Zámečník
Abstrak
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ů.
Topik & Kata Kunci
Penulis (2)
B
Barbora Jurková
L
Lukáš H. Zámečník
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2023
- Sumber Database
- DOAJ
- DOI
- 10.46938/tv.2022.556
- Akses
- Open Access ✓