Re: Contradiction or paradox

On May 22, 5:52 pm, G. Frege <nomail@invalid> wrote:
On 17 May 2007 14:33:31 -0700, Charlie-Boo <shymath...@xxxxxxxxx>
wrote:

"[CBL] is used to derive the shortest, simplest proof of Rosser's
extension to Godel's theorems published."

If this were true, would that be significant in of itself?

Sure, it would. But as it isn't true, the question is moot. :-)

What is shorter and simpler than "If the logic is consistent and
complete then the unprovable sentences coincide with the refutable
ones but the latter is r.e. while the former is not."?

Show us the complete range of your logical deductive prowess, now.
I'm listening:

C-B

F.

--

E-mail: info<at>simple-line<dot>de


.

Relevant Pages