Prof. Dr. Dr. Walter Hoering ✝

Arbeitsschwerpunkte

• Logik
• Didaktik der Logik (vgl. Kommentar WS 97/98 - Arbeitskreis Automatisches Beweisen und SMTUTOR)
• Philosophie der Mathematik
• Wissenschaftstheorie

Kurzvorstellung

• Lebenslauf

Dokumente

• Logik in der Philosophie
• Paradigma-Wechsel
• Strategien der Induktion
• On Judging Rationality

Grabrede und Nachruf auf Prof. Hoering (von Prof. Heidelberger und Prof. Schroeder-Heister)