aboutlogic

aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics


Listen Later

Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics

Further Reading & Resources:

The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4
The Xena Project: https://xenaproject.wordpress.com/
Graham Priest: https://grahampriest.net/

Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/

Deniz Sarikaya: https://www.denizsarikaya.de/

Production:

Jan-Niklas Meyer: http://www.jammos.com/

Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.

...more
View all episodesView all episodes
Download on the App Store

aboutlogicBy Deniz Sarikaya, Thorsten Altenkirch