Kategorie
7 Artikel
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
Gaisi Takeuti (竹内 外史, Takeuchi, Gaishi ; 25. Januar 1926 – 10. Mai 2017 ) war ein japanischer Mathematiker , der für seine Arbeiten zur Beweistheorie bekannt war .
Harvey Friedman (* 23. September 1948) ist ein US-amerikanischer mathematischer Logiker an der Ohio State University in Columbus, Ohio .
Helmut Schwichtenberg (geboren am 5. April 1942 ) ist ein deutscher mathematischer Logiker .
Jean-Yves Girard ( französisch: ; * 1947) ist ein französischer Logiker, der auf dem Gebiet der Beweistheorie arbeitet .
Per Erik Rutger Martin-Löf ( / l ɒ f / ; Schwedisch: ; * 8. Mai 1942) ist ein schwedischer Logiker , Philosoph und mathematischer Statistiker .
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