Мойжеш Пресбургер
Мойжеш Пресбургер | |
|---|---|
 Мойжеш Пресбургер, 1923 г. | |
| Рожденный | ( 1904-12-27 )27 декабря 1904 г. Варшава |
| Умер | около 1943 г. |
| Причина смерти | Холокост |
| Национальность | польский |
| Известный | арифметика Пресбургера |
| Супруг | Ребека Крейнес [2] |
| Научная карьера | |
| Тезис | O zupełności pewnego systemu arytmetyki liczb całkowitych (О полноте некоторой системы целочисленной арифметики, в которой единственной операцией является сложение) (Диплом магистратуры, 1930 г. [1] ). |
| Подпись | |
.jpg/1280px-Moj%C5%BCesz_Presburger_(signature).jpg) | |
.jpg){kind=link}
Мойжеш Пресбургер , или Презбургер , [3] (27 декабря 1904 г. – ок. 1943 г.) был польским еврейским математиком , логиком и философом . Он был учеником Альфреда Тарского , Яна Лукасевича , Казимежа Айдукевича и Казимежа Куратовского . [3] Он известен, среди прочего, тем, что в 1929 году, будучи студентом, изобрел арифметику Пресбургера – форму арифметики, в которой допускается индукция, но удаляется умножение, чтобы получить разрешимую теорию . [4] [5] [6] [7]
Он родился в Варшаве 27 декабря 1904 года в семье Абрама Хаима Презбургера и Йохвет Презбургер (урожденной Ассенмил). [8] 28 мая 1923 года он получил аттестат зрелости в Школе коммерции Варшавского купеческого собрания . [9] 7 октября 1930 года он получил степень магистра математики в Варшавском университете . [3] [10] Он погиб во время Холокоста , вероятно, в 1943 году. [11] [12] [13] [3]
В 2010 году Европейская ассоциация теоретической информатики начала присуждать ежегодную премию Пресбургера его имени молодому ученому (в исключительных случаях нескольким молодым ученым) за выдающийся вклад в теоретическую информатику. Первым лауреатом стал Миколай Боянчик .
Ссылки
- ^ Зигмунт (1991), стр.214
- ^ Зигмунт (1991), стр.222
- ^ abcd Клаус-Петер Вирт и Йорг Зикманн и Кристоф Бенцмюллер и Серж Отексье (2009). Лекции о Жаке Эрбране как логике (отчет SEKI). DFKI. arXiv : 0902.4682 .; Здесь: стр.48, сноска 128
- ^ М. Пресбургер (1930). «Über der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Additions als einzige Operation hervortritt». В Ф. Лее (ред.). Comptes Rendus Premier Congrès des Mathématicienes de Pays рабов, Варшава, 1929 г. / Sprawozdanie z I Kongresu matematyków krajów słowiańskich, Варшава, 1929 г. Варшава, Львов и Краков. С. 92–101 , 395.
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ Райан Стэнсифер (сентябрь 1984 г.). Статья Пресбургера о целочисленной арифметике: замечания и перевод (PDF) (технический отчет). Том TR84-639. Итака/Нью-Йорк: Кафедра компьютерных наук, Корнелльский университет. Архивировано из оригинала (PDF) 2015-02-06 . Получено 2014-10-10 .
- ^ Мойжеш Пресбургер и Дейл Жакетт (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
- ^ Документ Matura на https://www.mimuw.edu.pl/~bojan/presburger.
- ^ Диплом об окончании обучения на https://www.mimuw.edu.pl/~bojan/presburger
- ^ Бердман Феферман, Анита ; Феферман, Соломон (2004). Альфред Тарский: Жизнь и логика . Cambridge University Press . стр. 74. ISBN 978-0-521-80240-6.
Холокост в Пресбурге.
- ^ Ян Зигмунт (1991). «Мойжеш Пресбургер: жизнь и творчество». История и философия логики . 12 (2): 211– 223. doi :10.1080/014453409108837186.
- ^ Ян Воленский (1988). Логика и философия в львовско-варшавской школе . Дордрехт: Reidel. ISBN 978-9027727497.
Внешние ссылки
- Фотография и документ о смерти Мойжеша Пресбургера
- Документы о Presburger и Flash-презентация Миколая Боянчика
- Президиум конференции 1929 года, где Пресбургер представил свою арифметику
- Премия Пресбургера, Европейская ассоциация теоретической информатики.
 | Эта статья о польском математике — заглушка . Вы можете помочь Википедии, дополнив ее. |
