Alessandro Padoa (14 October 1868 – 25 November 1937) was an Italian mathematician and logician, a contributor to the school of Giuseppe Peano. 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.
Born |
14 October 1868 Venice, Italy
|
Died |
25 November 1937 (aged 69) Genoa, Italy
|
Zodiac | Libra |
Tags | Add tag |