Penn Arts & Sciences Logo

Logic and Computation Seminar

Monday, March 14, 2022 - 3:30pm

Peter Freyd

University of Pennsylvania

Location

University of Pennsylvania

online - link available upon request

It can be proved that elementary universal algebra as usually applied can not do much, but it can be very useful when applied to closed bounded intervals, e.g.  in manufacturing programs.