Re: Godel proved maths inconsistent not incompleteness theorem

Charlie-Boo <shymathguy@xxxxxxxxx> writes:

On Mar 11, 1:07 pm, Alan Smaill <sma...@xxxxxxxxxxxxxxxx> wrote:
Charlie-Boo <shymath...@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?

Name 2 authors who agree on what the ZF axioms are (or for that
matter, the CBL axioms).

For the first, Takeuti and Zaring.
For the second, how come *you* don't know?

where can I find the list of all CBL axioms?

Here:

1. Program Synthesis e.g. for PHP programs

"e.g." doesn't cut it.

So, there is no complete list of CBL axioms; far from being a dinky
little system like ZF, it's not even properly defined to start with.


--
Alan Smaill
.

Relevant Pages