On indefinite truth values →| math.andrej.com
I am at the Machine assisted proofs workshop at the UCLA Institute for Pure and Applied Mathematics, where I am about to give a talk on “Formalizing invisible mathematics”. Here are the slides with speaker notes and the video recording of the talk.| Mathematics and Computation
On February 10, 2023, I gave my Levi L. Conant Lectur Series talk “Exploring strange new worlds of mathematics”, at the math department of Worcester Polytechnic Institute. Here are the slides with speaker notes and the video recording of the talk.| Mathematics and Computation
← Exploring strange new worlds of mathe...| math.andrej.com
I gave a talk “Variations on Weihrauch degrees” at Computability in Europe| math.andrej.com
← Variations on Weihrauch degrees (CiE ...| math.andrej.com
At TYPES 2023 I had the honor of giving an invited talk “On Isomorphism Invariance and Isomorphism Reflection in Type Theory” in which I discussed isomorphism reflection, which states that isomorphic types are judgementally equal. This strange principle is consistent, and it validates some fairly strange type-theoretic statements.| math.andrej.com
← One syntax to rule them all| math.andrej.com
Variations on Weihrauch degrees (CiE ... →| math.andrej.com
← Happy birthday, Dana!| math.andrej.com