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.
Logic and Computation Seminar
Monday, March 14, 2022 - 3:30pm
Peter Freyd
University of Pennsylvania