Кальмар, Ласло

Кальмар, Ласло

Ласло Кальмар (^{[Нет даты!]}) — венгерский математик и профессор Сегедского университета. Основатель математической логики и теоретической информатики в Венгрии.

Биография

Кальмар имел еврейское происхождение. Его отец умер, когда он был ребёнком. Мать скончалась, когда ему было 17 лет, в год его поступления в Будапештский университет.

В Будапештском университете его преподавателями были Йожеф Кюршак и Липот Фейер. Среди его сокурсников была будущий логик Рожа Политцер (с 1934 года — Рожа Петер). Кальмар окончил университет в 1927 году. Он открыл для себя математическую логику во время визита в Гёттинген в 1929 году.

После получения докторской степени в Будапеште он занял должность в Сегедском университете. Этот университет в основном состоял из сотрудников бывшего Коложварского университета, который после Первой мировой войны оказался на территории Румынии (Коложвар был переименован в Клуж). Венгерский университет переехал в Сегед в 1920 году. Назначение Альфреда Хаара и Фридьеса Риса превратило Сегед в крупный исследовательский центр математики. Кальмар начал карьеру в качестве научного ассистента Хаара и Риса. В 1947 году он был назначен полным профессором в Сегеде. Он стал первым заведующим кафедрой оснований математики и информатики Сегедского университета. Он также основал Сегедскую кибернетическую лабораторию и исследовательскую группу по математической логике и теории автоматов.

В области математической логики Кальмар доказал, что определённые классы формул исчисления предикатов первого порядка являются разрешимыми. В 1936 году он доказал, что исчисление предикатов может быть сформулировано с использованием одного бинарного предиката, если рекурсивное определение терма достаточно богато (этот результат часто приписывают статье Уилларда Ван Ормана Куайна 1954 года). Он открыл альтернативную форму примитивно рекурсивной арифметики, известную как элементарная рекурсивная арифметика. Он способствовал развитию компьютеров и информатики в Венгрии. Он писал работы по теоретической информатике, включая языки программирования, автоматическую коррекцию ошибок, нечисловые применения компьютеров и связь между информатикой и математической логикой.

Кальмар выражал сомнения относительно тезиса Чёрча о том, что все интуитивно вычислимые функции представимы рекурсивными функциями.

В 1949 году Кальмар был избран в Венгерскую академию наук. Он был удостоен премии Кошута в 1950 году и Государственной премии Венгрии в 1975 году.

В 1933 году Кальмар женился на Эржебет Арваи; у них родилось четверо детей.

Файл:Szeged-matematikus1.jpg

Лицо на среднем медальоне принадлежит Кальмару

Элементарные функции

Кальмар определил элементарные рекурсивные функции, строящиеся из понятий композиции и переменных, констант $0$ и $1$, многократного сложения $+$ констант, усечённого вычитания $\mathbin {\dot {-}}$, ограниченного суммирования и ограниченного произведения. Исключение ограниченного произведения из этого списка даёт субэлементарные или нижние элементарные функции. С помощью абстрактной вычислительной модели, называемой регистровой машиной, Хельмут Швихтенберг продемонстрировал, что «все элементарные функции вычислимы и всюду определены».

Литература

• (June 1993) «A visit to Hungarian mathematics». Mathematical Intelligencer 15 (2): 13–26. DOI:10.1007/BF03024187.
• Kalmár László An Argument Against the Plausibility of Church's Thesis // Constructivity in Mathematics. — Amsterdam: North-Holland, 1959.
• Kleene Stephen Cole Introduction to Metamathematics. — New York: Van Nostrand, 1952.
• Kleene Stephen Cole reprint. — Ishi Press. — ISBN 9780923891572.
• Schwichtenberg, Helmut Computability. — «see under "Computability"»
• Schwichtenberg, Helmut Recursion Theory (Notes for a lecture course) (2007). Проверено 8 ноября 2023.
• Szabó, Máté (January 2018). «Kalmár's Argument Against the Plausibility of Church's Thesis». History and Philosophy of Logic 39 (2): 140–157. DOI:10.1080/01445340.2017.1396520.

Ссылки

• Кальмар, Ласло на Викискладе

• Кальмар, Ласлоангл. в проекте «Математическая генеалогия»
• MacTutor (2000). — «The source for most of this entry»  Проверено 8 ноября 2023.

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Кальмар, Ласло», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Кальмар,_Ласло Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».