Mojżesz Presburger

Mojżesz Presburger
Mojżesz Presburger, 1923
Born(1904-12-27)27 December 1904
Warsaw
Diedc. 1943
Cause of deathHolocaust
NationalityPolish
Known forPresburger arithmetic
SpouseRebeka Krejnes[2]
Scientific career
Thesis O zupełności pewnego systemu arytmetyki liczb całkowitych (About the completeness of a certain system of integer arithmetic in which addition is the only operation)  (M.A. Diploma, 1930[1])
Signature

Mojżesz Presburger, or Prezburger,[3] (27 December 1904 – c. 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski.[3] He is known for, among other things, having invented Presburger arithmetic as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a decidable theory.[4][5][6][7]

He was born in Warsaw on 27 December 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil).[8] On 28 May 1923 he got his matura from the School of Commerce of the Merchants' Meeting of Warsaw [pl].[9] On 7 October 1930 he was awarded master in mathematics from Warsaw University.[3][10] He died in the Holocaust, probably 1943.[11][12][13][3]

In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award named after him to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science. Mikołaj Bojańczyk was the first recipient.

References

  1. ^ Zygmunt (1991), p.214
  2. ^ Zygmunt (1991), p.222
  3. ^ a b c d Claus-Peter Wirth and Jörg Siekmann and Christoph Benzmüller and Serge Autexier (2009). Lectures on Jacques Herbrand as a Logician (SEKI Report). DFKI. arXiv:0902.4682.; Here: p.48, footnote 128
  4. ^ M. Presburger (1930). "Über der Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt". In F. Leja (ed.). 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. Warsaw, Lwów and Krakow. pp. 92–101, 395.{{cite book}}: CS1 maint: location missing publisher (link)
  5. ^ Ryan Stansifer (Sep 1984). Presburger's Article on Integer Arithmetic: Remarks and Translation (PDF) (Technical Report). Vol. TR84-639. Ithaca/NY: Dept. of Computer Science, Cornell University. Archived from the original (PDF) on 2015-02-06. Retrieved 2014-10-10.
  6. ^ Mojżesz Presburger and Dale Jacquette (1991). "On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation". History and Philosophy of Logic. 12 (2): 225–33. doi:10.1080/014453409108837187.
  7. ^ Wolfram, Stephen (2002). A New Kind of Science. Wolfram Media, Inc. p. 1152. ISBN 1-57955-008-8.
  8. ^ Birth certificate at https://www.mimuw.edu.pl/~bojan/presburger
  9. ^ Matura document at https://www.mimuw.edu.pl/~bojan/presburger
  10. ^ Graduation diploma at https://www.mimuw.edu.pl/~bojan/presburger
  11. ^ Burdman Feferman, Anita; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. p. 74. ISBN 978-0-521-80240-6. Presburger holocaust.
  12. ^ Jan Zygmunt (1991). "Mojżesz Presburger: Life and Work". History and Philosophy of Logic. 12 (2): 211–223. doi:10.1080/014453409108837186.
  13. ^ Jan Woleński (1988). Logic and Philosophy in the Lvov-Warsaw School. Dordrecht: Reidel. ISBN 978-9027727497.


Stub icon

This article about a Polish mathematician is a stub. You can help Wikipedia by expanding it.

This biography of a Polish philosopher is a stub. You can help Wikipedia by expanding it.

Read other articles:

География

Запрос «Географ» перенаправляется сюда; см. также другие значения.У этого термина существуют и другие значения, см. География (значения). НаукаГеографияЗемлеописание, землеведение Тема Науки о Земле Предмет изучения Земля и планеты Период зарождения античное время Ос...

 

Alain de Benoist

Alain de BenoistAlain de Benoist tahun 2012Lahir11 Desember 1943 (umur 80)Tours, Indre-et-Loire, PrancisAlmamaterUniversitas ParisPekerjaanPenulis, jurnalis, filsufAliranNouvelle DroiteGagasan pentingModernisasi dan sekularisasi nilai-nilai Kristen, repaganisasi Barat, Pensée unique, Nouvelle Droite, etnopluralisme Dipengaruhi Herder, Schmitt, Gramsci, Evola, Nietzsche, Dumont, Heidegger, Baudrillard, Spengler, Jünger, Locchi, Dumézil, Ortega y Gasset, Pareto, MacIntyre, Taylor ...

 

Rangers Football Club 2010-2011

