[FOM] Inconsistent systems.
W.Taylor at math.canterbury.ac.nz
Sat Sep 30 01:19:05 EDT 2006
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.
More information about the FOM