| Title:
|
Can cybernetics contribute to the study of computer development? (English) |
| Author:
|
Kindler, Evžen |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
9 |
| Issue:
|
6 |
| Year:
|
1973 |
| Pages:
|
(475)-482 |
| . |
| Category:
|
math |
| . |
| MSC:
|
00A30 |
| MSC:
|
68U99 |
| . |
| Date available:
|
2009-09-24T16:36:27Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125837 |
| . |
| Reference:
|
[1] A. A. Mарков: Теория алгорифмов.(Theory of algorithms). Труды математического института имени В. А. Стеклова, XL-II, Издателство Академии наук СССР, Москва-Ленинград 1954. Zbl 0192.06703 |
| Reference:
|
[2] A. M. Turing: Computable numbers with an application to Entscheidungsproblem.Proc. London. Math. Soc. ser. 2., 42 (1936-7), 230-265. MR 1577030 |
| Reference:
|
[3] C. E. Shannon: Universal Turing machine with two inner states.In: Automata studies. Princeton University Press, Princeton 1956. MR 0079548 |
| Reference:
|
[4] M. D. Davis: Note on universal Turing machines.In: Automata studies. Princeton University Press, Princeton 1956. MR 0079547 |
| Reference:
|
[5] R. Péter: Recursive Funktionen.Akademiai Kiadó, Budapest 1951. |
| Reference:
|
[6] S. C. Kleene: Introduction to Metamathematics.D. Van Nostrand Comp., New York-Toronto 1952. Zbl 0047.00703, MR 0051790 |
| Reference:
|
[7] S. C. Kleene: General recursive functions of natural numbers.Math. Ann. 112 (1936), 727-742. Zbl 0014.19402, MR 1513071 |
| . |
