Alessandro Padoa

From Wikipedia, the free encyclopedia

Alessandro Padoa (14 October 1868, Venice Italy - 25 November 1937, Genoa Italy) was an Italian mathematician and logician. He is remembered for a method for deciding whether, given some formal theory. a new primitive notion is truly independent of the other primitive notions. There is an analogous problem in axiomatic theories, namely deciding whether a given axiom is independent of the other axioms.

[edit] Bibliography

  • 1900. "Logical introduction to any deductive theory" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press: 118-23.

Secondary:

  • Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870-1940. Princeton Uni. Press.
  • Suppes, Patrick, 1999 (1957). Introduction to Logic. Dover. Discusses "Padoa's method."

[edit] External links

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