Re: (OPE-L) Re: The Church-Turing thesis

From: Andrew Brown (Andrew@LUBS.LEEDS.AC.UK)
Date: Tue Jan 20 2004 - 09:38:02 EST


> I'll claim that any theory of a dialectical logic worth
> > its salt should be able to be formalized and implemented on a
> > computer.

Sorry not to have looked in more detail at this interesting thread but
the above remark caught my eye.

I would have thought that dialectical logic is precisely a sublation of
formal logic which means that it can never be 'formalised': it cannot
be captured in a formal system. The failure of logicism, the
reduction of maths to logic, (a failure I take Godel to have proved)
can be viewed in this light. But Ian is the expert re Godel and all
that...Ian I am forever interested to hear more of your view on this


This archive was generated by hypermail 2.1.5 : Thu Jan 22 2004 - 00:00:01 EST