Re: The seven step series

2009-07-12 Thread John Mikes
Dear Bruno,
when I looked at the set-analysis it immediately popped up that {1,3} was
missing, - YET - this *fantastic* discovery of mine did not bring me
closer to the idea "what are numbers".
It seems I can win the battle and still lose the war.
John

On Wed, Jul 8, 2009 at 9:05 PM, m.a.  wrote:

>  *Here's my third try. I'll continue working on the (power x) problem.
> m.a.*
>
>  - Original Message -
> *From:* Bruno Marchal 
> *To:* everything-list@googlegroups.com
>  *Sent:* Wednesday, July 08, 2009 1:31 PM
> *Subject:* Re: The seven step series
>
>
>  On 08 Jul 2009, at 15:43, m.a. wrote:
>
>  *Second try:*
>
> (power {1, 2, 3}) = ? *{{ }, {1}, {2}, {3}, {1,2}, {2,3}, {1,2,3}}*
> **
>
> *   Third try: *
> **
> * =   {{ }, {1}, {2}, {3}, {1,2},
> {2,3}, {1,2,3}, {{ },1,2,3}}*
> This is far better!  Not yet correct though.
>
> I gave you the hint that there are 8 elements. Let us count:
>
> The empty set { }  ..1
> Three singletons {1}, {2}, {3}3
> Two doubletons {1,2 }, {2,3 }2
> The biggest subset  {1,2,3}..1
>
> 1 + 3 + 2 + 1 = 7
>
> A subset is missing! Can you see which one?
>
>
>>
>

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en
-~--~~~~--~~--~--~---



Re: The seven step series

2009-07-12 Thread Bruno Marchal


On 10 Jul 2009, at 22:52, Johnathan Corgan wrote:

>
> On Fri, 2009-07-10 at 22:24 +0200, Bruno Marchal wrote:
>
>> I suddenly feel sorry putting too much burden on just one
>> correspondent in the list, and I would appreciate if someone else
>> could propose answers or any remarks to the exercises.
>
> Bruno--you're doing great.  I think it is the case where silence means
> "I understand, continue", rather than disinterest.

Well, thanks, OK, perhaps.


>
>
>> There is also some sort of burden onto me, because it is hard to
>> explain "the real thing" concerning the seventh step, without
>> explaining or just illustrating at least some relevant portion of the
>> mathematical reality: mainly the unexpected mathematical discovery of
>> the universal functions, sets, numbers, systems, language,  
>> machine ...
>> I don't mention the absence of drawing ability which does not help.
>
> The derivation of your thesis from first principles is a very  
> compelling
> idea.  The somewhat startling and unorthodox conclusions you espouse  
> are
> bound to cause confusion unless all their underpinnings are well
> understood.

There are two things. Understanding the conclusions, and understanding  
how we get to them.
Many variations are possible in between are possible for varied  
audience.




> The arguments from others then can have a much more
> specific target than the top-level conclusions; instead they will come
> out earlier in the derivation process and at the time of  
> introduction of
> the controversial subject.

But what is controversial? I have never heard about something  
controversial seen in the reasoning. The conclusion are astonishing,  
and certainly annoying for someone who believes "religiously" in both  
physicalism and digital mechanism.
The subject matter was controversial a long time ago, but today, it is  
no more, I think. Well, it depends on which circle. That something  
appears in the academy (like studies on consciousness, does not mean  
that all academicians understand the questioning there, alas).
I have heard that the first person indeterminacy, which is my mean  
early contribution, is controversial, but I have never seen any  
controversy on it, just sometimes, some discussion on the vocabulary  
or definition, which does not change any conclusion.
The subject matter is difficult, so it easier for the "religious"  
people (like convinced atheists, to be clear) to speculate about some  
difficulties they don't even try to single out.
I proceed in the scientific way, which means that I just ask  
questions, and anyone can verify what follows from what, or interrupt  
and present an objection. Up to now, none of the "real" objections  
presented were fatal, and eventually those reduce also to a problem of  
vocabulary.



>
>
>> The knowledge of most people participating to the discussion is very
>> varied, due to the extreme transdiciplinarity of the subject, and the
>> interest it can evidently have for the layman (and indeed, for any
>> universal machine).
>
> While I do have training in math and physics, I still benefit from  
> your
> targeting the motivated layman.  Personally, I'm not interested in  
> doing
> the exercises on the list, but they are still useful to check my
> understanding.

OK.


