aboutlogic

Folgenzu den neuesten

1. 28. Jan.

   aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics

   Working with Contradictions — Graham Priest Contradictory Logics and More Further Reading & Resources: The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4 The Xena Project: https://xenaproject.wordpress.com/ Grah
   46 min
2. 14. Jan.

   aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory

   Theorem proving software in education, constructive mathematics, type theory and many more. Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.
   26 min
3. 14. Jan.

   aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse

   Philosophy of Mathematical Practice, Sociology of Mathematics, Set Theory and the Universe vs. Multiverse-Debate Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Alten
   29 min
4. 14. Jan.

   aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics

   Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics. Further Reading & Resources: The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4 The Xena Project: https://xenaproject.wordpre
   52 min
5. 14. Jan.

   aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy

   From foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher. Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org
   1 min