Browse thread
Locally-polymorphic exceptions [was: folding over a file]
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Harrison, John R <john.r.harrison@i...> |
| Subject: | RE: [Caml-list] Unsoundness is essential |
For those who are really interested in what Goedel's theorems say, or who might enjoy a spirited demolition of various abuses of them inside and outside logic, let me recommend this book by the late Torkel Franzen: http://www.akpeters.com/product.asp?ProdCode=2388 Naturally, I'm not implying that anyone on this thread is guilty of inappropriate use of the theorems. John.