[FOM] Inconsistent systems.
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".
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
More information about the FOM