A remark on the concept of problem and solvability
Kybernetika (1967)
- Volume: 03, Issue: 2, page (105)-109
- ISSN: 0023-5954
Access Full Article
top
How to cite
topTichý, Pavel. "Poznámka k pojmu problému a řešitelnosti." Kybernetika 03.2 (1967): (105)-109. <http://eudml.org/doc/28210>.
@article{Tichý1967,
author = {Tichý, Pavel},
journal = {Kybernetika},
keywords = {recursion theory, constructive mathematics},
language = {cze},
number = {2},
pages = {(105)-109},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Poznámka k pojmu problému a řešitelnosti},
url = {http://eudml.org/doc/28210},
volume = {03},
year = {1967},
}
TY - JOUR
AU - Tichý, Pavel
TI - Poznámka k pojmu problému a řešitelnosti
JO - Kybernetika
PY - 1967
PB - Institute of Information Theory and Automation AS CR
VL - 03
IS - 2
SP - (105)
EP - 109
LA - cze
KW - recursion theory, constructive mathematics
UR - http://eudml.org/doc/28210
ER -
References
top- S. C. Kleene, Introduction to Metamathematics, Van Nostrand, New York/Toronto 1952. (1952) Zbl0047.00703MR0051790
- Pavel Materna, Operative Auffassung der Methode, Rozpravy ČSAV, Řada společenských věd, ročník 75, sešit 8, Praha 1965. (1965)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.