Johannes Korbmacher
Sono un filosofo matematico presso Utrecht University e lavoro all’intersezione tra logica, metafisica ed epistemologia.
Faccio parte del gruppo di logica di Utrecht University e sono redattore associato di Philosophical Logic .
Insegno principalmente nei corsi di laurea in Intelligenza Artificiale e Filosofia. Ho scritto un manuale di logica per la laurea triennale in Intelligenza Artificiale, liberamente accessibile su https://logicalmethods.ai .
CV aggiornatoContatti
FenR, Utrecht University Newton House, 3º piano, Newtonlaan 201 3584 BH Utrecht, Paesi BassiAltri profili
Progetti
Gestisco insieme ad altri un sito sulla semantica dei verificatori, volto a promuoverla come approccio alla semantica iperintensionale e a fornire strumenti a chi fa ricerca in questo ambito.
Questo progetto finanziato da NWO mira a utilizzare moderni strumenti digitali di dimostrazione, in particolare l’IA generativa e l’assistente alla dimostrazione Lean, per progredire su problemi aperti nella semantica dei verificatori.