Re: Godel proved maths inconsistent not incompleteness theorem

Charlie-Boo <shymathguy@xxxxxxxxx> writes:

On Mar 10, 4:04 pm, Alan Smaill <sma...@xxxxxxxxxxxxxxxx> wrote:
MoeBlee <jazzm...@xxxxxxxxxxx> writes:
On Mar 10, 12:11 pm, Charlie-Boo <shymath...@xxxxxxxxx> wrote:
On Mar 10, 6:47 am, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx>
wrote:

Be a sport,

When have I not?  (Unsubstantiated innuendo?)

(1) No, he didn't insinuate that you're not a sport. (2) But the
answer to your question includes such instances as never getting back
to me as to the purpose of your question about set theory that I
answered in full (our very first discussion), and not recognizing the
examples given to you of theorems of mathematics proven by ZFC.

By the way, did you ever figure out how to prove in Z set theory that
if a set and its complement are recursively enumerable then the set is
recursive?

got to be easy --
just feed it into CBL and turn the handle, AIUI.

What's with the Z? You want it in CBL? It's probably trivial. I
think it's an axiom, in fact.

you *think* it's an axiom?

where can I find the list of all CBL axioms?

C-B

MoeBlee


--
Alan Smaill
.

Relevant Pages

  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... to me as to the purpose of your question about set theory that I ... just feed it into CBL and turn the handle, AIUI. ... You want it in CBL? ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... and purpose. ... not an axiom in CBL. ... so I'm no George Carlin. ... The only joke in the neighborhood is your belief that CBL proves ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... concentrate on just one of the things that CBL can do and work from ... I think it would help to present CBL with regards to "Set Theory" only.. ... We can state most of the standard axioms of Set Theory pretty easily. ... I am not interested how CBL generate theorems of set theory. ...
    (sci.logic)
  • Re: Godel proved maths inconsistent not incompleteness theorem
    ... I find it hard to understand CBL because you usually give all the things ... I think it would help to present CBL with regards to "Set Theory" only. ... We can state most of the standard axioms of Set Theory pretty easily. ... You mean how do I generate theorems of set theory? ...
    (sci.logic)
  • Re: Some basic set theory questions
    ... remarks so that they can be generalized without reliance on some ... we don't need the axiom of infinity to prove there is ... virtually unanimously used in modern set theory textbooks) to prove ... that I'm talking about ordinary Z set theories. ...
    (sci.math)
Quantcast