Voce principale: Rangers Football Club. Rangers F.C.Stagione 2010-2011Sport calcio Squadra Rangers Allenatore Walter Smith Presidente Alastair Johnston (fino 23/05) Craig Whyte (da 24/05) Scottish Premier LeagueVincitore Scottish CupOttavi di finale Scottish League CupVincitore Champions LeagueFase a gironi Europa LeagueOttavi di finale Maggiori presenzeCampionato: McGregor, Weir, Davis (37)Totale: Weir, Davis (53) Miglior marcatoreCampionato: Miller (21)Totale: Miller (22) StadioIbrox ...

Greenlandic independence

Political movement Greenland national day celebration 2010 in Sisimiut exactly a year after the establishment of self-rule in 2009 Politics of Greenland Constitution Constitution Act of Succession Freedom of Speech and the Press Taxation The Crown Monarch King Frederik X Privy Council Purveyors to the Royal Court Realm Kingdom of Denmark (The unity of the Realm) Greenland Denmark Faroe Islands ExecutiveRegeringen The Government of the Kingdom of Denmark Government Frederiksen II Prime Ministe...

 

Futbol'ny Klub Dynama Minsk

Disambiguazione – Dinamo Minsk rimanda qui. Se stai cercando l'omonima squadra di hockey su ghiaccio, vedi Chokkejnyj Klub Dinamo Minsk. FK Dinamo MinskCalcio Dinamo Segni distintiviUniformi di gara Casa Trasferta Colori sociali Azzurro, bianco InnoDinamo Chempion Dati societariCittàMinsk Nazione Bielorussia ConfederazioneUEFA Federazione BFF Fondazione1927 Presidente Andrey Tolmach Allenatore Vadim Skripchenko StadioStadio Dinamo(22 000 posti) Sito webwww.dinamo-minsk.by Pal...

 

Веслування на байдарках і каное на літніх Олімпійських іграх 2020 — каное-одиночки, 200 метрів (жінки)

каное-одиночки, 200 метрів (жінки)на XXXII Олімпійських іграх Місце проведенняВеслувальний канал Сі ФорестДати4 серпня 2021 (попередні заїзди і чвертьфінал)5 серпня 2021 (півфінал і фінал)Учасників12+ з 12+ країнПризери  Невін Гаррісон  США Лоранс Венсан-Ляпуант&#...

Nuremberg–Erfurt high-speed railway

German train infrastructure Nuremberg–Erfurt high-speed railwayOverviewNative nameSchnellfahrstrecke Nürnberg–ErfurtLocaleThuringia and Bavaria, GermanyTerminiErfurt HbfEbensfeldTechnicalLine length107 km (66 mi)Number of tracks2Track gauge1,435 mm (4 ft 8+1⁄2 in) standard gaugeMinimum radius3,700 m (12,139 ft)Electrification15 kV/16.7 Hz AC overhead catenaryOperating speed300 km/h (190 mph)Maximum incline1.25% Route map Legen...

 

First Czechoslovak Republic

1918–1938 republic in Central/Eastern Europe Czechoslovak RepublicČeskoslovenská republika1918–1938 FlagTop (1918–1920)Bottom (1920–1938) Middle coat of arms(1920–1938) Motto: Pravda vítězí / Pravda víťazíTruth prevailsAnthem: ’Kde domov můj’ (Czech)’Where my home is’ ’Nad Tatrou sa blýska’ (Slovak)’Lightning Over the Tatras’The Czechoslovak Republic in 1938Capitaland largest cityPragueOfficial languagesCzechoslovak[1]Common...

 

Ordre royal de François Ier

Insigne de l'ordre L'ordre royal de François Ier (en italien : Reale Ordine di Francesco I) est un ordre de chevalerie du royaume des Deux-Siciles, État de l'Italie pré-unitaire. Histoire L'ordre a été instauré par François Ier, roi des Deux-Siciles, par le décret no 2594 du 28 septembre 1829 afin de récompenser des personnes méritantes dans les domaines des sciences, lettres et arts. Comme récompense de mérite civil, l'ordre constitue probablement le précurseur des ac...

Élections sénatoriales belges de 1904

1900 Élections sénatoriales belges de 1900 29 mai 1904 Parti catholique 55,54 %  Parti libéral 38,21 %  Parti ouvrier belge 4,08 %  National indépendant 2,17 %  modifier - modifier le code - voir Wikidata  Les élections sénatoriales belges ont lieu le 29 mai 1904. Elles visent à renouveler la composition du Sénat[1]. Notes et références ↑ (en) « Résultats électoraux », sur fgov.be (consulté le 15 avril 2023). v&#...

 

