Kalmár, László (1956) Közvetlen bizonyítás az eldöntésproblémának általános rekurzív algoritmussal való megoldhatatlanságára. A MAGYAR TUDOMÁNYOS AKADÉMIA MATEMATIKAI ÉS FIZIKAI TUDOMÁNYOK OSZTÁLYÁNAK KÖZLEMÉNYEI, 6 (1). pp. 1-25.
|
Text
cut_MATFIZ_6_1_1956_pp1_-_25.pdf Download (1MB) | Preview |
| Item Type: | Article |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| Depositing User: | János Boromisza |
| Date Deposited: | 18 Jul 2024 20:19 |
| Last Modified: | 18 Jul 2024 20:19 |
| URI: | https://real.mtak.hu/id/eprint/200410 |
Actions (login required)
 |
Edit Item |
