FOM: thinking linearly?

Harvey Friedman friedman at math.ohio-state.edu
Tue Mar 10 14:14:19 EST 1998


Feferman 2:42Pm 3/10/98 writes:

>It's easier to think in classical logic than in more restrictive logics
>(and thank god no one is asking us to actually think in linear logic),...

This is an important point. But is *no one* really true, Vaughn?





More information about the FOM mailing list