[FOM] Inconsistent systems.

[Bill Taylor]

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