Coursera Plus Annual is 40% Off — Ends July 6.

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

70 Years with Heyting Algebras - Identities and Distributive Lattices

Topos Institute via YouTube

Start learning Write review
Boot.dev Ad

The Fastest Way to Become a Backend Developer Online

Learn More → DataCamp Ad

PowerBI Data Analyst - Create visualizations and dashboards from scratch

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Watch a seminar presentation where Dana Scott shares insights from his 70-year journey studying Heyting algebras, exploring their historical development and logical connections while demonstrating how identities valid in all Heyting Algebras can be decided in finite distributive lattices, complete with accompanying slides for deeper understanding of these mathematical concepts.

Syllabus

Berkeley Seminar: Dana Scott, 10/16/2023

Taught by

Topos Institute

Reviews

Start your review of 70 Years with Heyting Algebras - Identities and Distributive Lattices

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.