M. Presburger

References

M. Presburger

Polish logician

Written by

The Information Architects of Encyclopaedia Britannica

Learn about this topic in these articles:

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
…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