aboutlogic

aboutlogic #09 | In this episode, we talk with Andrej Bauer about the five stages of accepting intuitionistic mathematics and the challenges surrounding proofs by contradiction.

Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

aboutlogic #08 | In this episode, Deborah Kant presents findings from her interview study with set theorists, exploring the relationship between philosophy and empirical methods in mathematics.

Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

aboutlogic #07 | We’re joined by Alexander Steen, who works on logics to be used in legal contexts.
In this episode, we talk about the relationship between ethics and law, how good old-fashioned artificial intelligence can help legal practitioners, and how to use theorem proving practices for this.

Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

aboutlogic #06 | We’re joined by Colin Rittberg to discuss the philosophy and sociology of mathematics and the concept of epistemic injustice within mathematical communities.