Moritz Presburger
Moritz Presburger · Наука и медицина
Мойжеш (Мориц) Пресбургер был польским математиком и логиком, доказавшим в 1929 году разрешимость теории первого порядка натуральных чисел со сложением, называемой ныне арифметикой Пресбургера, — основополагающий результат математической логики и информатики.
1904, Warsaw, Poland — 1943
Poland
Мойжеш (Мориц) Пресбургер был польским математиком и логиком, доказавшим в 1929 году разрешимость теории первого порядка натуральных чисел со сложением, называемой ныне арифметикой Пресбургера, — основополагающий результат математической логики и информатики. Его единственная крупная работа стала краеугольным камнем разрешающих процедур. Он был евреем, и считается, что он был убит в Холокосте около 1943 года.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jews in Mathematics
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Мойжеш (Мориц) Пресбургер был польским математиком и логиком, доказавшим в 1929 году разрешимость теории первого порядка натуральных чисел со сложением, называемой ныне арифметикой Пресбургера, — основополагающий результат математической логики и информатики.
Источник: Jinfo.org — Jews in Mathematics
Похожие деятели
Adolf Lindenbaum
Andrzej Mostowski
Barry Mazur
Georg Kreisel
