[FOM] Inconsistent systems.

Bill Taylor 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.

w taylor



More information about the FOM mailing list