Alessandro Padoa

Alessandro Padoa

Alessandro Padoa (14 October 1868, Venice Italy - 25 November 1937, Genoa Italy) was an Italian mathematician and logician, a contributor to the school of Giuseppe Peano.Harvnb|Smith|2000|p=49] 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. Padoa's address to the 1900 International Congress of Mathematicians was the first clear and unconfused exposition of the modern axiomatic method in mathematics, "the first … to get all the ideas concerning defined and undefined concepts completely straight". [Harvnb|Smith|2000|p=46–47]

References

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."

*

External links

*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Alessandro Padoa — Sur les autres projets Wikimedia : « Alessandro Padoa », sur Wikisource (bibliothèque universelle) Alessandro Padoa (1868 1937) est un mathématicien et …   Wikipédia en Français

  • Padoa — ist der Familienname folgender Personen: Alessandro Padoa (1868–1937), italienischer Mathematiker und Logiker Clara Padoa (* 1910), italienische Schauspielerin Tommaso Padoa Schioppa (* 1940), italienischer Bankier und Volkswirt Diese Seite ist… …   Deutsch Wikipedia

  • Mario Pieri — Born 22 June 1860(1860 06 22) Lucca, Italy …   Wikipedia

  • Giuseppe Peano — Portrait de Giuseppe Peano Naissance 27 août 1858 (Spinetta di Cuneo (Coni) Décès 20 avril 1932 Cavoretto, près …   Wikipédia en Français

  • Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… …   Wikipedia

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …   Wikipedia

  • Line (geometry) — Three lines the red and blue lines have the same slope, while the red and green ones have same y intercept …   Wikipedia

  • Formulario mathematico — (Latino sine Flexione [While Latino sine Flexione was sometimes called Interlingua, it should not be confused with modern Interlingua, developed between 1924 and 1951 by the International Auxiliary Language Association.] : Formulation of… …   Wikipedia

  • Moritz Pasch — (8 November 1843, Breslau, Germany (now Wrocław, Poland) – 20 September 1930, Bad Homburg, Germany) was a German mathematician specializing in the foundations of geometry. He completed his Ph.D. at the University of Breslau at only 22 years of… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”