Wilhelm Ackermann

Wilhelm Ackermann

male, deceased (1962)
Gödel's completeness theorem, Ackermann function, theory of computation, westphalia, University of Muenster, mathematician…consistencyproof
Wilhelm Friedrich Ackermann (March 29, 1896, Herscheid municipality, Germany - December 24, 1962 Lüdenscheid, Germany) was a German mathematician b...

Per Martin-Löf

male, 67 years old
University of Chicago, Logician, mathematician, philosopher, swedish, Stockholm University…consistencyproof, proof-theoretic semantics
Per Martin-Löf is a Swedish logician, philosopher, and mathematician born in 1942. He is best known for developing intuitionistic type theory as a c...

Ronald Jensen

male, 73 years old
American University, Humboldt-Universität zu Berlin, Albert Ludwigs University of Freiburg, set theory, consistencyproof, coding the universe in a real…consistency
Ronald Björn Jensen is a mathematician working in logic and set theory. He studied economics at American University and mathematics at the U...