Re: [-empyre-] replying to several posts

[Simon Biggs <simon@littlepig.org.uk>]

On 04.05.03 10:37, "Jim Andrews" <jim@vispo.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.

best

Simon


Simon Biggs

simon@littlepig.org.uk
http://www.littlepig.org.uk/
http://www.greatwall.org.uk/
http://www.babel.uk.net/

Research Professor
Art and Design Research Centre
Sheffield Hallam University, UK
s.biggs@shu.ac.uk
http://www.shu.ac.uk/