Ласло Калмар - László Kalmár

Портрет Ласло Кальмара

Ласло Калмар (27 марта 1905 г., Эдде - 2 августа 1976 г., Матрахаза ) был Венгерский математик и профессор Сегедский университет. Калмар считается основателем математическая логика и теоретические Информатика в Венгрии.

биография

Калмар имел еврейское происхождение.[1] Его ранняя жизнь смешала обещание и трагедию. Его отец умер, когда он был молод, а мать умерла, когда ему было 17 лет, в год, когда он поступил в Будапештский университет, делая его по сути сиротой.

Блеск Калмара проявился в школах Будапешта. В Будапештском университете его учителями были Кюршак и Фейер. Среди его однокурсников был будущий логик. Рожа Петер. Калмар получил высшее образование в 1927 году. Он открыл для себя математическую логику, выбранную им область, во время посещения Геттингена в 1929 году.

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

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

Кальмар - один из очень немногих логиков, которые поставили под сомнение тезис Черча о том, что все интуитивно механистические алгоритмические функции могут быть представлены рекурсивными функциями. [2]

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

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

Лицо на среднем медальоне - Калмара.

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

Кальмар определил то, что известно как элементарные функции, теоретико-числовые функции (т.е. основанные на натуральных числах), построенные на понятиях сочинение и переменные, константы 0 и 1, повторное сложение констант, правильное вычитание ∸, ограниченное суммирование и ограниченное произведение (Kleene 1952: 526). Исключение ограниченного произведения из этого списка дает субэлементарный или же младший элементарный функции. Используя абстрактную вычислительную модель, называемую зарегистрировать машину Швихтенберг обеспечивает демонстрацию того, что «все элементарные функции вычислимы и полностью определены» (Schwichtenberg 58).

Примечания

  1. ^ Рубен Херш и Вера Джон-Штайнер (1993). «Визит в венгерскую математику» (PDF). Получено 19 октября 2012.
  2. ^ * Кальмар, Л. 1959. «Аргумент против правдоподобия тезиса Черча». В Гейтинг, А. (ред.) Конструктивность в математике. Амстердам: (1959 г., Северная Голландия).

Рекомендации

  • Стивен К. Клини 1952, 1971 6-е переиздание с поправками, 10-е издание 1999 г., Введение в метаматематику, Издательство Северной Голландии, Амстердам, штат Нью-Йорк. ISBN  0-7204-2103-9
  • Гельмут Швихтенберг, см. Раздел «Вычислимость» на http://sakharov.net/foundation.html, или же http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/comp.pdf . Точный источник этого подлежит уточнению.
  • Кальмар, Л., Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen binären Funktionsvariablen, Comp. Математика. Bd. 4 (1936)
  • Куайн, В. В. Сведение к диадическому предикату. J. Символическая логика 19 (1954), вып. 3, 180–182

внешняя ссылка