Johannes Korbmacher
Ich bin mathematischer Philosoph an der Utrecht University und arbeite an der Schnittstelle von Logik, Metaphysik und Erkenntnistheorie.
Ich bin Mitglied der Logikgruppe an der Utrecht University und Mitherausgeber von Philosophical Logic .
Ich lehre hauptsächlich in den Studiengängen Künstliche Intelligenz und Philosophie. Ich habe ein Logiklehrbuch für das Bachelorstudium der Künstlichen Intelligenz geschrieben, das unter https://logicalmethods.ai frei zugänglich ist.
Aktueller LebenslaufKontakt
FenR, Utrecht University Newton House, 3. Stock, Newtonlaan 201 3584 BH Utrecht, NiederlandeWeitere Profile
Projekte
Ich betreue eine Website zur Wahrmachersemantik mit. Sie soll diesen Ansatz zur hyperintensionalen Semantik fördern und stellt Forschenden auf diesem Gebiet Werkzeuge zur Verfügung.
Dieses von NWO geförderte Projekt setzt moderne digitale Beweiswerkzeuge ein, insbesondere generative KI und den Beweisassistenten Lean, um Fortschritte bei offenen Problemen der Wahrmachersemantik zu erzielen.