>
>
>> Best regards to all of you, and thanks for letting me know your
>> interests,
>
> By all means, proceed.  Personally, if I don't understand something or
> have an objection, you'll hear about it on the list, but I think you
> should take silence as assent.

If only silence could be assent!
But I am willing to take yours as such and I will proceed.

Best,

Bruno



http://iridia.ulb.ac.be/~marchal/




--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en
-~--~~~~--~~--~--~---



Re: The seven step series

2009-07-12 Thread Bruno Marchal

On 12 Jul 2009, at 17:28, John Mikes wrote:

> Dear Bruno,
> when I looked at the set-analysis it immediately popped up that  
> {1,3} was missing, -


Good!




> YET - this fantastic discovery of mine did not bring me closer to  
> the idea "what are numbers".


And, assuming comp, you never will. None of us will. Sets can provide  
a nice representation of the numbers, which I have already given some  
times ago, but for now, I prefer to take the numbers as basic  
entities. Sets are more complex entities than numbers, in general.

What are the numbers? I can give you only some hints, like zero is the  
number of matches in a empty box, one is the number of matches in a  
box having one match in, and so on ...

About the "and so on ... " I can only hope you have been enough  
trained in high school to have an idea.

I cannot explain really what are numbers, but, if you assume the comp  
theory,  I can explain "completely", from it,  why numbers develop  
beliefs in galaxies, get conscious, makes a big variety of dreams, and  
eventually realize why they will never knows what numbers are, and  
what they are capable of.

Number are the necessary mystery, from which we start. What I like in  
comp, is that it explains why the numbers have to be a mystery.

Bruno




> It seems I can win the battle and still lose the war.
> John
>
> On Wed, Jul 8, 2009 at 9:05 PM, m.a.  wrote:
> Here's my third try. I'll continue working on the (power x)  
> problem.   m.a.
> - Original Message -
> From: Bruno Marchal
> To: everything-list@googlegroups.com
> Sent: Wednesday, July 08, 2009 1:31 PM
> Subject: Re: The seven step series
>
>
> On 08 Jul 2009, at 15:43, m.a. wrote:
>
>> Second try:
>>> (power {1, 2, 3}) = ? {{ }, {1}, {2}, {3}, {1,2}, {2,3}, {1,2,3}}
>>>
>
>Third try:
>  =   {{ }, {1}, {2}, {3},  
> {1,2}, {2,3}, {1,2,3}, {{ },1,2,3}}
>
> This is far better!  Not yet correct though.
>
> I gave you the hint that there are 8 elements. Let us count:
>
> The empty set { }  ..1
> Three singletons {1}, {2}, {3}3
> Two doubletons {1,2 }, {2,3 }2
> The biggest subset  {1,2,3}..1
>
> 1 + 3 + 2 + 1 = 7
>
> A subset is missing! Can you see which one?
>
>
>>
>> >>

http://iridia.ulb.ac.be/~marchal/




--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en
-~--~~~~--~~--~--~---



Re: The seven step series

2009-07-12 Thread Mirek Dobsicek

Hi Bruno,

I'd like to let you know that I'm following the serie of your letters.
While I have the background you are covering right now, I still enjoy
your insights.

I joined the list like two years ago and from that time I've read most
of your key papers. Honestly, it is not the easiest stuff to read
style-wise. You try to precise, define well, etc. yet it cannot really
be compared to the quality of, let us say, Physical Review Letters and
alike articles. In my opinion, that is why it is hard to either agree or
disagree with your thesis.

I can imagine that right now you are tempted to write something along
the lines
a\ I just propose to take Church thesis seriously
b\ All I ask you is 'Do you say yes to the doctor?
While valid proposal and question, there is really not much to agree
with/disagree with/critize unless one is willing to undertake long
discussions, clarifications and position adjustments.


Anyway, your papers and letters are really a great source of ideas to
think about and that is exactly what I do. From the day one on the list
I keep myself busy with the question of "Why should I believe in the
Church thesis" (you see, I don't write "Why do I ..."). I've got into
the writing of Bernard Bolzano (I consider his work cruicial in order to
keep an open mind about the Cantor diagonal argument) ..
 - and now back to the beginning of my letter -
Bolzano (Cantor), your insights and thinking about alternatives at any
moment make me pretty happy. Thanks!

Mirek

PS: I'd love to read a book by Bruno Marchal.



Bruno Marchal wrote:
> Hi all,
> 
> I suddenly feel sorry putting too much burden on just one  
> correspondent in the list, and I would appreciate if someone else  
> could propose answers or any remarks to the exercises.

--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en
-~--~~~~--~~--~--~---