Axiom of Choice. Law of excluded middle Diaconescus Theorem. Part 3 of 3.

Видео

Part of Matthew Mazowita abstractmatt talk at Intersections KW Meetup Feb. 10 2015 in Waterloo Ontario Boltmade office. Video starts and ends with Boltmade office outside Bauer Buildings shots. Part 1. History of Axion and Foundations of M..., видео от 2025-01-28 загрузил на rutube Set Theory Splendor...