[FOM] Inconsistent systems.

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Mon Oct 2 03:31:14 EDT 2006

Some of these were discussed here in FOM in June 2003, in the 
threath "Davis's honor Roll".

Best, Panu 

Lainaus Bill Taylor <W.Taylor at math.canterbury.ac.nz>:

> A brief inquiry.
> In the Lucas/Penrose thread, Panu Raatikainen said:
> > such distinguished logicians as Frege, Curry, Church, Quine, Rosser
> > and Martin-Lof have seriously proposed... theories that... turned out
> > to be inconsistent.
> I am aware of the cases of Frege and Quine, but not the others.
> Can someone please give a very brief account, just a summary,
> of the theories by the others, Curry, Church, Rosser and M-L,
> that turned out to be inconsistent?
> Thanks in advance.
> w taylor
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list