Re: [-empyre-] replying to several posts
On 04.05.03 10:37, "Jim Andrews" <email@example.com> wrote:
> The 'undecidable proposition' was theorized and used by Godel.
Sorry to be pedantic. Incompleteness Theorem, the formal refutation of
Whitehead and Russell's theories. This secondarily led to the development of
the symbolic logics that made Turing's work possible.
Art and Design Research Centre
Sheffield Hallam University, UK
This archive was generated by a fusion of
Pipermail 0.09 (Mailman edition) and