Alfred Tarski ( / ˈ t ɑːr s k i / ; Polnisch: ; geboren als Alfred Teitelbaum ; 14. Januar 1901 – 26. Oktober 1983) war ein polnisch-amerikanischer Logiker und Mathematiker .
Exzellent20th-century American Jews
Kategorie
Mathematical logicians
30 Artikel
Andrzej Grzegorczyk ( ; 22. August 1922 – 20. März 2014) war ein polnischer Logiker , Mathematiker , Philosoph und Ethiker .
Gut20th-century Polish mathematicians
Anne Marie Leggett (* 28. Mai 1947) ist eine amerikanische mathematische Logikerin . Sie ist emeritierte außerordentliche Professorin für Mathematik an der Loyola University Chicago .
Exzellent20th-century American mathematicians
Arthur Norman Prior (4. Dezember 1914 – 6. Oktober 1969), meist als A. N. Prior zitiert , war ein in Neuseeland geborener Logiker und Philosoph .
Gut20th-century New Zealand mathematicians
Benedikt Löwe MAE (geb. 1972) ist ein deutscher Mathematiker und Logiker, der an den Universitäten Hamburg und Cambridge tätig ist .
Gut20th-century German male writers
Bernard Bolzano ( Großbritannien : / b ɒ l ˈ t s ɑː n oʊ / , USA : / b oʊ l t ˈ s ɑː -, b oʊ l ˈ z ɑː -/ ; Deutsch: ; Italienisch: ; geboren als Bernardus Placidus Johann Nepomuk Bolzano ; 5. Oktober 1781 – 18.
Exzellent19th-century Czech non-fiction writers
Bertrand Arthur William Russell, 3. Earl Russell (18. Mai 1872 – 2. Februar 1970), war ein englischer Philosoph, Logiker , Mathematiker und Intellektueller .
Exzellent19th-century British essayists
Dag Prawitz (* 1936 in Stockholm ) ist ein schwedischer Philosoph und Logiker . Er ist vor allem für seine Arbeiten zur Beweistheorie und den Grundlagen des natürlichen Schließens sowie für seine Beiträge zur
Exzellent20th-century Swedish philosophers
Dana Stewart Scott (* 11. Oktober 1932) ist ein US-amerikanischer Logiker und emeritierter Hillman University Professor für Informatik , Philosophie und Mathematische Logik an der Carnegie Mellon University .
Exzellent20th-century American engineers
Ehud Hrushovski FRS ( hebräisch : אהוד הרושובסקי ; * 30. September 1959) ist ein mathematischer Logiker . Er ist Merton-Professor für Mathematische Logik an der Universität Oxford und Fellow des Merton College, Oxford .
Exzellent20th-century American Jews
Ernest Nagel ( / ˈ neɪ ɡ əl / ; deutsch : ; 16. November 1901 – 20. September 1985) war ein US-amerikanischer Wissenschaftsphilosoph .
Gut20th-century American Jews
Ernst Friedrich Ferdinand Zermelo ( / zɜːrˈmɛloʊ / ; ; 27. Juli 1871 – 21. Mai 1953) war ein deutscher Logiker und Mathematiker , dessen Werk die Grundlagen der Mathematik maßgeblich beeinflusst hat.
Exzellent19th-century German male writers
George Boole ( / buːl / BOOL ; 2. November 1815 – 8. Dezember 1864) war ein englischer Autodidakt , Mathematiker, Philosoph und Logiker , der als erster Professor für Mathematik am Queen’s College in Cork, Irland ,
Exzellent19th-century English essayists
Gerald Enoch Sacks (1933 – 4. Oktober 2019) war ein US-amerikanischer Logiker, dessen wichtigste Beiträge zur Rekursionstheorie lagen .
Gut20th-century American mathematicians
Friedrich Ludwig Gottlob Frege ( 8. November 1848 – 26. Juli 1925) war ein deutscher Philosoph, Logiker und Mathematiker .
Gut19th-century German male writers
Grigore Constantin Moisil ( rumänisch: ; 10. Januar 1906 – 21. Mai 1973) war ein rumänischer Mathematiker , Computerpionier und Ehrenmitglied der Rumänischen Akademie .
Exzellent20th-century Romanian inventors
Hajnal Ilona Andréka (auch bekannt als Hajnalka Andréka, geboren am 17. November 1947) ist eine ungarische Mathematikerin, die sich auf algebraische Logik spezialisiert hat .
Gut20th-century Hungarian mathematicians
Harry Roy Lewis (geb. 1947) ist ein US-amerikanischer Informatiker, Mathematiker und Universitätsadministrator ,der für seine Forschung in der Computerlogik, seine Lehrbücher zur theoretischen Informatik und seine
Exzellent20th-century American mathematicians
Harvey Friedman (* 23. September 1948) ist ein US-amerikanischer mathematischer Logiker an der Ohio State University in Columbus, Ohio .
Gut20th-century American mathematicians
Helmut Schwichtenberg (geboren am 5. April 1942 ) ist ein deutscher mathematischer Logiker .
GutFree University of Berlin alumni
Judith ( Judy ) Green (geb. 1943) ist eine amerikanische Logikerin und Mathematikhistorikerin , die sich mit Frauen in der Mathematik beschäftigt .
Gut20th-century American mathematicians
Karel Hrbáček (geb. 1944) ist emeritierter Professor für Mathematik am City College of New York . Er ist spezialisiert auf mathematische Logik , Mengenlehre und Nichtstandardanalysis .
GutCity College of New York faculty
Luitzen Egbertus Jan „ Bertus “ Brouwer (27. Februar 1881 – 2. Dezember 1966) war ein niederländischer Mathematiker und Philosoph , der sich mit Topologie , Mengenlehre , Maßtheorie und komplexer Analysis befasste .
Exzellent20th-century Dutch essayists
María Gracia Manzano Arjona (geb. 1950) ist eine spanische Philosophin, die sich auf mathematische Logik und Modelltheorie spezialisiert hat .
Gut20th-century Spanish mathematicians
Per Erik Rutger Martin-Löf ( / l ɒ f / ; Schwedisch: ; * 8. Mai 1942) ist ein schwedischer Logiker , Philosoph und mathematischer Statistiker .
Exzellent20th-century Swedish philosophers
Peter Henry George Aczel ( / ˈ æ k s əl / ; 31. Oktober 1941 – 1. August 2023) war ein britischer Mathematiker, Logiker und emeritierter Professor am Department of Computer Science und der School of Mathematics der
ExzellentAlumni of the University of Oxford
Robert Ian Goldblatt (geb. 1949) ist ein mathematischer Logiker und emeritierter Professor an der Fakultät für Mathematik und Statistik der Victoria University in Wellington , Neuseeland.
GutAcademic staff of Victoria University of Wellington
Sonja Smets ist eine belgisch-niederländische Logikerin und Erkenntnistheoretikerin , die für ihre Arbeiten zur Glaubensrevision und Quantenlogik bekannt ist .
GutAcademic staff of Vrije Universiteit Brussel
Thoralf Albert Skolem ( norwegisch: ; 23. Mai 1887 – 23. März 1963) war ein norwegischer Mathematiker, der auf den Gebieten der mathematischen Logik , der Mengenlehre und der Zahlentheorie arbeitete .
Exzellent20th-century Norwegian philosophers
William Walker Tait (22. Januar 1929 – 15. März 2024) war ein US-amerikanischer Philosoph.
Gut20th-century American philosophers