Pénzes István (szerk.): Műszaki nagyjaink 6. Matematikusok, az oktatás, a gépészet és a villamos vontatás alkotói, kiváló lisztvegyészek (Budapest, 1986)
Dr. Ádám András - Dr. Dömösi Pál: Kalmár László
52. (& Hajnal András) Megjegyzés a halmazelmélet Gödel-féle axiómarendszeréhez, I—II. I. rész: Mat. Lapok 7 (1956), 26—42. II. rész: Mat. Lapok 7 (1956), 218—229. 53. (& Hajnal András) An elementary combinatorial theorem with an application to axiomatic set theory. Publ. Math. 4 (1956), 431—449. 54. Ein direkter Beweis für die allgemein-rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der ersten Stufe mit Identität, Zeitschr. f. Math. Logik und Grundlagen d. Math. 2 (1956), 1—14. 55. 06 oziHOÖ nmoTe3e, rrpHMeHaeMOft b HCCJieflOBaHHSX o Tax Ha3biBaeMtix Hepa3pemHMbix apmjjMeTHHecKHx 3aaanax. Tpydw Tpembeao Bcecofomoeo MarneAiamimecxozo Cse3da (Mockea, 1986), 1959, 4. kötet, 227—231. 56. A matematikai logikáról. Magyar Tudomány 1 (1956), 369—391. 57. Az ún. megoldhatatlan matematikai problémákra vonatkozó kutatások alapjául szolgáló Church-féle hipotézisről. A Magyar Tud. Akad. Mat. Fiz. Oszt. Közi. 7 (1957), 19—38. 58. Hozzászólás Tarján Rezső ,,A gyorsműködésű automatikus számológépek fejlődési iránva” c. előadásához, A Magyar Tud. Akad. Mat. Fiz. Oszt. Közi. 7 (1957), 76—82, 85. 59. Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variablen abhängig sind, Colloq. Math. 5 (1957), 1—5. 60. A szegedi logikai gép (előadás-kivonat). Mat. Lapok 9 (1958), 165. 61. An argument against the plausibility of Church’s thesis, Constructivity in Mathematics (Proc. Coll. Amsterdam, 1957), North-Holland, 1959; 72—80. 62. A new principle of construction oflogical machines, 2-e Congres Internat, de Cybernétique (Namur, 1958), 458—463. 63. A practical infinitistic computer.InfinitisticMethods in the Foundations of Mathematics (Proc. Sympos. Warsaw, 1959), 1961; 347—362. 64. On a digital computer which can be programmed in a mathematical formula language A II. Magyar Matematikai Kongresszus (Budapest, 1960) előadáskivonatai, 5. kötet, 3—16. (Orosz fordításban is megjelent: KuőepHemuuecKuü CóopuuK, mean cepun 1 (1965), 215—226.) 65. Néhány, az áramkörök elméletével kapcsolatos gráfelméleti problémáról (előadáskivonat), Mat. Lapok 11 (1960), 211. 66. Einige philosophische Probleme der Kybernetik, Naturwissenschaft und Philosophie (Internat. Symp. Leipzig, 1960), 381—401. 67. Über einen Rechenautomaten, der eine mathematische Sprache versteht. Zeitschr. Angew. Math. Mech. 40 (1960), T, 64—65. 68. Wissenschaftliche Abstraktion und die Anwendung mathematischer Methoden in Biologie und Medizin. Arzt und Philosophie, Berlin, 1960; 132—133, 150, 164. 69. A tanszékvezetői munka tartalmi kérdései az egyetemen. Felsőoktatási Szemle 10 (1961), 573—580. 70. A contribution to the translation of arithmetical operators (assignment statements) into the machine language of the computer M—3. Shuxue Jinzhan 6 (1963), 321—338. (Az angolul írt munka Idnai nyelven jelent meg.) 71. Algorithmische Sprachen und Programmierung von Rechenautomaten. Mathematische und Physikalisch-Technische Probleme der Kybernetik (Vorträge der Konferenz, Berlin, 1962), 1963; 147—176. 72. Über eine Variante des Neumannschen selbstreproduzierenden Automaten. Mathematische und Physikalisch-Technische Probleme der Kybernetik (Vorträge der Konferenz, Berlin, 1962), 1963; 522—528. 73. A kvalitatív információelmélet problémái. A Magyar Tud. Akad. Mat. Fiz. Oszt. Közi. 12 (1962), 293—301. 74. Über eine erkenntnistheoretische Wurzel des ,,Anti-Kybernetismus”. Kybernetik in Wissenschaft, Berlin, 1962; 53—56. 75. „Sejts és bizonyítsál!”? Magyar Tudomány 8 (1963), 816—823. 76. Matematikai és nyelvi struktúrák, Általános nyelvészeti tanulmányok, II. Budapest, 1964; 11—74, 166—172, 295—304. 86
