FOM: intuitionism and building bridges

[Vaughan Pratt]

From: Stephen G Simpson <simpson at math.psu.edu>
>Do you think the Pentium
>chip would work if the Intel engineers switched to some other kind of
>logic and/or mathematics?

Do you think trains, elevators, and cameras would work if their
manufacturers used fuzzy logic?  If not then you should be careful what
you ride in Japan and point at people.

Vaughan Pratt