Von Neumann, Turing a Gödel: o mysli a strojích
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 p...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | ces |
| Published: |
Czech Academy of Sciences, Institute of Philosophy
2023-06-01
|
| Series: | Teorie vědy |
| Subjects: | |
| Online Access: | https://teorievedy.flu.cas.cz/index.php/tv/article/view/556 |
| _version_ | 1827915487352193024 |
|---|---|
| author | Barbora Jurková Lukáš H. Zámečník |
| author_facet | Barbora Jurková Lukáš H. Zámečník |
| author_sort | Barbora Jurková |
| collection | DOAJ |
| 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 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ů. |
| first_indexed | 2024-03-13T03:01:13Z |
| format | Article |
| id | doaj.art-0053b87000434dbf8b27b2945ebcab09 |
| institution | Directory Open Access Journal |
| issn | 1210-0250 1804-6347 |
| language | ces |
| last_indexed | 2024-03-13T03:01:13Z |
| publishDate | 2023-06-01 |
| publisher | Czech Academy of Sciences, Institute of Philosophy |
| record_format | Article |
| series | Teorie vědy |
| spelling | doaj.art-0053b87000434dbf8b27b2945ebcab092023-06-27T12:41:57ZcesCzech Academy of Sciences, Institute of PhilosophyTeorie vědy1210-02501804-63472023-06-0145133610.46938/tv.2022.556413Von Neumann, Turing a Gödel: o mysli a strojíchBarbora Jurková0Lukáš H. Zámečník1Katedra obecné lingvistiky, UP OlomoucKatedra obecné lingvistiky, UP OlomoucStať 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ů.https://teorievedy.flu.cas.cz/index.php/tv/article/view/556syntax a sémantika formálního systémugödelovy větyturingův strojvon neumannova sonda |
| spellingShingle | Barbora Jurková Lukáš H. Zámečník Von Neumann, Turing a Gödel: o mysli a strojích Teorie vědy syntax a sémantika formálního systému gödelovy věty turingův stroj von neumannova sonda |
| title | Von Neumann, Turing a Gödel: o mysli a strojích |
| title_full | Von Neumann, Turing a Gödel: o mysli a strojích |
| title_fullStr | Von Neumann, Turing a Gödel: o mysli a strojích |
| title_full_unstemmed | Von Neumann, Turing a Gödel: o mysli a strojích |
| title_short | Von Neumann, Turing a Gödel: o mysli a strojích |
| title_sort | von neumann turing a godel o mysli a strojich |
| topic | syntax a sémantika formálního systému gödelovy věty turingův stroj von neumannova sonda |
| url | https://teorievedy.flu.cas.cz/index.php/tv/article/view/556 |
| work_keys_str_mv | AT barborajurkova vonneumannturingagodelomysliastrojich AT lukashzamecnik vonneumannturingagodelomysliastrojich |