From: Andrew Clough (aclough@mit.edu)
Date: Sun Jun 16 2002 - 10:45:44 MDT
At 08:22 PM 6/14/2002 -0700, you wrote:
>Well, I found the sentences "Although logical data consistency is a
>requirement of high
>priority in all of computing, 100% consistency is almost never given in
>practice. Taking
>logic seriously, this means nothing less than a complete mismatch of
>theory and practice,
>which in fact profoundly challenges the legitimacy of logical foundations
>of computing in
>general."
>
>Gee, that just doesn't seem surprising for anything outside
>of mathematics! What have we here? Have a lot of people
>(neither scerir nor the authors above) been experiencing
>"math envy"? ;-)
>
>Lee
One nice thing about inconsistency is that you can use it to get around Godel.
This archive was generated by hypermail 2.1.5 : Sat Nov 02 2002 - 09:14:49 MST