László Kalmár - László Kalmár - Wikipedia

Portrét László Kalmára

László Kalmár (27. března 1905, Edde - 2. srpna 1976, Mátraháza ) byl maďarský matematik a profesor na Univerzita v Szegedu. Kalmár je považován za zakladatele společnosti matematická logika a teoretické počítačová věda v Maďarsku.

Životopis

Kalmár byl židovského původu.[1] Jeho raný život smíšený slib a tragédie. Jeho otec zemřel, když byl mladý, a jeho matka zemřela, když mu bylo 17, rok, kdy vstoupil do University of Budapest, čímž se stal v podstatě sirotkem.

Kalmárova brilantnost se projevila na budapešťských školách. Na budapešťské univerzitě byli jeho učiteli Kürschák a Fejér. Mezi jeho spolužáky patřil budoucí logik Rózsa Péter. Kalmár promoval v roce 1927. Matematickou logiku, obor, který si vybral, objevil při návštěvě Göttingenu v roce 1929.

Po dokončení doktorátu v Budapešti nastoupil na pozici na univerzitě v Szegedu. Tato univerzita byla většinou tvořena zaměstnanci bývalé univerzity v Kolozsváru, dříve významné maďarské univerzity první světová válka která se ocitla po válce v Rumunsku. Kolozsvár byl přejmenován na Kluž. Maďarská univerzita se přestěhovala do Szegedu v roce 1920, kde předtím žádná univerzita nebyla. Jmenování Haar a Riesz proměnil Szeged v hlavní výzkumné centrum pro matematiku. Kalmár zahájil svou kariéru jako výzkumný asistent u Haara a Riesze. Kalmár byl jmenován řádným profesorem v Szegedu v roce 1947. Byl inauguračním držitelem segedínského křesla pro základy matematiky a informatiky. Založil také kybernetickou laboratoř v Szegedu a výzkumnou skupinu pro teorii matematické logiky a automatů.

v matematická logika Kalmár dokázal, že určité třídy vzorců prvního řádu predikátový počet byly rozhodnutelné. V roce 1936 dokázal, že predikátový počet lze formulovat pomocí jediného binární predikát, pokud rekurzivní definice a období byl dostatečně bohatý. (Tento výsledek se běžně připisuje papíru z roku 1954 Quine Objevil alternativní formu primitivní rekurzivní aritmetika, známá jako elementární rekurzivní aritmetika, založená na primitivních funkcích, které se liší od obvyklého druhu. Udělal maximum pro propagaci počítačů a počítačové vědy v Maďarsku. Psal o teoretické informatice, včetně programovacích jazyků, automatické korekci chyb, nečíselných aplikací počítačů a spojení mezi nimi počítačová věda a matematická logika.

Kalmar je jedním z mála logiků, kteří vznesli pochybnosti o církevní tezi, že všechny intuitivně mechanické, algoritmické funkce jsou reprezentovatelné rekurzivními funkcemi. [2]

Kalmar byl zvolen do Maďarská akademie věd v roce 1949, a byl oceněn Kossuthova cena v roce 1950 a maďarská státní cena v roce 1975.

V roce 1933 se Kalmár oženil s Eržikou Arvayovou; měli čtyři děti.

Tvář na středním medailonu je Kalmárova

Základní funkce

Kalmar definoval, co je známé jako základní funkce, numericko-teoretické funkce (tj. ty, které jsou založeny na přirozených číslech) vytvořené z představ o složení a proměnné, konstanty 0 a 1, opakované sčítání + konstant, vlastní odčítání ∸, omezená sumace a ohraničený součin (Kleene 1952: 526). Vyloučením vázaného produktu z tohoto seznamu se získá dílčí nebo nižší elementární funkce. Použitím abstraktního výpočetního modelu zvaného a zaregistrovat stroj Schwichtenberg poskytuje ukázku, že „všechny základní funkce jsou vypočítatelné a zcela definované“ (Schwichtenberg 58).

Poznámky

  1. ^ Reuben Hersh a Vera John-Steiner (1993). „Návštěva maďarské matematiky“ (PDF). Citováno 19. října 2012.
  2. ^ * Kalmar, L. 1959. ‚Argument proti věrohodnosti církevní teze '. In Heyting, A. (ed.) Konstruktivita v matematice. Amsterdam: (1959 Severní Holandsko).

Reference

externí odkazy