|
|
Re: Brainstorming about STEM (was About Functions)
Posted:
Dec 25, 2011 1:03 AM
|
|
I should mention, too, that my implementation of formal logic and set theory is considerably more user-friendly than the standard ones. To get some idea of how it works, see "The Barber Paradox Video, A Brief Introduction to DC Proof 2.0" at my homepage http://www.dcproof.com
Dan
|
|
