- Tytuł:
-
Von Neumann, Turing a Gödel: o mysli a strojích
Von Neumann, Turing, and Gödel: on mind and machines - Autorzy:
-
Barbora Jurková
Lukáš H. Zámečník - Tematy:
-
syntax and semantics in formal system
Gödel’s theorem
Turing machine
von Neumann’s probe
syntax a sémantika formálního systému
Gödelovy věty
Turingův stroj
von Neumannova sonda - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł