[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