Мойжеш Пресбургер , или Прецбургер , [3] (27 декабря 1904 - ок. 1943) был польским еврейским математиком , логиком и философом . Он был учеником Альфреда Тарского , Яна Лукасевича , Казимежа Айдукевича и Казимежа Куратовского . [3] Он известен, среди прочего, тем, что изобрел арифметику Пресбургера, будучи студентом в 1929 году - форму арифметики, в которой допускается индукция, но исключается умножение. [4] [5] [6] [7]
Mojżesz Presburger | |
---|---|
Родившийся | Варшава | 27 декабря 1904 г.
Умер | c. 1943 г. |
Причина смерти | Холокост |
Национальность | Польский |
Известен | Пресбургерская арифметика |
Супруг (а) | Ребека Крейнес [1] |
Научная карьера | |
Тезис | O zupełności pewnego systemu arytmetyki liczb całkowitych (О полноте определенной системы целочисленной арифметики, в которой сложение является единственной операцией) (Диплом магистра, 1930 [2] ) |
Подпись | |
Он родился в Варшаве 27 декабря 1904 года в семье Абрама Хаима Прецбургера и Йохвет Прецбургера (в девичестве Азенмиль). [8] 28 мая 1923 года он получил аттестат зрелости в Торгово-промышленной школе Варшавского собрания купцов . [9] 7 октября 1930 года он получил степень магистра математики Варшавского университета . [3] [10] Он умер во время Холокоста , вероятно, в 1943 году. [11] [12] [13] [3]
В 2010 году Европейская ассоциация теоретической информатики начала присуждать ежегодную Премию Пресбургера (названную в честь Mojesz Presburger) молодому ученому (в исключительных случаях нескольким молодым ученым) за выдающийся вклад в теоретическую информатику. Миколай Боянчик был первым получателем.
Рекомендации
- ↑ Зигмунт (1991), стр.222
- ^ Зигмунт (1991), с.214
- ^ a b c d Клаус-Петер Вирт и Йорг Зикманн, Кристоф Бенцмюллер и Серж Отексье (2009). Лекции о Жаке Эрбранде как логике (Отчет SEKI). DFKI. arXiv : 0902.4682 .; Здесь: стр.48, сноска 128
- ^ М. Пресбургер (1930). "Uber der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in wellchen 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.
- ^ Райан Стэнсифер (сентябрь 1984 г.). Статья Пресбургера о целочисленной арифметике: примечания и перевод (PDF) (Технический отчет). TR84-639. Итака / Нью-Йорк: факультет компьютерных наук Корнельского университета.
- ^ Моджеш Пресбургер и Дейл Жакетт (1991). «О полноте некоторой системы арифметики целых чисел, в которой сложение происходит как единственная операция». История и философия логики . 12 (2): 225–33. DOI : 10.1080 / 014453409108837187 .
- ^ Вольфрам, Стивен (2002). Новый вид науки . Wolfram Media, Inc. стр. 1152. ISBN 1-57955-008-8.
- ^ Свидетельство о рождении на https://www.mimuw.edu.pl/~bojan/presburger
- ^ Документ аттестата зрелости на https://www.mimuw.edu.pl/~bojan/presburger
- ^ Диплом об окончании курса https://www.mimuw.edu.pl/~bojan/presburger
- ^ Бурдман Феферман, Анита ; Феферман, Соломон (2004). Альфред Тарский: Жизнь и логика . Издательство Кембриджского университета . п. 74 . ISBN 978-0-521-80240-6.
Пресбургский холокост.
- ^ Ян Зигмунт (1991). "Mojżesz Presburger: жизнь и работа". История и философия логики . 12 (2): 211–223. DOI : 10.1080 / 014453409108837186 .
- ^ Ян Воленский (1988). Логика и философия в Львовско-Варшавской школе . Дордрехт: Рейдел. ISBN 978-9027727497.
Внешние ссылки
- Фотография Моджеша Пресбургера и документ о смерти
- Документы о Пресбургере и Flash-презентация Миколая Боянчика
- Панель конференции 1929 года, на которой Пресбургер представил свою арифметику
- Премия Пресбургера , Европейская ассоциация теоретической информатики.