2005年のバレンシアグランプリ

  2005年のバレンシアグランプリ レース詳細 2005年のロードレース世界選手権 全17戦中第17戦 決勝日 2005年11月6日 開催地 バレンシア・サーキット 開催コース 常設サーキット 4.051km MotoGP ポールポジション ファステストラップ セテ・ジベルナウ マルコ・メランドリ 1:31.874 1:33.043 表彰台 1. マルコ・メランドリ 2. ニッキー・ヘイデン 3. バレンティーノ・ロッシ 250...

 

R.スティーヴィー・ムーア

2013年公演するR.スティーヴィー・ムーアの姿 ロバート・スティーヴン・ムーア(Robert Steven Moore、 (1952-01-18) 1952年1月18日（72歳）-）は、アメリカ合衆国の楽器奏者、歌手、ソングライターで Lo-Fi (あるいはDIY)音楽を創始したことで知られている。ホームレコーディングの貸付け[1]と呼ばれるムーアは、アンダーグラウンドでカセットテープが多く使われた時期に活動...

王位継承

この項目では、国王などの位の継承について説明しています。 一般的な日本の天皇の位の継承については「皇位継承」をご覧ください。 2019年、平成から令和になる時に行われた皇位継承については「明仁から徳仁への皇位継承」をご覧ください。 その他の王位については「王位」をご覧ください。 王位継承（おういけいしょう）は、一般的に王位（国王の位）を王�...

 

نازكا (حضارة)

هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. إحدى بقايا الاستخدامات الشخصية لعصر نازكا نازكا (بالإسبانية: Cultura nazca)‏، حضارة قامت في الساحل الجنوبي في البيرو في العصر الوسيط المبكر بين أعوام 200 ق.م - 600 م وسميت على وادي نازك...

 

Productor de cine

Véase también: Producción audiovisual A la izquierda, Enrique Gutiérrez, y a la derecha, Alejandro Kerk. En la película Chambú, de 1962, Gutiérrez fue productor ejecutivo y Kerk fue el director. El productor de cine o productor cinematográfico es, en la industria cinematográfica, el representante legal de una obra cinematográfica y el responsable de los aspectos organizativos y técnicos de la elaboración de una película, complementando así la actividad creativa del director. Est...

Universal resurrection

Belief that most or all the dead who have ever lived will be resurrected Resurrection of the dead redirects here. For other uses, see Resurrection from the dead (disambiguation). Part of a series onEschatology Buddhist Maitreya Three Ages Christian — Biblical texts — Book of RevelationBook of Daniel Olivet DiscourseSheep and Goats — Major figures — JesusTwo witnesses Four HorsemenAntichrist — Different views — PreterismIdealism HistoricismFuturism —...

 

Felix Gasselich

Austrian footballer Felix Gasselich Gasselich (left) playing for Ajax on 24 August 1983.Personal informationDate of birth (1955-12-21) 21 December 1955 (age 68)Place of birth Vienna, AustriaHeight 1.83 m (6 ft 0 in)Position(s) MidfielderYouth career1970–1973 Austria WienSenior career*Years Team Apps (Gls)1973–1983 Austria Wien 264 (74)1983–1985 Ajax 57 (16)1985–1986 LASK Linz 23 (7)1986–1988 Wiener SC 64 (11)1988–1989 Grazer AK 30 (3)1989–1990 Kremser SC 17 (...

 

Thimble Summer

Book by Elizabeth Enright This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Thimble Summer – news · newspapers · books · scholar · JSTOR (August 2015) (Learn how and when to remove this message) Thimble Summer AuthorElizabeth EnrightIllustratorElizabeth EnrightLanguageEnglishGenreChildren's novelPublisherFarra...

List of tallest buildings and structures

Burj Khalifa, in Dubai, is currently the world's tallest building. Map all coordinates using OpenStreetMap Download coordinates as: KML GPX (all coordinates) GPX (primary coordinates) GPX (secondary coordinates) The world's tallest human-made structure is the 828-metre-tall (2,717 ft) Burj Khalifa in Dubai, United Arab Emirates. The building gained the official title of tallest building in the world and the tallest self-supported structure at its opening on January 9, 2010. The second-t...

 

Chaïm Soutine

Vous lisez un « article de qualité » labellisé en 2017. Chaïm SoutineAmedeo Modigliani, Portrait de Chaïm Soutine (1916),huile sur toile (100 × 65 cm), musée d'Art moderne de Céret.Naissance 1893 (ou 1894)Smilovitchi ( Empire russe)Décès 9 août 1943 (à 50 ans)Paris ( France)Sépulture Cimetière du MontparnasseNom de naissance Chaïm Solomonovitch SoutineNationalité BiélorusseActivité PeintreFormation Écoles des beaux-arts de Vilnius et de Paris...