Re: What Are the Ways to Define a Set? (Key Question in MetaMathematics)

On Mar 23, 9:44 am, PHPBABY3 <shymath...@xxxxxxxxx> wrote:
On Mar 23, 8:05 am, Aatu Koskensilta <aatu.koskensi...@xxxxxx> wrote:

You're misunderstanding Charlie here. He is suggesting we may define a
set by stipulating its members are the strings accepted by this or
that Turing machine. It is an important discovery.

Thanks.  I made it while considering how to apply my axiomatization of
Program Synthesis to other branches of Computer Science.

That's Charlie's big head for you. The compliment went straight to it
but that the compliment was meant ironicically went right over it.

MoeBlee
.