[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