Berkeley Seminar: Dana Scott, 10/16/2023

My 70 years with Heyting algebras
We review the history of the area and the connections with logic and outline the proof that identities valid in all Heyting Algebras can be decided in finite distributive lattices.
Link to slides: topos.site/ber...

[@amanasleep3369]

Dana Scott is a real treasure. I'd argue he's the most legendary figure in logic alive today.

[@connemignonne]

Always so excited to see a Dana Scott talk.

[@andrewfeng3403]

Truly a legend, please invite Dana Scott more!

[@AlgoNudger]

❤