Ask the Chatbot Games & Quizzes ProCon History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture Money Videos
M. Presburger
Directory
References
Discover
Lusitania sinking, illustration from The War of the Nations (New York), December 31, 1919. World War I, WWI. This image is one of three on the page. (See source file for the other two.)
7 of the World’s Deadliest Shipwrecks
The tomb of Saint Nicholas in the crypt of the Basilica di San Nicola, Bari, Apulia, Italy
Do the Relics of Saint Nicholas Really Emit a Holy Substance?
Image of Antenna galaxy
The Fermi Paradox: Where Are All the Aliens?
NBA Lakers Celtics Finals Kevin Garnett shooting.
10 Great Sports Rivalries
Leonardo da Vinci (1452-1519), Italian Renaissance painter from Florence. Engraving by Cosomo Colombini (d. 1812) after a Leonardo self portrait. Ca. 1500.
10 Famous Artworks by Leonardo da Vinci
New York NY/ USA- November 23, 2018 Hordes of shoppers throng the Macy's Herald Square flagship store in New York looking for bargains on the day after Thanksgiving, Black Friday.
Why Is It Called Black Friday?
American bison (Bison bison) also known as buffalo or plains buffalo on the prairie, western U.S.
What’s the Difference Between Bison and Buffalo?

M. Presburger

Polish logician

Learn about this topic in these articles:

contribution to metalogic

  • David Hilbert
    In metalogic: Decidability and undecidability

    …discovered by the Polish logician M. Presburger and by Skolem (both in 1930) that arithmetic with addition alone or multiplication alone is decidable (with regard to truth) and therefore has complete formal systems. Another well-known positive finding is that of the Polish-American semanticist and logician Alfred Tarski, who developed a…

    Read More