Kalmár László munkássága

Kalmár Bibliográfia

1926: KALMÁR László: Az interpolációról, Math. és Phys. Lapok 33 (1926), 120-149.
1928: KALMÁR László: Zur Theorie der abstrakten Spiele, Acta Sci. Math. 4 (1928), 65-85.
1929: KALMÁR László: Über die Abschätzung der Koeffizientensumme Dirichletscher Reihen, Acta Sci. Math. 4 (1929), 155-181.; KALMÁR László: Eine Bemerkung zur Entscheidungstheorie, Acta Sci. Math. 4 (1929), 248-252.
1931: KALMÁR László: A "factorisatio numerorum" problémájáról, Mat. és Fiz. Lapok 38 (1931), 1-15.; KALMÁR László: Über die mittlere Anzahl der Produktdarstellungen der Zahlen. I. Acta Sci. Math. 5 (1931), 95-107.
1932: KALMÁR László: Ein Beitrag zum Entscheidungsproblem, Acta Sci. Math. 5 (1932), 222-236.; KALMÁR László: Ein Beweis des Ruffini- Abelschen Satzes, Acta Sci. Math. 6 (1932), 59-60.; KALMÁR László: Zum Entscheidungsproblem der mathematischen Logik (Verhandlungen des Internationalen Mathematiker-Kongresses Zürich, 1932), II. 337-338.
1933: KALMÁR László: Über die Erfüllbarkeit derjenigen Zahlausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten. Math. Ann. 108 (1933), 466-484.
1934: KALMÁR László: Über einen Löwenheimschen Satz, Acta. Sci. Math. 7 (1934), 112-121.
1935: KALMÁR László: Über die Axiomatisierbarkeit des Aussagenkalküls, Acta Sci. Math. 7 (1935), 222-243.
1936: KALMÁR László: Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen binären Funktionsvariablen. Compositio Math. 4 (1936), 137-144.; KALMÁR László: A számelmélet alaptételéről, Mat. és Fiz. Lapok 43 (1936), 27-45
1937: KALMÁR László: Zur Reduktion des Entscheidungsproblems, Norsk Mat. Tidsskrift 19 (1937), 121-130.
1938: KALMÁR László: Jelentés az 1938. évi König Gyula- jutalomról, Mat. és Fiz. Lapok 45 (1938), 1-17.
1939: KALMÁR László: On the reduction of the decision problem, I: Ackermann prefix, a single binary predicate, J. Symbolic Logic 4 (1939), 1-9.
1940: KALMÁR László: On the possibility of definition by recursion, Acta Sci. Math. 9 (1940), 227-232.
1941: KALMÁR László: A Hilbert-féle bizonyításelmélet célkitűzései, módszerei, eredményei, Mat. és Fiz. Lapok 48 (1941), 65-119.
1942: KALMÁR László: A matematika egzaktság fejlődése a szemlélettől az axiomatikus módszerig, A másik ember felé, Debrecen, Exodus, (1942), 39-58.
1943: KALMÁR László: Egyszerű példa eldönthetetlen aritmetika problémára, Mat. és Fiz. Lapok 50 (1943), 1-23.; KALMÁR László: "Reménytelen eset vagyok?", Pro Christo 8/6 (1943), 7-9.; KALMÁR László: Néhány szó a matematikáról azokhoz, akik világéletükben utálták I, Pro Christo 8/4 (1943), 7-9.
1944: KALMÁR László: Néhány szó a matematikáról azokhoz, akik világéletükben utálták II, Pro Christo 8/4 (1944), 3-5.
1947: László KALMÁR, János SURÁNYI: On the reduction of the decision problem, II: Gödel prefix, a single binary predicate, J. Symbolic Logic 12 (1947), 65-73.
1947-1948: KALMÁR László: A számok hatványainak összegéről I, Középisk. Mat. Lapok 1 (1947-48), 5-10.; KALMÁR László: A számok hatványainak összegéről II, Középisk. Mat. Lapok 1 (1947-48), 39-47.; KALMÁR László: A számok hatványainak összegéről III, Középisk. Mat. Lapok 1 (1947-48), 169-176.; KALMÁR László: Gyertek, bizonyítsuk be Csebisev tételét! I, Középisk. Mat. Lapok 1 (1947-48), 89-90.; KALMÁR László: Gyertek, bizonyítsuk be Csebisev tételét! II, Középisk. Mat. Lapok 1 (1947-48), 127-128.; KALMÁR László: Gyertek, bizonyítsuk be Csebisev tételét! III, Középisk. Mat. Lapok 1 (1947-48), 176-182.
1948: KALMÁR László: Matematika és dialektikus materializmus, Magyar Technika 3 (1948), 100-102.
1949: KALMÁR László: On unsolvable mathematical problems (Proceedings of the Tenth International Congress of Philosophy, Amsterdam, 1948), (1949), 1. 534-536.; KALMÁR László: Une forme du théoreme de Gödel sous des hypotheses minimales, Comptes Rendus Acad. Sci. Paris 229 (1949), 963-965.; KALMÁR László: Quelques formes générales du théoreme de Gödel, Comptes Rendus Acad. Sci. Paris 229 (1949), 1047-1049.
1949-1950: KALMÁR László: Bizonyítsuk be Csebisev tételét I., Középisk. Mat. Lapok 2 (1949-50), 7-13.; KALMÁR László: Bizonyítsuk be Csebisev tételét II., Középisk. Mat. Lapok 2 (1949-50), 90-91.; KALMÁR László: Bizonyítsuk be Csebisev tételét III., Középisk. Mat. Lapok 2 (1949-50), 121-124.
1950: László KALMÁR, János SURÁNYI: On the reduction of the decision problem, III: Pepis prefix, a single binary predicate., J. Symbolic Logic 15 (1950), 161-173; KALMÁR László: Eine einfache Konstruktion unentscheidbarer Sätze in formalen Systemen, Methodos 2 (1950), 220-226.; KALMÁR László: Another proof of the Gödel-Rosser incompletability theorem, Acta Sci. Math. 12 (1950), 38-43.; KALMÁR László: Contributions to the reduction theory of the decision problem, I: Prefix (x1)(x2)(Ex3):..(Exn-1)(xn) a single binary predicate, Acta Math. Acad. Sci. Hungar. 1 (1950) 64-73.; KALMÁR László: Über die Cantorsche Theorie der reellen Zahlen, Publ. Math. 1 (1950), 150-159.; KALMÁR László: On Cauchy's convergence test, Acta Math. Acad. Sci. Hungar. 1 (1950), 109-112.; KALMÁR László: Beszámoló a Béke Hívei II. világkongresszusáról, Mat. Lapok 1 (1950), 317-318.
1951: KALMÁR László: Contributions to the reduction theory of the decision problem, III: Prefix (x1)(Ex2)... (Exn-2)(xn-1)(xn) a single binary predicate, Acta Math. Acad. Sci. Hungar. 2 (1951) 19-38.; KALMÁR László: Contributions to the reduction theory of the decision problem, IV: Reduction to the case of a finite set of individuals, Acta Math. Acad. Sci. Hungar. 2 (1951), 125-142.; László KALMÁR, János ACZÉL, J. G. MIKUSIŃSKI: SUR l'équation de translation, Studia Math. 12 (1951), 112-116.
1952: KALMÁR László: Another proof of the Markov -Post theorem, Acta Math. Acad. Sci. Hungar. 3 (1952), 1-27.; KALMÁR László: A matematika alapjaival kapcsolatos újabb eredmények, A Magyar Tud. Akad. Mat. Fiz. Oszt. Közl. 2 (1952), 89-112.; KALMÁR László: Péter Rózsa "Recursive Funktionen" című könyvéről, A Magyar Tud. Akad. Mat. Fiz. Oszt. Közl. 2 (1952); KALMÁR László: Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdésére, Az I. Magyar Mat. Kongr., Budapest, 1950 Közleményei, (1952), 163-190.
1953: KALMÁR László: A Bolyai- Lobacsevszkij-féle geometria hatása az axiomatikus módszer fejlődésére, A Magyar Tud. Akad. Mat. Fiz. Oszt. Közl. 3 (1953), 235-242.; KALMÁR László: Az analízis módszerei a középiskolai tanításban I, A mat. tanítása 1 (1953), 22-32.; KALMÁR László: Az analízis módszerei a középiskolai tanításban II, A mat. tanítása 1 (1953), 40-50.; KALMÁR László: Az analízis módszerei a középiskolai tanításban III, A mat. tanítása 1 (1953), 74-80.
1954: KALMÁR László: Az analízis módszerei a középiskolai tanításban IV, A mat. tanítása 1 (1954), 109-112.; KALMÁR László: L'ifluence de la géométrie de Bolyai-Lobatchevsky sur le développement de la méthode axiomatique, Acta. Math. Acad. Sci. Hungar. 5 (1954), supplementum, 117-126.
1955: KALMÁR László: K. Schröter egy, az általános rekurzív függvény fogalmának definíciójára vonatkozó problémájának megoldása, A Magyar Tud. Akad. Mat. Fiz. Oszt. Közl. 5 (1955), 103-127. (In Hungarian.); KALMÁR László: Über ein Problem, betreffend die Definition des Begriffes der allgemeinrekursiven Funktion, Zeitschr. f. Math. Logik und Grundlagen d. Math. 1 (1955), 93-96.; KALMÁR László: Az általános algebráról- az algebra és a matematikai logika határterületéről, Mat. Lapok 6 (1955), 63-65.
1956: KALMÁR László: Közvetlen bizonyítás az eldöntésproblémáknak általános rekurzív algoritmussal való megoldhatlanságára, A Magyar Tud. Akad. Mat. Fiz. Oszt. Közl. 6 (1956), 1-25.; KALMÁR László, HAJNAL András: A Megjegyzés a halmazelmélet Gödel-féle axiómarendszeréhez I, Mat. Lapok 7 (1956), 26-42.; KALMÁR László, HAJNAL András: Megjegyzés a halmazelmélet Gödel-féle axiómarendszeréhez II, Mat. Lapok 7 (1956), 218-229.; László KALMÁR, András HAJNAL: An elementary combinatorial theorem with an application to axiomatic set theory, Publ. Math. 4 (1956), 431- 449.; KALMÁR László: 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.; KALMÁR László: A matematikai logikáról, Magyar Tudomány 1 (1956), 369-391.
1957: KALMÁR László: Az ún. nevezett 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özl. 7 (1957), 19- 38.; KALMÁR László: Hozzászólás Tarján Rezső "A gyorsműködésű automatikus számológépek fejlődési iránya" c. előadáshoz, A Magyar Tud. Akad. Mat. Fiz. Oszt. Közl. 7 (1957), 76-82, 85.; KALMÁR László: Ü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.
1958: KALMÁR László: A szegedi logikai gép, Mat. Lapok 9 (1958), 165.; KALMÁR László: A new principle of construction of logical machines (2-e Congr_es Internat. de Cybernétique, Namur, 1958), 458-463.
1959: KALMÁR László: Ob adnoj gipoteze, primenjaemoj v iszszledovanijah o tak nazuvaemüh nerazresimüh arifmeticseszkih zadacsah, (Trudü 3-go Vszeszojuznogo Matematicseszkogo Sz'ezda Moszkva, 1956), (1959), 4, 227-231; KALMÁR László: An argument against the plausibility of Church's thesis, Constructivity in Mathematics (Proc. Coll. Amsterdam, 1957), North-Holland, (1959), 72-80.
1960: KALMÁR László: On a digital computer which can be programmed in a mathematical formula language (A II. Magyar Matematikai Kongresszus, Budapest, 1960), Abstracts, Volume 5., 3-16. (Russian fordítás: O cifrovoj vücsiszlitel'noj masine sz programmirovaniem poszredsztvom formal'nogo matemaicseszkogo jazüke, Kib. Szbornik, Nov. Szer. 1 (1965), 215-226.; KALMÁR László: Néhány, az áramkörök elméletével kapcsolatos gráfelméleti problémáról, Mat. Lapok 11 (1960), 211.; KALMÁR László: Einige philosophische Probleme der Kybernetik, Naturwissenschaft und Philosophie (Internat. Symp. Leipzig, 1960), 381-401.; KALMÁR László: Über einen Rechenautomaten, der eine mathematische Sprache versteht, Zeitschr. Angew. Math. Mech. 40 (1960), T, 64- 65.; KALMÁR László: Wissenschaftliche Abstraktion und die Anwendung mathematischer Methoden in Biologie und Medizin, Arzt und Philosophie, Berlin, (1960), 132-133, 150, 164.
1961: KALMÁR László: A practical infinitistic computer, Infinitistic Methods in the Foundations of Mathematics (Proc. Sympos. Warsaw, 1959), (1961), 347-362.; KALMÁR László: A tanszékvezetői munka tartalmi kérdései az egyetemen, Felsőoktatási Szemle 10 (1961), 573-580.
1962: KALMÁR László: A kvalitatív információelmélet problémái, A Magyar Tud. Akad. Mat. Fiz. Oszt. Közl. 12 (1962), 293-301.; KALMÁR László: Über eine erkenntnistheoretische Wurzel des "Anti-Kybernetismus", Kybernetik in Wissenschaft, Berlin, (1962), 53-56.
1963: KALMÁR László: Über eine Variante des Neumannschen selbstreproduzierenden Automaten, Mathematische und Physikalisch-Technische Probleme der Kybernetik (Vorträge der Konferenz, Berlin, 1962), (1963), 522-528.; KALMÁR László: 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. (The paper was written in English, but appeared in Chinese.); KALMÁR László: Über eine Variante des Neumannschen selbstreproduzierenden Automaten, Mathematische und Physikalisch-Technische Probleme der Kybernetik (Vorträge der Konferenz, Berlin, 1962), (1963), 522-528.; KALMÁR László: Algorithmische Sprachen und Programmierung von Rechenautomaten, Mathematische und Physikalisch-Technische Probleme der Kybernetik (Vorträge der Konferenz, Berlin, 1962), (1963), 147-176; KALMÁR László: "Sejts és bizonyítsál!", Magyar Tudomány 8 (1963), 816-823.; KALMÁR László: Elektronikus matematikai gépek a kohászatban, Dunai Vasmű, (1963), IV/2.
1964: KALMÁR László: Matematika és nyelvi struktúrák, Általános nyelvészeti tanulmányok II, Budapest, (1964), 11-74, 166-172, 295-304.; KALMÁR László: Hozzászólás Sándor Pál: A tudomány termelőerővé válása c. előadásához, Az egyetemi és főiskolai Marxizmus-Leninizmus Tanszékek 1964. január 29-31-én tartott Országos Tudományos Ülésszakán, Tájékoztató, (1964), 2. sz. 190-194.
1965: KALMÁR László: On the problem of the foundation of our knowledge, The Foundation of Statements and Decisions, Warsaw, (1965), 13-19.; KALMÁR László: Les calculatrices automatiques comme structures algébriques, Prévisions, Calcul et Réalités, Paris, (1965), 9-22.; KALMÁR László: O vlozsenii teorii avtomaticseszkih cifrovüh vücsiszlitel'nüh masin v algebricseszkuju teoriju avtomatov Mura, Mili i Gluskova, Teorija Konecsnüh i Verojatnosztnüh Avtomatov, Moszkva, 1965, 93-99 (A short abstract of this work: On the algebraic theory of automatic digital computers. Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications (Tihany, 11-15 September 1962), Akadémiai Kiadó, Budapest, (1965), 129.; KALMÁR László: Un modele algébrique de calculatrice. (Electronique Troisieme Congres de Calcul et de Traitement de l'Information, Toulouse, 1963), Paris, (1965), 381-387.
1966: KALMÁR László: O jazüke programmirovanija odnoj logicseszkoj masinü sz upravléniem formul, Mezsdunarodnüj Kongreszsz Matematikov, Moszkva, (1966), Sekcija 14. Teziszü 37.
1967: KALMÁR László: Foundations of mathematics- whither now? Problems in the Philosophy of Mathematics, (Proc. Coll. London, 1965), North-Holland, Amsterdam, (1967), 187-207.; KALMÁR László: A matematikai nyelvészet eredményei a nyelvoktatásban, Modern Nyelvoktatás 5 (1967), 25-29.; KALMÁR László: Meaning, synonymy and translation, Comput. Linguist. 6 (1967), 27-39.; KALMÁR László: Le langage comme structure algébrique, Cahiers Linguist. Théor. Appl. 4 (1967), 73-82.; László KALMÁR, Ferenc OBÁL, István MADARÁSZ, Dániel MUSZKA, György SUCH: Cybernetical model of the regulation of the homeostasis of the organism, Abstracts of First Joint Congr. of Hung. Societies of Biochem. Biophys. and Physiol. (Pécs, 1967), Budapest, (1967), 42.; KALMÁR László: Znacsenie, szinonimija i perevod, Masperevod-67, Razrabotka Masinnüh (Avtomaticseszkih) Szisztem Perevoda sz Odnogo Jazüke na Drugoj i ih Primenie,Mezsdunarodnüj Szimpozium Szran-cslenov SZEV, Budapest, (1967), 374-390
1968: KALMÁR László: Pattern recognition and conditional reflexes (general problems) (5-e Congres Internat. de Cybernétique, Namur, 1967), (1968), 136-140.; KALMÁR László: On the problem of full utilization of the technical possibilities of computers in devising appropriate approximation methods for the solution of numerical problems, Bull. Math. Soc. Sci. Math. R. S. Roumanie 12/2 (1968), 75-79.; KALMÁR László: A programozási nyelvekkel kapcsolatos további teendők, Információ és Elektronika 4 (1968), 251-254.
1969: KALMÁR László: R. Péter's work in the theory of recursive functions Les fonctions recursives et leurs applications (Coll. Internat. Tihany, 1967), (1969), 1-11.; KALMÁR László: Digitális számológépek és célgépek alkalmazása az orvosi diagnosztikában, Orvos és Technika 7 (1969), 14-18.; KALMÁR László: Bevezetés a kibernetikába, A TIT Fiz. Kém. Mat. Szakosztályának Tájékoztatója 15 (1969), 55-71.; KALMÁR László: An intuitive representation of context-free languages, (Internat. Conf. Comput. Linguist. Stockholm, 1969.) Preprint 66. (10 pages)
1970: KALMÁR László: A kibernetikáról, Fiz. Szemle 20 (1970), 129-134.; KALMÁR László: Ist ALGOL wirklich eine algoritmische Sprache?, (Automatentheorie und Formale Sprachen, Tagung, Oberwolfach, 1969), (1970), 305-315.
1971: KALMÁR László: "Fahnendiagramme" - ein anschauliches Hilfsmittel zur Angabe von Programmiersprachen, (Formale Sprachen und Programmiersprachen, Tagung, Oberwolfach, 1971).
1972: KALMÁR László: An algebraic model of systems of digital computers, (Internat. Symp. and Summer School on Math. Foundations of Computer Sci. Warsaw, Jablonna, 1972); 1-12.; KALMÁR László: A számítástechnikai szakemberképzés problémai a tudományegyetemeken, Felsőoktatási Szemle 21 (1972), 548-552.; KALMÁR László: Conversations on mathematics, Természet Világa 103 (1972), 351-356.; Az elektronikus digitális számítógépek eddigi fejlődése és a várható fejlődés fő irányai, Szerk: KALMÁR László, HUNYA Péter, KERTÉSZ Ádám, QUITTER Pál, SÁRA Attila, SZÉKELY Sándor (MTA Természettudományi I, Főosztálya 1972). 1-70.; Belső gépi nyelvek, beleértve a magasszontű nyelveket, Szerk: KALMÁR László, GYURKOVICS Éva, HUNYA Péter, KOMOR Tamás, MAKAY Árpád, MUSZKA Dániel, RÉVÉSZ György, SÁRA Attila, SIMON Endre, SZÉKELY György, VARGA Antal, VARGA Tibor, (MTA Természettudományi I, Főosztálya 1972); 1-140.
1973: KALMÁR László: On a measure of divergence of a context-free language from finite statelanguages, (Recueil Linguist. de Bratislava IV., Proc. Symp. Algebraic Linguist. Smolenice, 1970), (1973), 93-106.
1974: KALMÁR László: A számítástechnikai szakemberképzés problémái, (A számítástechnikai oktatás a hazai felsőoktatási intézményekben konferencia, Visegrád, 1974), Budapest, (1974), 25-30.; KALMÁR László: Géptől független szemlélet kialakítása a programtervezők oktatásában, (A számítástechnikai oktatás a hazai felsőoktatási intézményekben konferencia, Visegrád, 1974), 142- 146.; KALMÁR László: A pedagógus a számítógépek korában, Köznevelés 30/20 (1974), 3-5.
1982: Bevezetés a matematikai analízisbe, I-II. Ed. by Károly TANDORI, Piroska CSÚRI Józsefné Paár, Rozália DÚRÓ Lajosné Lévay, József NÉMETH, Antal VARGA, Tankönyvkiadó, Budapest, 1982.

An alternative of the stack-like memory of a computer, (Lecture intended for a conference held in Turku. This posthumous work was edited by Árpád Makay.)