<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix"><span style="font-family:"Times
New Roman",serif" lang="EN-US">FIS Colleagues:</span><br>
<br>
I offer an alternative view of the Barber’s Paradox. The term:
barber does not refer to a person per se. Rather it refers to a
relationship between two persons, one of whom, when shaving
another, has the role: barber. By extension, a barber is a
person who provides that service. When I provide shaving
services to others, I am a barber; when I shave myself, I am not a
barber. The paradox arises from not recognizing that persons and
roles are different entities. With the following rephrasing,
there is no paradox.<br>
<br>
Bob, being the only barber in town, shaves all and only
those men who do not shave themselves. <br>
<br>
Changing the subject from a service-provider role to a person
makes it is clear that Bob is one of the men who shaves himself.
<br>
<br>
<br>
John Grisinger<br>
<br>
<br>
On 10/22/2017 6:42 AM, Bruno Marchal wrote:<br>
</div>
<blockquote type="cite"
cite="mid:B52E9780-9FCF-41F9-A70B-AD68DB81D158@ulb.ac.be">Dear
Krassimir and FIS Colleagues,
<br>
<blockquote type="cite">It is time for my second post this week.
<br>
<br>
First of all I am glad to participate in such very interesting
discussion!
<br>
<br>
Thank you for the nice posts.
<br>
<br>
More than 25 years ago, working on the new theory, I had to
solve the
<br>
problem with concept of entity which has information activity.
There were
<br>
many candidates for such concept: “robot”, “agent”, “intelligent
agent”,
<br>
“interpreter”, “subject”, “information subject”, “intelligent
subject”,
<br>
etc. Every such concept had its own history and many domains of
meanings
<br>
which caused many misunderstandings.
<br>
In the same time, if one had a single meaning then it couldn’t
be applied
<br>
to all entities with information activity. For instance, concept
“robot”
<br>
is not good to be used for a human.
<br>
<br>
Because of this, we had proposed a new word: “INFOS”, which had
no meaning
<br>
in advance and may be defined freely without misunderstandings.
I shall
<br>
use it in my further posts.
<br>
<br>
I do not want to define it now. Step by step its meaning will
arise from
<br>
what I shall write. In many discussions till now, I had seen
that this
<br>
approach is the best way to introduce a new concept.
<br>
<br>
***
<br>
<br>
I want specially to thank Bruno for his post from 18.10.2017
about
<br>
“Self-reference”!
<br>
</blockquote>
<br>
Thank you.
<br>
<br>
<blockquote type="cite">
<br>
For me, it is very important it to be analyzed. I shall do this
on the
<br>
basis of an example.
<br>
<br>
Not all kinds of self-reference concern information activity and
Infos.
<br>
But, if at least one case exists, then we have to analyze it.
<br>
<br>
Such case, for instance, is the Barber paradox: A barber (who is
a man)
<br>
shaves all and only those men who do not shave themselves. Does
he shave
<br>
himself?
<br>
<br>
This paradox exists only in “3D” mathematical world based on
triad
<br>
(x, y, f)
<br>
or, in other writings: (x, f, y), y=f(x), etc.
<br>
(there are several nice publications of Mark Burgin about triads
!).
<br>
<br>
I.e. paradox exists only if we ignore the fact that the Barber
is a human.
<br>
<br>
The paradox could not exist in the “4D” world of informatics
where we have
<br>
quadruple (x, y, f, I) or, in other words, for Infos “I”, “y” is
<br>
information about “x” because of evidence “f”.
<br>
<br>
What is happen when the Barber shaves someone?
<br>
<br>
At the first place, it is a direct collecting, by eyes, the data
about the
<br>
place where the razor has to be put to shave.
<br>
<br>
Have you ever seen a Blind barber?
<br>
<br>
NO! OK, this is a fundamental condition.
<br>
<br>
Not only Barber, but every human COULD NOT DIRECTLY COLLECT DATA
about
<br>
his/her face, head, or back.
<br>
<br>
In another case, for instance, we have to have eye on the end of
the nose
<br>
which has to be as long as the elephant trunk!
<br>
<br>
This means: the barber cannot shave himself because he could not
see where
<br>
to put the razor!
<br>
<br>
But every man can shave his beard! How he can do it?
<br>
Of course, everyone will say, by using a mirror!
<br>
<br>
But this is NOT DIRECT REFLECTION (data collecting).
<br>
It is TRANSITIVE SELF-REFLECTION via mirror!
<br>
<br>
Who does the barber shave: himself or the man in the mirror?
<br>
<br>
Of course, the second!!! Barber puts the razor on his own beard
and this
<br>
way he shaves the man in the mirror.
<br>
<br>
The Barber paradox does not exist if we take in account that the
barber is
<br>
a human (a kind of Infos) and needs data.
<br>
<br>
So, the answer of the question “Does he shave himself?“ is NO!,
he
<br>
doesn’t, he shaves the man in the mirror who do not shave
himself because
<br>
the razor is in the hand of barber and no paradox exists.
<br>
<br>
Simple question: What we really see in the mirror?
<br>
</blockquote>
<br>
<br>
Hmm... Let say a village exists where the barber shaves all and
only men who does not shave themselves (nor beard in that
village!).
<br>
<br>
Then we have the logical paradox. If he does not shave himself he
has to shave himself, by definition, and if he shaves himself, he
shaves someone shaving himself, which he can't do.
<br>
<br>
The solution of the paradox is simple: there is no such village.
(we cannot solve so easily the paradox of the set of all set which
do not belong to themselves, though).
<br>
<br>
The idea of adding a "time parameter" is good though, and that is
what make the notion of enumeration of all partal computable
functions possible, but with the price that the one everywhere
defined will be sparsed in an non computable way, leading to
incompleteness and intrinsic ignorance.
<br>
<br>
Yet, if we cannot build a machine comprehending its own semantics,
we can build a machine referring to any of its parts, including
the whole part of itself, by the use of the second recursion
theorem of Kleene, or Gödel self-reference.
<br>
The basic idea is elementary: you apply a duplicator to its self
description (in some universal machinery). If D'x' = 'x'x'', D'D'
gives 'D'D'' (with a reasonable notion of quoting). Similarly if
D'x' gives T('x'x''), D'D' gives T applied to itself T('D'D'').
With the term "human", you might have added a piece of non 3p
communicable insight, in which case you were referring, I guess,
partially at least, to the non nameable first person transported
by that 3p self. (in machines term: you have temporarily mixed []p
with []p&p, which of course looks quite alike for the ideally
sound machine, but it still obey different logics).
<br>
<br>
Best,
<br>
<br>
Bruno
<br>
<br>
PS a more practical question: is this post my second post of last
week, or my first post of next week? To which week sunday belongs?
<br>
<br>
<blockquote type="cite">Friendly greetings
<br>
Krassimir
<br>
<br>
_______________________________________________
<br>
Fis mailing list
<br>
<a class="moz-txt-link-abbreviated" href="mailto:Fis@listas.unizar.es">Fis@listas.unizar.es</a>
<br>
<a class="moz-txt-link-freetext" href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis">http://listas.unizar.es/cgi-bin/mailman/listinfo/fis</a>
<br>
</blockquote>
<br>
<a class="moz-txt-link-freetext" href="http://iridia.ulb.ac.be/~marchal/">http://iridia.ulb.ac.be/~marchal/</a>
<br>
<br>
_______________________________________________
<br>
Fis mailing list
<br>
<a class="moz-txt-link-abbreviated" href="mailto:Fis@listas.unizar.es">Fis@listas.unizar.es</a>
<br>
<a class="moz-txt-link-freetext" href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis">http://listas.unizar.es/cgi-bin/mailman/listinfo/fis</a>
<br>
<br>
</blockquote>
</body>
</html>