Mojżesz Presburger - Википедия - Mojżesz Presburger

Mojżesz Presburger
Mojżesz Presburger.jpg
Моджеш Пресбургер, 1923 г.
Родившийся(1904-12-27)27 декабря 1904 г.
Варшава
Умерc. 1943
Причина смертиХолокост
НациональностьПольский
ИзвестенАрифметика пресбургера
Супруг (а)Ребека Крейнес[1]
Научная карьера
ТезисO zupełności pewnego systemu arytmetyki liczb całkowitych (О полноте определенной системы целочисленной арифметики, в которой сложение является единственной операцией) (Диплом магистра, 1930 г.[2])
Подпись
Mojżesz Presburger (подпись) .jpg

Mojżesz Presburger, или же Prezburger,[3] (27 декабря 1904 г. c. 1943) был Польский Еврейский математик, логик, и философ. Он был учеником Альфред Тарский, Ян Лукасевич, Казимеж Айдукевич, и Казимеж Куратовски.[3] Он известен, среди прочего, тем, что изобрел Арифметика пресбургера как студент в 1929 году - форма арифметики, в которой допускается индукция, но исключается умножение.[4][5][6][7]

Он родился в Варшаве 27 декабря 1904 года в семье Абрама Хаима Прецбургера и Йохвет Прецбургера (урожденная Азенмиль).[8] 28 мая 1923 г. он получил зрелый от Школа торговли Варшавского купеческого собрания [pl ].[9] 7 октября 1930 г. он был награжден владелец по математике из Варшавский университет.[3][10] Он умер в Холокост, наверное, 1943 год.[11][12][13][3]

В 2010 г. Европейская ассоциация теоретической информатики начал проводить ежегодные Премия Пресбургера (назван в честь Mojżesz Presburger) молодому ученому (в исключительных случаях нескольким молодым ученым) за выдающийся вклад в теоретическую информатику. Миколай Боянчик был первым получателем.

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

  1. ^ Зигмунт (1991), стр.222
  2. ^ Зигмунт (1991), стр.214
  3. ^ а б c d Клаус-Петер Вирт и Йорг Зикманн, Кристоф Бенцмюллер и Серж Отексье (2009). Лекции о Жаке Эрбранде как логике (Отчет SEKI). DFKI. arXiv:0902.4682.; Здесь: стр.48, сноска 128
  4. ^ М. Пресбургер (1930). "Über der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt". В Ф. Лея (ред.). Comptes Rendus Premier Congrès des Mathématicienes des Pays Slaves, Varsovie 1929 / Sprawozdanie z I Kongresu matematyków krajów słowiańskich, Warszawa 1929. Варшава, Львов и Краков. С. 92–101, 395.
  5. ^ Райан Стэнсифер (сентябрь 1984 г.). Статья Пресбургера о целочисленной арифметике: примечания и перевод (PDF) (Технический отчет). TR84-639. Итака / Нью-Йорк: факультет компьютерных наук Корнельского университета.
  6. ^ Mojesz Presburger и Дейл Жакетт (1991). «О полноте некоторой системы арифметики целых чисел, в которой сложение происходит как единственная операция». История и философия логики. 12 (2): 225–33. Дои:10.1080/014453409108837187.
  7. ^ Вольфрам, Стивен (2002). Новый вид науки. Wolfram Media, Inc. стр. 1152. ISBN  1-57955-008-8.
  8. ^ Свидетельство о рождении на https://www.mimuw.edu.pl/~bojan/presburger
  9. ^ Документ о зрелости в https://www.mimuw.edu.pl/~bojan/presburger
  10. ^ Диплом об окончании https://www.mimuw.edu.pl/~bojan/presburger
  11. ^ Бурдман Феферман, Анита; Феферман, Соломон (2004). Альфред Тарский: жизнь и логика. Издательство Кембриджского университета. п.74. ISBN  978-0-521-80240-6. Пресбургский холокост.
  12. ^ Ян Зигмунт (1991). "Mojżesz Presburger: жизнь и работа". История и философия логики. 12 (2): 211–223. Дои:10.1080/014453409108837186.
  13. ^ Ян Воленский (1988). Логика и философия в Львовско-Варшавской школе. Дордрехт: Рейдел. ISBN  978-9027727497.

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