where:
♣ clubs (wands) =Fire, spiritual, tactile
♠ spades (swords) = Air, mental, auditory
♥ hearts (cups) =Water, emotional, visual
♦ diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
Note that tactile and auditory modalities tune us into ourselves and each others sensemaking (selves and minds), while the visual and olfactory/gustatory sense modalities are about objectifying realism of the world (egos or objectified selves/self-images and bodies). It should be obvious that ♣ clubs (wands) and ♠ spades (swords) are stereotypically masculine and abstracting forces, while ♥ hearts (cups) and ♦ diamonds (pentacles/coins) are stereotypically feminine objectified fields.
Sorry for the mumbo jumbo, but it is the only way to be non-reductive when approaching the qualitative side. We can't pretend to talk about the eidetic, dream like perpendicular of number logic while using the purely empirical terms of arithmetic reduction. We need symbols that can only refer to named qualities rather than enumerated quantities.
Let the ignoring and insulting begin!
Craig
I was thinking about your primitive of arithmetic truth (numbers, 0,
+, and *, right?) and then your concept of ‘the dreams of numbers’,
interviewing Lobian Machines, etc and came up with this.
One
single irreducible digit ॐ (Om) which represents a self-dividing
continuum of infinite perpendicular dialectics between eidetic dream
states (in which dream~numbers escape their numerical identities as
immersive qualitative experiences) and entopic non-dream states (in
which number~dreams escape their dream nature as literal
algebra-geometries).
This continuum f (ॐ(Om)), runs from infinitely solipsistic/private first person subjectivity (calling that Aleph ℵ)to infinitely discrete/public third person mechanism (calling that Omega Ω), so that at ℵ,any given dream is experienced as 99.99…9% dream and 0.00…1% number and at Ω (Omega), any given machine or number is presented as 99.99…9% number and 0.00…1% dream.
The halfway point between the ℵ (Aleph) and Ω
(Omega) axis is the perpendicular axis f (-ॐ(Om)) which is the high and low
correspondence between the literal dream and figurative number (or
figurative dream and literal number depending on whether you are using
the dream-facing epistemology or the number-facing epistemology). This
axis runs from tight equivalence (“=” equality) to broadly elliptical
potential set membership (“…” ellipsis)
So it looks something like this:
f(ॐ) ⊇ {ℵ “…” ⊥ “=” Ω}
function (Om) is superset or equal to the continuum ranging from
Aleph to ellipsis perpendicular/orthogonal to the inverse range from
equality to Omega).
To go further, it could be said that at Ω(Omega), ॐ (Om) expresses as 10|O (one, zero, line segment, circle referring to the quantitative algebraic and geometric perpendicular primitives) while at ℵ (Aleph), ॐ (Om) expresses as
יהוה (tetragrammaton or yod, hay, vov, hay, or in perhaps more familiar metaphor, ♣♠♥♦(clubs, spades, hearts, diamonds)
----- Receiving the following content -----From: Craig WeinbergReceiver: everything-listTime: 2012-08-15, 05:05:44Subject: Reconciling Bruno's Primitives with Multisense
Hi Bruno,
I was thinking about your primitive of arithmetic truth (numbers, 0, +, and *, right?) and then your concept of 'the dreams of numbers', interviewing Lobian Machines, etc and came up with this.
One single irreducible digit 锟斤拷 which represents a self-dividing continuum of infinite perpendicular dialectics between eidetic dream states (in which dream~numbers escape their numerical identities as immersive qualitative experiences) and entopic non-dream states (in which number~dreams escape their dream nature as literal algebra-geometries).
This continuum f(锟斤拷), runs from infinitely solipsistic/private first person subjectivity (calling that Aleph 锟斤拷) to infinitely discrete/public third person mechanism (calling that Omega 锟斤拷), so that at 锟斤拷,any given dream is experienced as 99.99...9% dream and 0.00...1% number and at 锟斤拷, any given machine or number is presented as 99.99...9% number and 0.00...1% dream.
The halfway point between the 锟斤拷 and 锟斤拷 axis is the perpendicular axis f(-锟斤拷) which is the high and low correspondence between the literal dream and figurative number (or figurative dream and literal number depending on whether you are using the dream-facing epistemology or the number-facing epistemology). This axis runs from tight equivalence ("=") to broadly elliptical potential set membership ("...")
So it looks something like this:
f(锟斤拷) 锟斤拷 {锟斤拷 "..." 锟斤拷 "=" 锟斤拷}
To go further, it could be said that at 锟斤拷(Omega), 锟斤拷 (Om) expresses as 10|O (one, zero, line segment, circle referring to the quantitative algebraic and geometric perpendicular primitives) while at 锟斤拷 (Aleph), 锟斤拷(Om) expresses as
锟斤拷锟斤拷锟斤拷锟斤拷 (tetragrammaton or yod, hay, vov, hay, or in perhaps more familiar metaphor, 锟斤拷锟斤拷锟斤拷锟斤拷(clubs, spades, hearts, diamonds)
where:
锟斤拷 clubs (wands) =Fire, spiritual, tactile
锟斤拷 spades (swords) = Air, mental, auditory
锟斤拷 hearts (cups) =Water, emotional, visual
锟斤拷 diamonds (pentacles/coins) = Earth, physical, olfactory-gustatoryNote that tactile and auditory modalities tune us into ourselves and each others sensemaking (selves and minds), while the visual and olfactory/gustatory sense modalities are about objectifying realism of the world (egos or objectified selves/self-images and bodies). It should be obvious that 锟斤拷 clubs (wands) and 锟斤拷 spades (swords) are stereotypically masculine and abstracting forces, while 锟斤拷 hearts (cups) and 锟斤拷 diamonds (pentacles/coins) are stereotypically feminine objectified fields.
Sorry for the mumbo jumbo, but it is the only way to be non-reductive when approaching the qualitative side. We can't pretend to talk about the eidetic, dream like perpendicular of number logic while using the purely empirical terms of arithmetic reduction. We need symbols that can only refer to named qualities rather than enumerated quantities.
Let the ignoring and insulting begin!
Craig
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/1BiqAleIH0kJ.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of ‘the dreams of
> numbers’, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit ॐ (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
>
> This continuum f (ॐ(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph ℵ)to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ℵ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of Gödel and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (Löbian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
Bruno
http://iridia.ulb.ac.be/~marchal/
----- Receiving the following content -----From: Craig WeinbergReceiver: everything-list
Time: 2012-08-17, 12:35:03Subject: Re: The I Ching, a cominatorically complete hyperlinked semantic field(mind).
One single irreducible digit which represents a self-dividing continuum of infinite perpendicular dialectics between eidetic dream states (in which dream~numbers escape their numerical identities as immersive qualitative experiences) and entopic non-dream states (in which number~dreams escape their dream nature as literal algebra-geometries).
This continuum f( ), runs from infinitely solipsistic/private first person subjectivity (calling that Aleph ) to infinitely discrete/public third person mechanism (calling that Omega ), so that at ,any given dream is experienced as 99.99...9% dream and 0.00...1% number and at , any given machine or number is presented as 99.99...9% number and 0.00...1% dream.
The halfway point between the and axis is the perpendicular axis f(- ) which is the high and low correspondence between the literal dream and figurative number (or figurative dream and literal number depending on whether you are using the dream-facing epistemology or the number-facing epistemology). This axis runs from tight equivalence ("=") to broadly elliptical potential set membership ("...")
So it looks something like this:
f( ) { "..." "=" }
To go further, it could be said that at (Omega), (Om) expresses as 10|O (one, zero, line segment, circle referring to the quantitative algebraic and geometric perpendicular primitives) while at (Aleph), (Om) expresses as
(tetragrammaton or yod, hay, vov, hay, or in perhaps more familiar metaphor, (clubs, spades, hearts, diamonds)
where:
clubs (wands) =Fire, spiritual, tactile
spades (swords) = Air, mental, auditory
hearts (cups) =Water, emotional, visual
diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
Note that tactile and auditory modalities tune us into ourselves and each others sensemaking (selves and minds), while the visual and olfactory/gustatory sense modalities are about objectifying realism of the world (egos or objectified selves/self-images and bodies). It should be obvious that clubs (wands) and spades (swords) are stereotypically masculine and abstracting forces, while hearts (cups) and diamonds (pentacles/coins) are stereotypically feminine objectified fields.
Sorry for the mumbo jumbo, but it is the only way to be non-reductive when approaching the qualitative side. We can't pretend to talk about the eidetic, dream like perpendicular of number logic while using the purely empirical terms of arithmetic reduction. We need symbols that can only refer to named qualities rather than enumerated quantities.
Let the ignoring and insulting begin!
Craig
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/1BiqAleIH0kJ.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/IeeEQl5Je5QJ.
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of ‘the dreams of
> numbers’, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit ॐ (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
Think of it like π, except that instead of circumference and diameter, there is eidetic-figurative and entopic-literal presentation modalities.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?
Why would it need any other form - especially if it is all made of numbers?
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).
>
> This continuum f (ॐ(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph ℵ)to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ℵ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of Gödel and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (Löbian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/wpi1rDQ5fT8J.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
----- Receiving the following content -----
From: Bruno MarchalReceiver: everything-listTime: 2012-08-18, 05:59:32Subject: Re: Reconciling Bruno's Primitives with Multisense
On 17 Aug 2012, at 19:15, Craig Weinberg wrote:
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of 锟斤拷the dreams of
> numbers锟斤拷, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit 锟斤拷 (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
Think of it like 锟斤拷, except that instead of circumference and diameter, there is eidetic-figurative and entopic-literal presentation modalities.
Pi = ratio of the length or a circle and its diameter. That is understandable."eidetic-figurative and entropic-literal presentation modalities." is not.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would it need any other form - especially if it is all made of numbers?Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?It is a logical consequence, once you accept the idea that you might survive with a digital brain.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).I don't believe in time, space, cosmos, matter, ...I explain their appearance by the dream property of numbers, relatively to universal numbers.
>
> This continuum f (锟斤拷(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph 锟斤拷)to infinitely
> discrete/public third person mechanism (calling that Omega 锟斤拷), so
> that at 锟斤拷,any given dream is experienced as 99.99锟斤拷9% dream and
> 0.00锟斤拷1% number and at 锟斤拷 (Omega), any given machine or number is
> presented as 99.99锟斤拷9% number and 0.00锟斤拷1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.
That makes some sense.
>
> The halfway point between the 锟斤拷 (Aleph) and 锟斤拷 (Omega) axis is the
> perpendicular axis f (-锟斤拷(Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (锟斤拷=锟斤拷
> equality) to broadly elliptical potential set membership (锟斤拷锟斤拷锟斤拷
> ellipsis)
>
> So it looks something like this:
>
> f(锟斤拷) 锟斤拷 {锟斤拷 锟斤拷锟斤拷锟斤拷 锟斤拷 锟斤拷=锟斤拷 锟斤拷}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at 锟斤拷(Omega), 锟斤拷 (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at 锟斤拷 (Aleph), 锟斤拷 (Om) expresses as
> 锟斤拷锟斤拷锟斤拷锟斤拷 (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, 锟斤拷锟斤拷锟斤拷锟斤拷(clubs, spades, hearts, diamonds)
>
> where:
>
> 锟斤拷 clubs (wands) =Fire, spiritual, tactile
> 锟斤拷 spades (swords) = Air, mental, auditory
> 锟斤拷 hearts (cups) =Water, emotional, visual
> 锟斤拷 diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that 锟斤拷 clubs (wands) and 锟斤拷 spades (swords) are
> stereotypically masculine and abstracting forces, while 锟斤拷 hearts
> (cups) and 锟斤拷 diamonds (pentacles/coins) are stereotypically
> feminine objectified fields.
>
> Sorry for the mumbo jumbo, but it is the only way to be non-
> reductive when approaching the qualitative side.
>
I don't think so. Aristotle invented modal logic to treat in the
quantitative way non reductive qualitative notion.
What I am saying though is that *any quantitative treatment of qualitative experience is an unrecoverably catastrophic reduction*.
I agree with this. Comp prevents to do such a reduction about what a machine can be and can be capable of.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.Why meaningless?
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
> We can锟斤拷t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).
?
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of G锟斤拷del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L锟斤拷bian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.
I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.I know. You are wise. And we agree on many things, but we are working in antipodal theories. I think you have reductionist conception of machine, to be franc.Bruno
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of 锟斤拷the dreams of
> numbers锟斤拷, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit 锟斤拷 (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
>
> This continuum f (锟斤拷(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph 锟斤拷)to infinitely
> discrete/public third person mechanism (calling that Omega 锟斤拷), so
> that at 锟斤拷,any given dream is experienced as 99.99锟斤拷9% dream and
> 0.00锟斤拷1% number and at 锟斤拷 (Omega), any given machine or number is
> presented as 99.99锟斤拷9% number and 0.00锟斤拷1% dream.
>
?
>
> The halfway point between the 锟斤拷 (Aleph) and 锟斤拷 (Omega) axis is the
> perpendicular axis f (-锟斤拷(Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (锟斤拷=锟斤拷
> equality) to broadly elliptical potential set membership (锟斤拷锟斤拷锟斤拷
> ellipsis)
>
> So it looks something like this:
>
> f(锟斤拷) 锟斤拷 {锟斤拷 锟斤拷锟斤拷锟斤拷 锟斤拷 锟斤拷=锟斤拷 锟斤拷}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at 锟斤拷(Omega), 锟斤拷 (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at 锟斤拷 (Aleph), 锟斤拷 (Om) expresses as
> 锟斤拷锟斤拷锟斤拷锟斤拷 (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, 锟斤拷锟斤拷锟斤拷锟斤拷(clubs, spades, hearts, diamonds)
>
> where:
>
> 锟斤拷 clubs (wands) =Fire, spiritual, tactile
> 锟斤拷 spades (swords) = Air, mental, auditory
> 锟斤拷 hearts (cups) =Water, emotional, visual
> 锟斤拷 diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that 锟斤拷 clubs (wands) and 锟斤拷 spades (swords) are
> stereotypically masculine and abstracting forces, while 锟斤拷 hearts
> (cups) and 锟斤拷 diamonds (pentacles/coins) are stereotypically
> feminine objectified fields.
>
> Sorry for the mumbo jumbo, but it is the only way to be non-
> reductive when approaching the qualitative side.
>
I don't think so. Aristotle invented modal logic to treat in the
quantitative way non reductive qualitative notion.
> We can锟斤拷t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of G锟斤拷del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L锟斤拷bian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/wpi1rDQ5fT8J.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
Hi Bruno MarchalBTW how can they know if the calculation of pi is very precise if theydon't really know beforehand what its precise value should be ?
Roger , rcl...@verizon.net8/18/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Bruno MarchalReceiver: everything-listTime: 2012-08-18, 05:59:32Subject: Re: Reconciling Bruno's Primitives with Multisense
On 17 Aug 2012, at 19:15, Craig Weinberg wrote:
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of ‘the dreams of
> numbers’, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
Think of it like π, except that instead of circumference and diameter, there is eidetic-figurative and entopic-literal presentation modalities.
Pi = ratio of the length or a circle and its diameter. That is understandable."eidetic-figurative and entropic-literal presentation modalities." is not.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would it need any other form - especially if it is all made of numbers?Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?It is a logical consequence, once you accept the idea that you might survive with a digital brain.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).I don't believe in time, space, cosmos, matter, ...I explain their appearance by the dream property of numbers, relatively to universal numbers.
>
> This continuum f ( (Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph )to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.
That makes some sense.
>
> The halfway point between the (Aleph) and Ω (Omega) axis is the
> perpendicular axis f (- (Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (“=”
> equality) to broadly elliptical potential set membership (“…”
> ellipsis)
>
> So it looks something like this:
>
> f( ) { “…” ⊥ “=” Ω}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at Ω(Omega), (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at (Aleph), (Om) expresses as
> (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, (clubs, spades, hearts, diamonds)
>
> where:
>
> clubs (wands) =Fire, spiritual, tactile
> spades (swords) = Air, mental, auditory
> hearts (cups) =Water, emotional, visual
> diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that clubs (wands) and spades (swords) are
> stereotypically masculine and abstracting forces, while hearts
> (cups) and diamonds (pentacles/coins) are stereotypically
> feminine objectified fields.
>
> Sorry for the mumbo jumbo, but it is the only way to be non-
> reductive when approaching the qualitative side.
>
I don't think so. Aristotle invented modal logic to treat in the
quantitative way non reductive qualitative notion.
What I am saying though is that *any quantitative treatment of qualitative experience is an unrecoverably catastrophic reduction*.
I agree with this. Comp prevents to do such a reduction about what a machine can be and can be capable of.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.Why meaningless?
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).
?
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of G del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L bian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.
I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.I know. You are wise. And we agree on many things, but we are working in antipodal theories. I think you have reductionist conception of machine, to be franc.Bruno
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of ‘the dreams of
> numbers’, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
>
> This continuum f ( (Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph )to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
>
> The halfway point between the (Aleph) and Ω (Omega) axis is the
> perpendicular axis f (- (Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (“=”
> equality) to broadly elliptical potential set membership (“…”
> ellipsis)
>
> So it looks something like this:
>
> f( ) { “…” ⊥ “=” Ω}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at Ω(Omega), (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at (Aleph), (Om) expresses as
> (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, (clubs, spades, hearts, diamonds)
>
> where:
>
> clubs (wands) =Fire, spiritual, tactile
> spades (swords) = Air, mental, auditory
> hearts (cups) =Water, emotional, visual
> diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that clubs (wands) and spades (swords) are
> stereotypically masculine and abstracting forces, while hearts
> (cups) and diamonds (pentacles/coins) are stereotypically
> feminine objectified fields.
>
> Sorry for the mumbo jumbo, but it is the only way to be non-
> reductive when approaching the qualitative side.
>
I don't think so. Aristotle invented modal logic to treat in the
quantitative way non reductive qualitative notion.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of G del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L bian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/wpi1rDQ5fT8J.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
Roger:
The same question can be asked of you. Thus,
How can you know if your calculation of pi is precise without your having prior knowledge of that value?
By whatever mechanism you use to obtain precious precision, the computer can act the same.
wrb
From: everyth...@googlegroups.com [mailto:everyth...@googlegroups.com] On Behalf Of Roger
Sent: Saturday, August 18, 2012 6:51 AM
To: everything-list
Subject: On calculating pi
Hi Bruno Marchal
BTW how can they know if the calculation of pi is very precise if they
don't really know beforehand what its precise value should be ?
Roger , rcl...@verizon.net
8/18/2012
Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----
From: Bruno Marchal
Receiver: everything-list
Time: 2012-08-18, 05:59:32
Subject: Re: Reconciling Bruno's Primitives with Multisense
On 17 Aug 2012, at 19:15, Craig Weinberg wrote:
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of ‘the dreams of
> numbers’, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
Think of it like π, except that instead of circumference and diameter, there is eidetic-figurative and entopic-literal presentation modalities.
Pi = ratio of the length or a circle and its diameter. That is understandable.
"eidetic-figurative and entropic-literal presentation modalities." is not.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?
Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?
To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would it need any other form - especially if it is all made of numbers?
Nobody needs a universe. Why do we do babies?
The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?
It is a logical consequence, once you accept the idea that you might survive with a digital brain.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?
Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).
I don't believe in time, space, cosmos, matter, ...
I explain their appearance by the dream property of numbers, relatively to universal numbers.
>
> This continuum f ( (Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph
)to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.
That makes some sense.
>
> The halfway point between the (Aleph) and Ω (Omega) axis is the
> perpendicular axis f (- (Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (“=”
> equality) to broadly elliptical potential set membership (“…”
> ellipsis)
>
> So it looks something like this:
>
> f( ) { “…” ⊥ “=” Ω}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at Ω(Omega), (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at (Aleph), (Om) expresses as
> (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, (clubs, spades, hearts, diamonds)
>
> where:
>
> clubs (wands) =Fire, spiritual, tactile
> spades (swords) = Air, mental, auditory
> hearts (cups) =Water, emotional, visual
> diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that clubs (wands) and spades (swords) are
> stereotypically masculine and abstracting forces, while hearts
> (cups) and diamonds (pentacles/coins) are stereotypically
> feminine objectified fields.
>
> Sorry for the mumbo jumbo, but it is the only way to be non-
> reductive when approaching the qualitative side.
>
I don't think so. Aristotle invented modal logic to treat in the
quantitative way non reductive qualitative notion.
What I am saying though is that *any quantitative treatment of qualitative experience is an unrecoverably catastrophic reduction*.
I agree with this. Comp prevents to do such a reduction about what a machine can be and can be capable of.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.
Why meaningless?
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.
No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.
You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).
?
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.
But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?
The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of G del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L bian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.
I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.
I know. You are wise. And we agree on many things, but we are working in antipodal theories. I think you have reductionist conception of machine, to be franc.
Bruno
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of ‘the dreams of
> numbers’, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
>
> This continuum f ( (Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph
)to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
>
> The halfway point between the (Aleph) and Ω (Omega) axis is the
> perpendicular axis f (- (Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (“=”
> equality) to broadly elliptical potential set membership (“…”
> ellipsis)
>
> So it looks something like this:
>
> f( ) { “…” ⊥ “=” Ω}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at Ω(Omega), (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at (Aleph), (Om) expresses as
> (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, (clubs, spades, hearts, diamonds)
>
> where:
>
> clubs (wands) =Fire, spiritual, tactile
> spades (swords) = Air, mental, auditory
> hearts (cups) =Water, emotional, visual
> diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that clubs (wands) and spades (swords) are
> stereotypically masculine and abstracting forces, while hearts
> (cups) and diamonds (pentacles/coins) are stereotypically
> feminine objectified fields.
>
> Sorry for the mumbo jumbo, but it is the only way to be non-
> reductive when approaching the qualitative side.
>
I don't think so. Aristotle invented modal logic to treat in the
quantitative way non reductive qualitative notion.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of G del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L bian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/wpi1rDQ5fT8J.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
>how can they know if the calculation of pi is very precise if theydon't really know beforehand what its precise value should be ?
----- Receiving the following content -----From: Bruno MarchalReceiver: everything-list
Time: 2012-08-18, 10:24:08Subject: Re: On calculating pi
On 18 Aug 2012, at 15:50, Roger wrote:
Hi Bruno MarchalBTW how can they know if the calculation of pi is very precise if theydon't really know beforehand what its precise value should be ?Because PI is a clear concept, and you can prove that some algorithm computes its exact value, as Archimedes was already aware.For example, you can prove (convince yourself) that the sequence of [perimeter of regular polygons divided by they greatest diagonal] will get closer and closer to PI when the number of sides is bigger and bigger, and so you can compute PI exactly. Intuitively you might be able to conceive that a regular (symmetrical) polygon having a large number of side looks like a circle, and its greatest diagonal looks like a diameter.The same for sqrt(2), e, gamma, etc. Those are known as constructive or computable real numbers, and can be (re)defined as computable function from N to N, for example the function given the nth decimal, or more sophisticate one to ensure that the addition and multiplication of constructive real numbers give constructive real numbers (which is not the case with the simple minded definition I just gave).By Cantor non-enumerability theorem, the computable real numbers constitute a minority among all real numbers.Bruno
Roger , rcl...@verizon.net8/18/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Bruno MarchalReceiver: everything-listTime: 2012-08-18, 05:59:32Subject: Re: Reconciling Bruno's Primitives with Multisense
On 17 Aug 2012, at 19:15, Craig Weinberg wrote:
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of 锟斤拷the dreams of
> numbers锟斤拷, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit 锟斤拷 (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
Think of it like 锟斤拷, except that instead of circumference and diameter, there is eidetic-figurative and entopic-literal presentation modalities.
Pi = ratio of the length or a circle and its diameter. That is understandable."eidetic-figurative and entropic-literal presentation modalities." is not.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would it need any other form - especially if it is all made of numbers?Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?It is a logical consequence, once you accept the idea that you might survive with a digital brain.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).I don't believe in time, space, cosmos, matter, ...I explain their appearance by the dream property of numbers, relatively to universal numbers.
>
> This continuum f (锟斤拷(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph 锟斤拷)to infinitely
> discrete/public third person mechanism (calling that Omega 锟斤拷), so
> that at 锟斤拷,any given dream is experienced as 99.99锟斤拷9% dream and
> 0.00锟斤拷1% number and at 锟斤拷 (Omega), any given machine or number is
> presented as 99.99锟斤拷9% number and 0.00锟斤拷1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.
That makes some sense.
>
> The halfway point between the 锟斤拷 (Aleph) and 锟斤拷 (Omega) axis is the
> perpendicular axis f (-锟斤拷(Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (锟斤拷=锟斤拷
> equality) to broadly elliptical potential set membership (锟斤拷锟斤拷锟斤拷
> ellipsis)
>
> So it looks something like this:
>
> f(锟斤拷) 锟斤拷 {锟斤拷 锟斤拷锟斤拷锟斤拷 锟斤拷 锟斤拷=锟斤拷 锟斤拷}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at 锟斤拷(Omega), 锟斤拷 (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at 锟斤拷 (Aleph), 锟斤拷 (Om) expresses as
> 锟斤拷锟斤拷锟斤拷锟斤拷 (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, 锟斤拷锟斤拷锟斤拷锟斤拷(clubs, spades, hearts, diamonds)
>
> where:
>
> 锟斤拷 clubs (wands) =Fire, spiritual, tactile
> 锟斤拷 spades (swords) = Air, mental, auditory
> 锟斤拷 hearts (cups) =Water, emotional, visual
> 锟斤拷 diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that 锟斤拷 clubs (wands) and 锟斤拷 spades (swords) are
> stereotypically masculine and abstracting forces, while 锟斤拷 hearts
> (cups) and 锟斤拷 diamonds (pentacles/coins) are stereotypically
> feminine objectified fields.
>
> Sorry for the mumbo jumbo, but it is the only way to be non-
> reductive when approaching the qualitative side.
>
I don't think so. Aristotle invented modal logic to treat in the
quantitative way non reductive qualitative notion.
What I am saying though is that *any quantitative treatment of qualitative experience is an unrecoverably catastrophic reduction*.
I agree with this. Comp prevents to do such a reduction about what a machine can be and can be capable of.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.Why meaningless?
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
> We can锟斤拷t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).
?
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of G锟斤拷del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L锟斤拷bian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.
I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.I know. You are wise. And we agree on many things, but we are working in antipodal theories. I think you have reductionist conception of machine, to be franc.Bruno
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:
Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of 锟斤拷the dreams of
> numbers锟斤拷, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit 锟斤拷 (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
>
> This continuum f (锟斤拷(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph 锟斤拷)to infinitely
> discrete/public third person mechanism (calling that Omega 锟斤拷), so
> that at 锟斤拷,any given dream is experienced as 99.99锟斤拷9% dream and
> 0.00锟斤拷1% number and at 锟斤拷 (Omega), any given machine or number is
> presented as 99.99锟斤拷9% number and 0.00锟斤拷1% dream.
>
?
>
> The halfway point between the 锟斤拷 (Aleph) and 锟斤拷 (Omega) axis is the
> perpendicular axis f (-锟斤拷(Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (锟斤拷=锟斤拷
> equality) to broadly elliptical potential set membership (锟斤拷锟斤拷锟斤拷
> ellipsis)
>
> So it looks something like this:
>
> f(锟斤拷) 锟斤拷 {锟斤拷 锟斤拷锟斤拷锟斤拷 锟斤拷 锟斤拷=锟斤拷 锟斤拷}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at 锟斤拷(Omega), 锟斤拷 (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at 锟斤拷 (Aleph), 锟斤拷 (Om) expresses as
> 锟斤拷锟斤拷锟斤拷锟斤拷 (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, 锟斤拷锟斤拷锟斤拷锟斤拷(clubs, spades, hearts, diamonds)
>
> where:
>
> 锟斤拷 clubs (wands) =Fire, spiritual, tactile
> 锟斤拷 spades (swords) = Air, mental, auditory
> 锟斤拷 hearts (cups) =Water, emotional, visual
> 锟斤拷 diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that 锟斤拷 clubs (wands) and 锟斤拷 spades (swords) are
> stereotypically masculine and abstracting forces, while 锟斤拷 hearts
> (cups) and 锟斤拷 diamonds (pentacles/coins) are stereotypically
> feminine objectified fields.
>
> Sorry for the mumbo jumbo, but it is the only way to be non-
> reductive when approaching the qualitative side.
>
I don't think so. Aristotle invented modal logic to treat in the
quantitative way non reductive qualitative notion.
> We can锟斤拷t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of G锟斤拷del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L锟斤拷bian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/wpi1rDQ5fT8J.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
----- Receiving the following content -----
From: John ClarkReceiver: everything-listTime: 2012-08-18, 11:01:39
Subject: Re: On calculating pi
On Sat, Aug 18, 2012 at 9:50 AM, Roger <rcl...@verizon.net> wrote:
>how can they know if the calculation of pi is very precise if theydon't really know beforehand what its precise value should be ?
--
But we do know the precise value of pi, 250 years ago Euler proved that pi squared divided by 6 is EXACTLY equal to � the infinite series 1+ 1/2 + 1/4 + 1/9 + 1/16 + 1/25 + 1/36 +1/49 +.......锟斤拷 Tell me how close to pi you want to get and a finite number of terms in this sequence can help you produce it.
� John K Clark
You received this message because you are subscribed to the Google Groups "Everything List" group.
On 17 Aug 2012, at 19:15, Craig Weinberg wrote:
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of ‘the dreams of
> numbers’, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit ॐ (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
Think of it like π, except that instead of circumference and diameter, there is eidetic-figurative and entopic-literal presentation modalities.Pi = ratio of the length or a circle and its diameter. That is understandable."eidetic-figurative and entropic-literal presentation modalities." is not.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would it need any other form - especially if it is all made of numbers?Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?It is a logical consequence, once you accept the idea that you might survive with a digital brain.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).I don't believe in time, space, cosmos, matter, ...I explain their appearance by the dream property of numbers, relatively to universal numbers.
>
> This continuum f (ॐ(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph ℵ)to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ℵ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.That makes some sense.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.Why meaningless?
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).?
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of Gödel and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (Löbian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.I know. You are wise. And we agree on many things, but we are working in antipodal theories. I think you have reductionist conception of machine, to be franc.
I can not resit to say something here.1)Adivination may be very dangerous, because adivination can be a powerful way of manipulation. an autoproclaimed adivine can manipulate you or your society if the the adivine is a powerful person. It can gain the a status of living god. In the past they were adivines or magicians, later they were the philosophers. Nowadays they are mostly scientists. I´m talking about the bad people of these groups.
2) very related with this, it is very plausible that by natural selection applied to the need to coordinate societies for common goals, we have the capability and the unavoidable necesity, by instinct to deify something or someone and to hypostasize it, that is to give it a personal nature it it has not. this may derive from the cult to the authority of the founder of the ancient tribe of our ancestors.If we have this instinct and this is unavoidable, the best use of it, to avoid the manipulation of those who want to ascend in the mind of the people, to what was in the past reserved for the gods, is to adore a transcendent personal god that represent the unknown.There is no theology here. I´m, talking in practical terms. although it may be considered of what Saint Thomas would call "natural revelation". I´m fascinated o how much specifically Christian apologetics can be derived from the apparently antireligious, simple and egoistic notion of natural selection, which is none of the three. But this is not the place to discuss that.
Hi Bruno Marchal
Yes, you can square the square root of any number to test its accuracy,but there are a variety of algorithms used to calculate pi.Which is correct ? SeeThe value obtained is assumed to be true if the infinite seriesused to calculate pi converges. But I would think thatmany if not most infinite series shouldconverge. Which one is the right one ? Is there a unique solution ?
On Saturday, August 18, 2012 5:59:32 AM UTC-4, Bruno Marchal wrote:On 17 Aug 2012, at 19:15, Craig Weinberg wrote:
On Friday, August 17, 2012 10:48:04 AM UTC-4, Bruno Marchal wrote:Hi Craig,
On 15 Aug 2012, at 11:21, Craig Weinberg wrote:
> in case the special characters don't come out...
>
> I was thinking about your primitive of arithmetic truth (numbers, 0,
> +, and *, right?) and then your concept of ‘the dreams of
> numbers’, interviewing Lobian Machines, etc and came up with this.
>
> One single irreducible digit ॐ (Om) which represents a self-
> dividing continuum of infinite perpendicular dialectics between
> eidetic dream states (in which dream~numbers escape their numerical
> identities as immersive qualitative experiences) and entopic non-
> dream states (in which number~dreams escape their dream nature as
> literal algebra-geometries).
>
I use such term more literally. I am not sure I can understand this,
even if there is some genuine analogy.
Think of it like π, except that instead of circumference and diameter, there is eidetic-figurative and entopic-literal presentation modalities.Pi = ratio of the length or a circle and its diameter. That is understandable."eidetic-figurative and entropic-literal presentation modalities." is not.
If it isn't understand it, how do you explain that I understand it?
Straightness and circularity are two presentations with very narrow, precise, and literal characteristics. They can be said to oppose each other in one sense and be mutually exclusive forms, but the larger the circle, the straighter the curve of it's circumference (I know you have a better way of saying that). All possible geometric forms and topologies however would be categorized as 'entopic-literal' forms, as they are shapes which refer only to themselves. Entopic hallucinations are those which are repeating geometries, escalating into full blown ecstasies of Platonic psychedelia.
The other major category of hallucination (and therefore nakedly exposed consciousness) is eidetic - faces in the trees, butterflies in the inkblot, etc. Instead of referring literally to a shape of ink on paper or light and dark regions of bark, they present characters or creatures, mythical themes, etc. This is, like linearity is to circularity, the opposite potential of awareness - one that simplifies a complex figurative identity into a gestalt or algebra (algebra in the etymological sense of a "reunion of broken parts") rather than a topological form that is literal. This ratio, between poetic, dreamlike involvement and literal, mathematical observation I am saying forms the grand continuum of the cosmos.
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
You don't really 'come to the idea' at all though, you assume it from the start. There is no theory for why or how numbers would dream, only the assumption that they do.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would storage imply any kind of encoding? Without physics to constrain resource requirements, there would be no need to compress information.
I can't think of any reason that a Turing machine would need to create an abstraction layer, especially if you could control the speed of the tape. If for any reason you needed subroutines to synchronize, you could run those parts of the tape faster or slower - infinitely fast if you like. Without physics, time is relative and unbounded. A Turing machine needs no programming language, it doesn't even need bytes. You can do all of your addressing on the fly with dynamically sized memory chunks. All of these formalisms, codes, architectures, etc are purely in the service of the limitations imposed by physics and human convenience.
We get tired of writing a thousand lines of code every time we want to transform some dataset, but the computer doesn't care. It will run a trillion lines of code just to add the same number to itself, it doesn't care how long it takes or how wasteful it seems to us.
Why would it need any other form - especially if it is all made of numbers?Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
But a universe is not a consequence of Platonia.
Since we know that we have a universe
that means that it is Platonia which needs to be justified intellectually in terms of contributing to the universe, not the other way around.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?It is a logical consequence, once you accept the idea that you might survive with a digital brain.
It's the logic of begging the question. I ask you why numbers dream and you say it's logical if you accept that dreams can survive as digital process. I don't though. If human dreams could exist in something other than humans, then they would already.
On the sands of the beaches, in the odd complicated cloud formation. I would need a compelling reason to believe otherwise. Why would I give the benefit of the doubt to machines when machines have clearly shown no signs of feeling thus far?
Not just that they might not have feelings, but that they are universally known for lacking any capacity for feeling whatsoever - that is what defines the nature of machines. When you understand the continuum of eidetic to entopic, figurative to literal, you will understand why this makes perfect sense
A machine is an assembly of logical forms. That does not produce any phenomenology by itself because it is constructed from the outside in. Living organisms build themselves from the inside out, from their own native sensitivities and motivations. They are not having an alien script intentionally imposed upon their behavior.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
That may be, but why in the world would computational befuddlement be expressed as personality and realism?
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).I don't believe in time, space, cosmos, matter, ...I explain their appearance by the dream property of numbers, relatively to universal numbers.
That's what I am showing you, is how the dream property of numbers (eidetic-figurative) and the number property of dreams (entopic-literal) are two polar regions of the same (involuted) continuum.
>
> This continuum f (ॐ(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph ℵ)to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ℵ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.That makes some sense.
That's what I'm saying. Quanta is qualia that has been flattened until it spreads out like with a rolling pin to the point of universality. Qualia is the dough that has no extension into public space.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.Why meaningless?
Because that's what variables do, they generalize all potential content-meanings under single quantifiable term.
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
If machines have souls, then there has to be a way that the two are connected. There has to be some kind of rationale for it.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
I don't think you have to postulate matter, you only have to formalize what you already assume about dreaming numbers.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).?
A square peg either fits in a particular sized round hole or not. That is a true/false. It can be proved by actually trying to fit the peg in the hole. Those are third person public conditions. Whether one peg or hole seems 'better' than another is a first person kind of distinction.
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
I don't really understand what modal logic has to do with the possibility of quality.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
How is it describing qualities? It seems to me to be describing quantitative formalism. How does one describe red logically?
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of Gödel and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (Löbian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
The fact that there would be data that cannot be communicated from a fixed vector doesn't imply to me anything specifically personal or experiential. What is relevant about consciousness is not only *that* it is private, but what the content of that privacy is.
The form of it is trivial, except that it helps us understand the relation to exterior realism. Using modal logic to describe experience makes a formula out of the shape of a can and presents it as a way of creating canned food.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.I know. You are wise. And we agree on many things, but we are working in antipodal theories. I think you have reductionist conception of machine, to be franc.
You are wise too. I think that your view of my view of machines is more of a projection than you think.
While I admit, certainly, to being ignorant of the particular details of mathematical principles which give you a more generous view of machine consciousness than I have, I don't limit the capabilities of machines in the way that you assume. If quanta is flat qualia,
then machine intelligence can extend infinitely farther than organic intelligence, because of the horizontal universality of it.
What I am saying is that you can't build qualia out of quanta,
because there is no universal qualia.
Qualia is othrogonal to quanta - it is the manifestation of non-universality itself.
Straightness and circularity are two presentations with very narrow, precise, and literal characteristics. They can be said to oppose each other in one sense and be mutually exclusive forms, but the larger the circle, the straighter the curve of it's circumference (I know you have a better way of saying that). All possible geometric forms and topologies however would be categorized as 'entopic-literal' forms, as they are shapes which refer only to themselves. Entopic hallucinations are those which are repeating geometries, escalating into full blown ecstasies of Platonic psychedelia.
The other major category of hallucination (and therefore nakedly exposed consciousness) is eidetic - faces in the trees, butterflies in the inkblot, etc. Instead of referring literally to a shape of ink on paper or light and dark regions of bark, they present characters or creatures, mythical themes, etc. This is, like linearity is to circularity, the opposite potential of awareness - one that simplifies a complex figurative identity into a gestalt or algebra (algebra in the etymological sense of a "reunion of broken parts") rather than a topological form that is literal. This ratio, between poetic, dreamlike involvement and literal, mathematical observation I am saying forms the grand continuum of the cosmos.Hmm...
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
You don't really 'come to the idea' at all though, you assume it from the start. There is no theory for why or how numbers would dream, only the assumption that they do.Here I absolutely disagree. The theory is that I am a material machine. The conclusion is that matter is an hallucination, yet a lawful one. It looks like you have not yet take a deep look on UDA.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would storage imply any kind of encoding? Without physics to constrain resource requirements, there would be no need to compress information.The numbers do that all the time. There is no need, but they cannot not doing it, because it follows from addition and multiplication. There is no need for Saturn's ring either.
I can't think of any reason that a Turing machine would need to create an abstraction layer, especially if you could control the speed of the tape. If for any reason you needed subroutines to synchronize, you could run those parts of the tape faster or slower - infinitely fast if you like. Without physics, time is relative and unbounded. A Turing machine needs no programming language, it doesn't even need bytes. You can do all of your addressing on the fly with dynamically sized memory chunks. All of these formalisms, codes, architectures, etc are purely in the service of the limitations imposed by physics and human convenience.Not if you bet that we are machine. In that cse the UD reasoning shows that what you describe is only the appernt view from inside, but that eventually the physical resource constraints arise from the mathematical computer science constraints, that is, from arithmetic.
We get tired of writing a thousand lines of code every time we want to transform some dataset, but the computer doesn't care. It will run a trillion lines of code just to add the same number to itself, it doesn't care how long it takes or how wasteful it seems to us.Not with comp, as I am a person which manifest itself through a computer, and persons care.
Why would it need any other form - especially if it is all made of numbers?Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
But a universe is not a consequence of Platonia.It is. Or your non-comp assumption is correct, but I do not work in the theory non-comp. Actually, I have not yet seen a non-comp *theory*. Only philosophical argument against comp, but no concrete replacement.
Since we know that we have a universeWe know only that we are conscious. How could we know that there is a (physical) universe?
We don't even *know* that there is a mathematical universe, or even an arithmetical universe. We bet on it.
that means that it is Platonia which needs to be justified intellectually in terms of contributing to the universe, not the other way around.But with comp, we do got an explanation of the physical universe(s). And we got both quanta and qualia. It might be false, but the explanation is there.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?It is a logical consequence, once you accept the idea that you might survive with a digital brain.
It's the logic of begging the question. I ask you why numbers dream and you say it's logical if you accept that dreams can survive as digital process. I don't though. If human dreams could exist in something other than humans, then they would already.And that is the case already, indeed. That follows from the reasoning.
On the sands of the beaches, in the odd complicated cloud formation. I would need a compelling reason to believe otherwise. Why would I give the benefit of the doubt to machines when machines have clearly shown no signs of feeling thus far?But molecular biology, quantum mechanics, etc. suggest strongly that we are machine. The rest is the logical consequence.
There is no evidence for non-comp.
So we do have compelling reason to think that machine can have feeling. The conjunction of our own experience, and the study of our bodies.
But I don't want to defend comp. That's the kind of philosophy I do not work on. I just show the consequence of being material machine. The consequences are that we are already in a "matrix", whose structure can be mathematically handled, so that we can constructively derive physics, and compare it to the empirical physics, so that comp is shown testable. (To be short).Not just that they might not have feelings, but that they are universally known for lacking any capacity for feeling whatsoever - that is what defines the nature of machines. When you understand the continuum of eidetic to entopic, figurative to literal, you will understand why this makes perfect senseBut what you say makes sense. The comp theory already explains why comp is hard (impossible, even) to believe, and why it has to be highly counter-intuitive.
A machine is an assembly of logical forms. That does not produce any phenomenology by itself because it is constructed from the outside in. Living organisms build themselves from the inside out, from their own native sensitivities and motivations. They are not having an alien script intentionally imposed upon their behavior.I don't know that. Genetic illustrates that nature do scripts. But math shows also that very short scripts, like "help yourself" can lead to tremendous richness and complexity.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
That may be, but why in the world would computational befuddlement be expressed as personality and realism?Because there is, very roughly, 60000^10000000000 brain states possible, that makes a lot of subjectivity possible, and they are multiplied and selected through a filtering on a continuum of computations (first person indeterminacy).
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).I don't believe in time, space, cosmos, matter, ...I explain their appearance by the dream property of numbers, relatively to universal numbers.
That's what I am showing you, is how the dream property of numbers (eidetic-figurative) and the number property of dreams (entopic-literal) are two polar regions of the same (involuted) continuum.I am a simple minded logician. If you use a technical term, you have to explain it to me in a precise frame theory.I don't ask you to formalize it in first order logic, but to succeed in explaining this enough precisely so that a poor logician like can understand that with time and patience we can get such a formalization. If not it looks like you can say anything you want, and very often, it makes sense in machine first person terms, and thus fail to convey your non-comp intuition more than the natural non-comp intuition of *all* correct machine.Comp shows intuition locally correct, locally useful, locally unavoidable, but globally wrong.
ॐ - (ॐ - ॐ)
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.Why meaningless?
Because that's what variables do, they generalize all potential content-meanings under single quantifiable term.Hmm... OK. But the person is in the box (B), not in the variable, which is usually used for some unspecified arithmetic proposition, or memories content, etc.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
How is it describing qualities? It seems to me to be describing quantitative formalism. How does one describe red logically?By explaining it exists necessarily and that it cannot be describe logically. Modal logic, in the machine context are "meta". It does not explain the quality red. It explains that quality exists and are NOT describable quantitatively.The "universal soul", Bp & p, or the S4Grz logic, is a sort of mathematical tour-de-force: it is a formal logic describing the logic of content which are impossible to formalize ever. But we can formalize this at the metalevel.
While I admit, certainly, to being ignorant of the particular details of mathematical principles which give you a more generous view of machine consciousness than I have, I don't limit the capabilities of machines in the way that you assume. If quanta is flat qualia,Quanta are more sort of sharable qualia.
First person plural construct brought by the many-world internal interpretation of arithmetic by arithmetical beings.
then machine intelligence can extend infinitely farther than organic intelligence, because of the horizontal universality of it.Yes, indeed.What I am saying is that you can't build qualia out of quanta,I agree with this. Qualia emerges logically before quanta, but it seems the contrary. That can perhaps be related to Stephen-Pratt reversal of arrows in the mind body relation, or to the duality between thrid person (Bp) and the Theaetetical first person (Bp & p).
because there is no universal qualia.This I doubt. More from personal reasons than comp, though.
Qualia is othrogonal to quanta - it is the manifestation of non-universality itself.Well, with comp, quanta is the tiny emerging part of the qualia-consciousness part of the arithmetical platonia, seen from inside.May be the crux of our difference (beyond comp/non-comp) is that, as many people, you seem to believe that lind and matter are symmetrical and have same caliber. But comp is still open too full platonism, in which matter, and physical universe are more like a divine bug, a temporary misleading; hding the truth more than paving a way to it. Some platonist identify matter with bad, or the devil. this is of course an open problem with comp, but what can already been argued for is that the mindscape is vastly bigger than the physical scape. The comp mindscape or personscape is vast. *Very* vast. It escapes the math. It violates physicalism, but also mathematicalism, despite the ontology is quite little (a tiny segment of arithmetical truth).Bruno
Bruno
snip
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?
Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
You don't really 'come to the idea' at all though, you assume it from the start. There is no theory for why or how numbers would dream, only the assumption that they do.
Here I absolutely disagree. The theory is that I am a material machine. The conclusion is that matter is an hallucination, yet a lawful one. It looks like you have not yet take a deep look on UDA.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?
To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would storage imply any kind of encoding? Without physics to constrain resource requirements, there would be no need to compress information.
The numbers do that all the time. There is no need, but they cannot not doing it, because it follows from addition and multiplication. There is no need for Saturn's ring either.
I can't think of any reason that a Turing machine would need to create an abstraction layer, especially if you could control the speed of the tape. If for any reason you needed subroutines to synchronize, you could run those parts of the tape faster or slower - infinitely fast if you like. Without physics, time is relative and unbounded. A Turing machine needs no programming language, it doesn't even need bytes. You can do all of your addressing on the fly with dynamically sized memory chunks. All of these formalisms, codes, architectures, etc are purely in the service of the limitations imposed by physics and human convenience.
Not if you bet that we are machine. In that cse the UD reasoning shows that what you describe is only the appernt view from inside, but that eventually the physical resource constraints arise from the mathematical computer science constraints, that is, from arithmetic.
We get tired of writing a thousand lines of code every time we want to transform some dataset, but the computer doesn't care. It will run a trillion lines of code just to add the same number to itself, it doesn't care how long it takes or how wasteful it seems to us.
Not with comp, as I am a person which manifest itself through a computer, and persons care.
Why would it need any other form - especially if it is all made of numbers?
Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
But a universe is not a consequence of Platonia.
It is. Or your non-comp assumption is correct, but I do not work in the theory non-comp. Actually, I have not yet seen a non-comp *theory*. Only philosophical argument against comp, but no concrete replacement.
Since we know that we have a universe
We know only that we are conscious. How could we know that there is a (physical) universe?
We don't even *know* that there is a mathematical universe, or even an arithmetical universe. We bet on it.
that means that it is Platonia which needs to be justified intellectually in terms of contributing to the universe, not the other way around.
But with comp, we do got an explanation of the physical universe(s). And we got both quanta and qualia. It might be false, but the explanation is there.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?
It is a logical consequence, once you accept the idea that you might survive with a digital brain.
It's the logic of begging the question. I ask you why numbers dream and you say it's logical if you accept that dreams can survive as digital process. I don't though. If human dreams could exist in something other than humans, then they would already.
And that is the case already, indeed. That follows from the reasoning.
On the sands of the beaches, in the odd complicated cloud formation. I would need a compelling reason to believe otherwise. Why would I give the benefit of the doubt to machines when machines have clearly shown no signs of feeling thus far?
But molecular biology, quantum mechanics, etc. suggest strongly that we are machine.
The rest is the logical consequence. There is no evidence for non-comp.
So we do have compelling reason to think that machine can have feeling. The conjunction of our own experience, and the study of our bodies.
But I don't want to defend comp. That's the kind of philosophy I do not work on. I just show the consequence of being material machine. The consequences are that we are already in a "matrix", whose structure can be mathematically handled, so that we can constructively derive physics, and compare it to the empirical physics, so that comp is shown testable. (To be short).
Not just that they might not have feelings, but that they are universally known for lacking any capacity for feeling whatsoever - that is what defines the nature of machines. When you understand the continuum of eidetic to entopic, figurative to literal, you will understand why this makes perfect sense
But what you say makes sense. The comp theory already explains why comp is hard (impossible, even) to believe, and why it has to be highly counter-intuitive.
A machine is an assembly of logical forms. That does not produce any phenomenology by itself because it is constructed from the outside in. Living organisms build themselves from the inside out, from their own native sensitivities and motivations. They are not having an alien script intentionally imposed upon their behavior.
I don't know that. Genetic illustrates that nature do scripts. But math shows also that very short scripts, like "help yourself" can lead to tremendous richness and complexity.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?
Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
That may be, but why in the world would computational befuddlement be expressed as personality and realism?
Because there is, very roughly, 60000^10000000000 brain states possible, that makes a lot of subjectivity possible, and they are multiplied and selected through a filtering on a continuum of computations (first person indeterminacy).
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).
I don't believe in time, space, cosmos, matter, ...I explain their appearance by the dream property of numbers, relatively to universal numbers.
That's what I am showing you, is how the dream property of numbers (eidetic-figurative) and the number property of dreams (entopic-literal) are two polar regions of the same (involuted) continuum.
I am a simple minded logician. If you use a technical term, you have to explain it to me in a precise frame theory.
I don't ask you to formalize it in first order logic, but to succeed in explaining this enough precisely so that a poor logician like can understand that with time and patience we can get such a formalization. If not it looks like you can say anything you want, and very often, it makes sense in machine first person terms, and thus fail to convey your non-comp intuition more than the natural non-comp intuition of *all* correct machine.Comp shows intuition locally correct, locally useful, locally unavoidable, but globally wrong.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.
Why meaningless?
Because that's what variables do, they generalize all potential content-meanings under single quantifiable term.
Hmm... OK. But the person is in the box (B), not in the variable, which is usually used for some unspecified arithmetic proposition, or memories content, etc.
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.
No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
If machines have souls, then there has to be a way that the two are connected. There has to be some kind of rationale for it.
Nice to hear that. I agree.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.
You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
I don't think you have to postulate matter, you only have to formalize what you already assume about dreaming numbers.
OK. That's the point. In the comp theory.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).
?
A square peg either fits in a particular sized round hole or not. That is a true/false. It can be proved by actually trying to fit the peg in the hole. Those are third person public conditions. Whether one peg or hole seems 'better' than another is a first person kind of distinction.
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.
But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
I don't really understand what modal logic has to do with the possibility of quality.
The machine modal logic of self-reference, Bp, when conjuncted with the non nameable Truth, leads the machine to discover true propositions, in a sort of immediate way, which they cannot justify nor even describe, except by projecting them on similar machines.
The redness quality is like that. I have no doubt that I experience redness, but I am unable to communicate it to a blind rationalist. I can point on something red, and hope my fellow has a sufficiently similar experience, so that the word "red" will have a sufficiently close meaning to mine.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?
The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
How is it describing qualities? It seems to me to be describing quantitative formalism. How does one describe red logically?
By explaining it exists necessarily and that it cannot be describe logically. Modal logic, in the machine context are "meta". It does not explain the quality red. It explains that quality exists and are NOT describable quantitatively.
The "universal soul", Bp & p, or the S4Grz logic, is a sort of mathematical tour-de-force: it is a formal logic describing the logic of content which are impossible to formalize ever. But we can formalize this at the metalevel.
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of Gödel and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (Löbian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.
I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
The fact that there would be data that cannot be communicated from a fixed vector doesn't imply to me anything specifically personal or experiential. What is relevant about consciousness is not only *that* it is private, but what the content of that privacy is.
Of course.
The form of it is trivial, except that it helps us understand the relation to exterior realism. Using modal logic to describe experience makes a formula out of the shape of a can and presents it as a way of creating canned food.
See above.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.
I know. You are wise. And we agree on many things, but we are working in antipodal theories. I think you have reductionist conception of machine, to be franc.
You are wise too. I think that your view of my view of machines is more of a projection than you think.
Well, if I remember well, you are the one who refuse to sell a steak to my daugher's husband, who said "yes" to a doctor, and is, by construction, a machine.
While I admit, certainly, to being ignorant of the particular details of mathematical principles which give you a more generous view of machine consciousness than I have, I don't limit the capabilities of machines in the way that you assume. If quanta is flat qualia,
Quanta are more sort of sharable qualia.
First person plural construct brought by the many-world internal interpretation of arithmetic by arithmetical beings.
then machine intelligence can extend infinitely farther than organic intelligence, because of the horizontal universality of it.
Yes, indeed.
What I am saying is that you can't build qualia out of quanta,
I agree with this. Qualia emerges logically before quanta, but it seems the contrary. That can perhaps be related to Stephen-Pratt reversal of arrows in the mind body relation, or to the duality between thrid person (Bp) and the Theaetetical first person (Bp & p).
because there is no universal qualia.
This I doubt. More from personal reasons than comp, though.
Qualia is orthogonal to quanta - it is the manifestation of non-universality itself.
Well, with comp, quanta is the tiny emerging part of the qualia-consciousness part of the arithmetical platonia, seen from inside.
May be the crux of our difference (beyond comp/non-comp) is that, as many people, you seem to believe that mind and matter are symmetrical and have same caliber. But comp is still open too full platonism, in which matter, and physical universe are more like a divine bug, a temporary misleading; hding the truth more than paving a way to it. Some platonist identify matter with bad, or the devil. this is of course an open problem with comp, but what can already been argued for is that the mindscape is vastly bigger than the physical scape. The comp mindscape or personscape is vast. *Very* vast. It escapes the math. It violates physicalism, but also mathematicalism, despite the ontology is quite little (a tiny segment of arithmetical truth).
I understand that 2+2 = 4.I still cannot explain how and why I understand "2+2 = 4"."2+2=4" is easy."I understand 2+2=4" is quasi infinitely more complex.
Dear Bruno,
As I see it, the quasi-infiitely more complex aspect of "I understand that 2+2=4" follows, at least, from the requirement that many entities capable of making such statements can point to examples of 2+2=4 and communicate about such statements with each other however far away in space and time they are from each other. We can ignore the fact that there is a collection of entities to whom the statement "I understand that 2+2=4" has a meaning. You need to get a grip on the nature of meaningfulness. Searle has tried to do this with his Chinese Room idea but failed to communicate the concept. :_(
--
On 8/19/2012 4:30 PM, meekerdb wrote:
On 8/19/2012 12:51 PM, Stephen P. King wrote:I understand that 2+2 = 4.I still cannot explain how and why I understand "2+2 = 4"."2+2=4" is easy."I understand 2+2=4" is quasi infinitely more complex.
Dear Bruno,
As I see it, the quasi-infiitely more complex aspect of "I understand that 2+2=4" follows, at least, from the requirement that many entities capable of making such statements can point to examples of 2+2=4 and communicate about such statements with each other however far away in space and time they are from each other. We can ignore the fact that there is a collection of entities to whom the statement "I understand that 2+2=4" has a meaning. You need to get a grip on the nature of meaningfulness. Searle has tried to do this with his Chinese Room idea but failed to communicate the concept. :_(
Maybe Bruno will introduce a new modality to his logic Up="Understands p". :-)
Brent
--
Hi Brent,
That would be wonderful if possible. AFAIK, understanding is contingent on demonstrability, e.g. I understand p if and only if I can demonstrate that p implies q and q is not trivial and q is true in the same context as p. I think that Bruno's idea of "interviewing a machine" is a form of demonstration as I am trying to define it here. In my thesis, demonstrability requires that the model to be demonstrated is actually implemented in at least one possible physical world (i.e. satisfies thermodynamic laws and Shannon information theory) otherwise it could be used to implement a Maxwell Demon.
BTW, it was an analysis of Maxwell's Demon that lead me to my current ideas, that abstract computation requires that at least one physical system actually can implement it. This is not ultrafinitism since I am allowing for an uncountable infinity of physical worlds, but almost none of them are accessible to each other (there exist event horizons, etc.).
Consider the case where a computation X is generating an exact simulation of the behavior of molecules in a two compartment tank with a valve and there exists a computer Y that can use the output of X to control the valve. We can easily see that X could be a subroutine of Y. If the control of Y leads to an exact partition of the fast (hot) and slow (cold) molecules and this difference can be used to run Y then some might argue that we would have a computation for free situation. The problem is that for the hot/cold difference to be exploited to do work the entire apparatus would have to be coupled to a heat reservoir that would absorb the waste energy generated by the work. Heat Reservoirs are interesting beasts....
See http://www.nature.com/news/the-unavoidable-cost-of-computation-revealed-1.10186 for more on this.
We ignore the role played by our physical world in our philosophical/mathematical/logical discussions to our peril!
-- Onward! Stephen "Nature, to be commanded, must be obeyed." ~ Francis Bacon
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
On 8/19/2012 2:43 PM, Stephen P. King wrote:On 8/19/2012 4:30 PM, meekerdb wrote:
On 8/19/2012 12:51 PM, Stephen P. King wrote:I understand that 2+2 = 4.I still cannot explain how and why I understand "2+2 = 4"."2+2=4" is easy."I understand 2+2=4" is quasi infinitely more complex.
Dear Bruno,
As I see it, the quasi-infiitely more complex aspect of "I understand that 2+2=4" follows, at least, from the requirement that many entities capable of making such statements can point to examples of 2+2=4 and communicate about such statements with each other however far away in space and time they are from each other. We can ignore the fact that there is a collection of entities to whom the statement "I understand that 2+2=4" has a meaning. You need to get a grip on the nature of meaningfulness. Searle has tried to do this with his Chinese Room idea but failed to communicate the concept. :_(
Maybe Bruno will introduce a new modality to his logic Up="Understands p". :-)
Brent
--
Hi Brent,
That would be wonderful if possible. AFAIK, understanding is contingent on demonstrability, e.g. I understand p if and only if I can demonstrate that p implies q and q is not trivial and q is true in the same context as p. I think that Bruno's idea of "interviewing a machine" is a form of demonstration as I am trying to define it here. In my thesis, demonstrability requires that the model to be demonstrated is actually implemented in at least one possible physical world (i.e. satisfies thermodynamic laws and Shannon information theory) otherwise it could be used to implement a Maxwell Demon.
BTW, it was an analysis of Maxwell's Demon that lead me to my current ideas, that abstract computation requires that at least one physical system actually can implement it. This is not ultrafinitism since I am allowing for an uncountable infinity of physical worlds, but almost none of them are accessible to each other (there exist event horizons, etc.).
Consider the case where a computation X is generating an exact simulation of the behavior of molecules in a two compartment tank with a valve and there exists a computer Y that can use the output of X to control the valve. We can easily see that X could be a subroutine of Y. If the control of Y leads to an exact partition of the fast (hot) and slow (cold) molecules and this difference can be used to run Y then some might argue that we would have a computation for free situation. The problem is that for the hot/cold difference to be exploited to do work the entire apparatus would have to be coupled to a heat reservoir that would absorb the waste energy generated by the work. Heat Reservoirs are interesting beasts....
If your computer simulation is acting as Maxwell's demon then you don't need a heat reservoir.
The demon makes one tank hot an the other cold so a heat engine runs on the difference.
Unfortunately this is impossible because such a simulation would require defining the initial state of the particle's position and momentum in the two tanks. This is not available for free. To determine it by measurement takes at least as much free energy as can be recovered after implementing Maxwell's demon.
See http://www.nature.com/news/the-unavoidable-cost-of-computation-revealed-1.10186 for more on this.
But if you're doing a calculation once on a given machine it's not necessary to erase the result. In Feynman's paper on quantum computing he note this gets around Landauer's limit. So long as the evolution of the computation is unitary no energy need be dissipated. So I don't see how the result is relevant to Bruno's UD.
Brent
You don't really 'come to the idea' at all though, you assume it from the start. There is no theory for why or how numbers would dream, only the assumption that they do.
[BM]
Here I absolutely disagree. The theory is that I am a material machine. The conclusion is that matter is an hallucination, yet a lawful one. It looks like you have not yet take a deep look on UDA.
[Craig]
I conclude that matter is a hallucination also, but not our hallucination. Matter begins as the (shared, intentional) hallucination of our molecular subselves. The key though, is that the extent to which our experience is distant from our molecular sub-realities is directly proportional to the realism and involuntary nature of our experience with matter.
It's confusing to me when you say that we are a material machine, yet matter is a hallucination, so that means we are a hallucination machine - which is ok by me, but why bring matter into it at all? What makes some hallucinations into matter?
My view is that the same thing that gives the hallucinations significance (makes them more narrative and eidetic, more pull toward gestalt coherence) has a symmetric exhaust in the form of entropy...which is space.
It is space/entropy which provides Cantor-set-like statistical gaps in which the various layers of realism can break down in peace. The gaps are where the dreams hide their unrealism and forgives their continuity errors. The world of matter looks like it makes perfect sense, but to our molecular selves, it may be a timeless chaos of conflicting orders.
----- Receiving the following content -----
From: Bruno MarchalReceiver: everything-list
Time: 2012-08-19, 08:26:10
Subject: Re: The I Ching, a cominatorically complete hyperlinked semanticfield(mind).
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-list+unsub...@googlegroups.com.
----- Receiving the following content -----
From: Stephen P. KingReceiver: everything-listTime: 2012-08-20, 01:02:41Subject: Re: Reconciling Bruno's Primitives with Multisense
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
--
Hi Stephen P. KingThe modal logic needs to aim purposefully toward the "best possible" solution.
And contain absolute as well as contingent truths.
Thus there must be some sort of mereology involved in the modalities.
Maybe a new type of copula insuring this situation to hold ?
On Sunday, August 19, 2012 7:57:32 AM UTC-4, Bruno Marchal wrote:I understand that 2+2 = 4.I still cannot explain how and why I understand "2+2 = 4"."2+2=4" is easy."I understand 2+2=4" is quasi infinitely more complex.
To me, objects ÷ space ⊥ subjects * time = realism is easy also.
You don't really 'come to the idea' at all though, you assume it from the start. There is no theory for why or how numbers would dream, only the assumption that they do.Here I absolutely disagree. The theory is that I am a material machine. The conclusion is that matter is an hallucination, yet a lawful one. It looks like you have not yet take a deep look on UDA.
I conclude that matter is a hallucination also, but not our hallucination.
Matter begins as the (shared, intentional) hallucination of our molecular subselves.
The key though, is that the extent to which our experience is distant from our molecular sub-realities is directly proportional to the realism and involuntary nature of our experience with matter.
It's confusing to me when you say that we are a material machine, yet matter is a hallucination, so that means we are a hallucination machine - which is ok by me, but why bring matter into it at all?
What makes some hallucinations into matter?
My view is that the same thing that gives the hallucinations significance (makes them more narrative and eidetic, more pull toward gestalt coherence) has a symmetric exhaust in the form of entropy...which is space. It is space/entropy which provides Cantor-set-like statistical gaps in which the various layers of realism can break down in peace. The gaps are where the dreams hide their unrealism and forgives their continuity errors. The world of matter looks like it makes perfect sense, but to our molecular selves, it may be a timeless chaos of conflicting orders.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would storage imply any kind of encoding? Without physics to constrain resource requirements, there would be no need to compress information.The numbers do that all the time. There is no need, but they cannot not doing it, because it follows from addition and multiplication. There is no need for Saturn's ring either.
What I am saying is that the reason they do it all the time is that numbers are different than you assume. They have no existence that is independent from private time and public space. There is no Platonia, only the sense of the whole which resides inherently in every apartness.
I can't think of any reason that a Turing machine would need to create an abstraction layer, especially if you could control the speed of the tape. If for any reason you needed subroutines to synchronize, you could run those parts of the tape faster or slower - infinitely fast if you like. Without physics, time is relative and unbounded. A Turing machine needs no programming language, it doesn't even need bytes. You can do all of your addressing on the fly with dynamically sized memory chunks. All of these formalisms, codes, architectures, etc are purely in the service of the limitations imposed by physics and human convenience.Not if you bet that we are machine. In that cse the UD reasoning shows that what you describe is only the appernt view from inside, but that eventually the physical resource constraints arise from the mathematical computer science constraints, that is, from arithmetic.
Why would any constraints arise purely from arithmetic that would be resolved by encoding?
We get tired of writing a thousand lines of code every time we want to transform some dataset, but the computer doesn't care. It will run a trillion lines of code just to add the same number to itself, it doesn't care how long it takes or how wasteful it seems to us.Not with comp, as I am a person which manifest itself through a computer, and persons care.
Comp begs the question.
At what point would a computation start to invent 'care' as a meta-computation?
If there were arithmetic resources to consider, surely the addition of encoding, decoding, and compiling would use more resources rather than less.
Why would it need any other form - especially if it is all made of numbers?Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
But a universe is not a consequence of Platonia.It is. Or your non-comp assumption is correct, but I do not work in the theory non-comp. Actually, I have not yet seen a non-comp *theory*. Only philosophical argument against comp, but no concrete replacement.
My theory is not non-comp, it is the reconciliation of comp and non-comp. Part of it is to explain why any theory by definition can only apply to comp.
As Goethe said, “My friend, all theory is gray, and the Golden tree of life is green.”
Since we know that we have a universeWe know only that we are conscious. How could we know that there is a (physical) universe?
How could we not know that there is a physical (part) of the universe? We know it with the same certainty that we know 2+2=4.
We can tell when we finally do wake up in the truly public space of the universe, that it is a different experience from even the most convincing dream.
We don't even *know* that there is a mathematical universe, or even an arithmetical universe. We bet on it.
Then that relativistic bet becomes what we mean by *knowing*.
There is only seems like, and physics is a seems like which pretends to be the opposite. Matter seems like it 'simply is.'that means that it is Platonia which needs to be justified intellectually in terms of contributing to the universe, not the other way around.But with comp, we do got an explanation of the physical universe(s). And we got both quanta and qualia. It might be false, but the explanation is there.
Haha, the 'it might be false' part doesn't concern you?
Shouldn't the fact that it doesn't concern you concern you?
But I don't see that comp gives you qualia. I don't see red or pain, just ineffable namespaces.
A hole where qualia can be inferred, but only if we already have the example of qualia to plug into the explanation.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?It is a logical consequence, once you accept the idea that you might survive with a digital brain.
It's the logic of begging the question. I ask you why numbers dream and you say it's logical if you accept that dreams can survive as digital process. I don't though. If human dreams could exist in something other than humans, then they would already.And that is the case already, indeed. That follows from the reasoning.
Where else do human dreams exist except in human experience?
On the sands of the beaches, in the odd complicated cloud formation. I would need a compelling reason to believe otherwise. Why would I give the benefit of the doubt to machines when machines have clearly shown no signs of feeling thus far?But molecular biology, quantum mechanics, etc. suggest strongly that we are machine. The rest is the logical consequence.
They suggest a mechanistic level of what we are, but given that consciousness can't be detected externally even at the macrocosmic level, there is no hope that any other level besides the lowest quantitative mechanistic level would be revealed.
You can't find irony and love with a microscope. The logic is biased because it assumes a voyeuristic access to reality rather than an integrated perception of multiple subjects.
We are machine, but we are also the opposite of machine,
perhaps even a machine that specifically amplifies the opposition to mechanism to a higher degree than any other.
There is no evidence for non-comp.
We are the evidence for non-comp. Not our bodies but our individuality and creativity, humor, passion, initiative, etc. The microbiology is the boring part. The interesting part is impossible to see directly because it is what we are, but it can be understood by inference of symmetry.
So we do have compelling reason to think that machine can have feeling. The conjunction of our own experience, and the study of our bodies.
You have a compelling reason to think that, but I see the clear error of painting ourselves into a corner based on faulty assumptions. You assume that our being identical with our body means that who we are must be reduced to body-like process, whereas the fact that we can choose to change the chemistry of our brain, move our voluntary muscles, etc, tells me that there is another side to the story: The body must also be seen as a reduced shadow of processes which are us. If we are made of neurons, then neurons, at least to some extent feel and see also,
and if neurons feel and see then molecules do something similar.
The fact that subjectivity is private by nature makes it unsurprising that we would be reluctant to consider that this is the case, especially since the body is the comp-space-matter extension that evacuates all appearance of subjectivity. Subjectivity does not survive objectification, which means that subjects can't be reduced to objects.
But I don't want to defend comp. That's the kind of philosophy I do not work on. I just show the consequence of being material machine. The consequences are that we are already in a "matrix", whose structure can be mathematically handled, so that we can constructively derive physics, and compare it to the empirical physics, so that comp is shown testable. (To be short).Not just that they might not have feelings, but that they are universally known for lacking any capacity for feeling whatsoever - that is what defines the nature of machines. When you understand the continuum of eidetic to entopic, figurative to literal, you will understand why this makes perfect senseBut what you say makes sense. The comp theory already explains why comp is hard (impossible, even) to believe, and why it has to be highly counter-intuitive.
Comp isn't hard for me to believe at all,
I just think that if we play out the axioms of comp alone, we do not wind up with realism or a universe.
We have to begin from our whole experience and make sense of arithmetic in that context and not assume that arithmetic can be its own independent context (because why would it need or want any other?).
A machine is an assembly of logical forms. That does not produce any phenomenology by itself because it is constructed from the outside in. Living organisms build themselves from the inside out, from their own native sensitivities and motivations. They are not having an alien script intentionally imposed upon their behavior.I don't know that. Genetic illustrates that nature do scripts. But math shows also that very short scripts, like "help yourself" can lead to tremendous richness and complexity.
Nature can do scripts, but that doesn't mean that the scriptee has the level of awareness used by the scripter. Nature is full of exploitation.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
That may be, but why in the world would computational befuddlement be expressed as personality and realism?Because there is, very roughly, 60000^10000000000 brain states possible, that makes a lot of subjectivity possible, and they are multiplied and selected through a filtering on a continuum of computations (first person indeterminacy).
That's a naive anthropomorphizing of computation though.
What does Platonia care for 'a lot'? It has infinity and eternity.
My view is that it may be the case that everything that is not matter across space is experience through time - by definition, ontologically. There is no other form or content possible in the cosmos. Numbers are experiences as they must be inferred by computational agents and cannot exist independently of them. What my formulas do is to propose a precise relation between dream-time (including logical algebras) and matter-space (including topological geometries). To do this we need to invoke a continuity between them which is a perpendicular axis which runs from the literal (tight equivalence; induction is accomplished through linear arithmetic logic) to the figurative/metaphorical (loose thematic association; induction is accomplished through linear logic as well as elliptical cross-context leaps).I don't believe in time, space, cosmos, matter, ...I explain their appearance by the dream property of numbers, relatively to universal numbers.
That's what I am showing you, is how the dream property of numbers (eidetic-figurative) and the number property of dreams (entopic-literal) are two polar regions of the same (involuted) continuum.I am a simple minded logician. If you use a technical term, you have to explain it to me in a precise frame theory.I don't ask you to formalize it in first order logic, but to succeed in explaining this enough precisely so that a poor logician like can understand that with time and patience we can get such a formalization. If not it looks like you can say anything you want, and very often, it makes sense in machine first person terms, and thus fail to convey your non-comp intuition more than the natural non-comp intuition of *all* correct machine.Comp shows intuition locally correct, locally useful, locally unavoidable, but globally wrong.
Likewise non-comp shows the logic of 'correct and useful' to be trivially valuable but profoundly inadequate. We can use different terms, as long as one side is literally figurative (numbers are actually figures)
and the other figuratively literal (dreams seem like reality to some degree). I keep throwing out different terms, which ones are you comfortable with?
Oriental - Western.
Subjective - Objective.
Algebraic-Topological.
Dreamtime - Spacetime.
Interior - Exterior.
Proprietary - Generic.
Signyfing - Generic.
Personal - Universal.
Private - Public.
Eidetic - Entopic
Narrative - Scenic
Portrait - Landscape
Vertical - Horizontal
Solipsistic - Mechanistic
I - itℵ-Ω
ॐ - (ॐ - ॐ)
What I am saying though is that *any quantitative treatment of qualitative experience is an unrecoverably catastrophic reduction*.
I agree with this. Comp prevents to do such a reduction about what a machine can be and can be capable of.
Ok, but we have to connect that irreducible quality with quantity, and I think we can do that with this symmetrical continuum of literal figures and figurative literacy.
Perhaps. But you should do it, then, or convince others to do it.
I think I am doing that. I don't know that others can be convinced though, they have to convince themselves.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.Why meaningless?
Because that's what variables do, they generalize all potential content-meanings under single quantifiable term.Hmm... OK. But the person is in the box (B), not in the variable, which is usually used for some unspecified arithmetic proposition, or memories content, etc.
If the box is B and the person is in the box, then the person is in B,
which is a variable containing no possibility for content (other than to refer to a potential for content...B stands for a menu, not a meal).
I don't really understand what modal logic has to do with the possibility of quality.The machine modal logic of self-reference, Bp, when conjuncted with the non nameable Truth, leads the machine to discover true propositions, in a sort of immediate way, which they cannot justify nor even describe, except by projecting them on similar machines.The redness quality is like that. I have no doubt that I experience redness, but I am unable to communicate it to a blind rationalist. I can point on something red, and hope my fellow has a sufficiently similar experience, so that the word "red" will have a sufficiently close meaning to mine.
The incommunicable nature of qualities like red is not sufficient to point to anything like red though. Water is wet, but so are a lot of things. Wetness doesn't make it water and ineffability by itself doesn't generate an explanation for qualia.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
How is it describing qualities? It seems to me to be describing quantitative formalism. How does one describe red logically?By explaining it exists necessarily and that it cannot be describe logically. Modal logic, in the machine context are "meta". It does not explain the quality red. It explains that quality exists and are NOT describable quantitatively.The "universal soul", Bp & p, or the S4Grz logic, is a sort of mathematical tour-de-force: it is a formal logic describing the logic of content which are impossible to formalize ever. But we can formalize this at the metalevel.But it formalizes red out of existence. It makes it #FF0000.
Well, if I remember well, you are the one who refuse to sell a steak to my daugher's husband, who said "yes" to a doctor, and is, by construction, a machine.
I don't deny that we are machines, only that we are entirely machines.
My point is that we can just as easily be described as non-machines with machine-like tendencies as the other way around. The symmetry between the two and the sense between them is what I am interested in.
While I admit, certainly, to being ignorant of the particular details of mathematical principles which give you a more generous view of machine consciousness than I have, I don't limit the capabilities of machines in the way that you assume. If quanta is flat qualia,Quanta are more sort of sharable qualia.
I agree, but what I am adding to that is that the more sharable they are, the less qualitative they have to be by definition. If you want the most universal truths, they must be shallow and meaningless. If you want deep and meaningful truths then they must be personal (to match up with a lifetime's worth of personal associations and experiences).
First person plural construct brought by the many-world internal interpretation of arithmetic by arithmetical beings.
I think MWI is a plug for the inadequacy of comp. With sense, you don't need to formally execute all possible computations, you can use elliptical (...) nesting to fill in for infinities and therefore retain the coherence of a single-world interpretation,
or as I call it, a Sole Entropy Well (single source of almost zero entropy - pure signal-ness, which perpetually 'floats on top' of all subordinate causes and conditions...like God, but without the beard.)then machine intelligence can extend infinitely farther than organic intelligence, because of the horizontal universality of it.Yes, indeed.What I am saying is that you can't build qualia out of quanta,I agree with this. Qualia emerges logically before quanta, but it seems the contrary. That can perhaps be related to Stephen-Pratt reversal of arrows in the mind body relation, or to the duality between thrid person (Bp) and the Theaetetical first person (Bp & p).
Sounds promising?
because there is no universal qualia.This I doubt. More from personal reasons than comp, though.
Universal qualia I suppose is qualia of the unity/symmetry between qualia and quanta.
Qualia is othrogonal to quanta - it is the manifestation of non-universality itself.Well, with comp, quanta is the tiny emerging part of the qualia-consciousness part of the arithmetical platonia, seen from inside.May be the crux of our difference (beyond comp/non-comp) is that, as many people, you seem to believe that lind and matter are symmetrical and have same caliber. But comp is still open too full platonism, in which matter, and physical universe are more like a divine bug, a temporary misleading; hding the truth more than paving a way to it. Some platonist identify matter with bad, or the devil. this is of course an open problem with comp, but what can already been argued for is that the mindscape is vastly bigger than the physical scape. The comp mindscape or personscape is vast. *Very* vast. It escapes the math. It violates physicalism, but also mathematicalism, despite the ontology is quite little (a tiny segment of arithmetical truth).Bruno
I think of matter as bad i
On 8/19/2012 7:57 AM, Bruno Marchal wrote:
I understand that 2+2 = 4.I still cannot explain how and why I understand "2+2 = 4"."2+2=4" is easy."I understand 2+2=4" is quasi infinitely more complex.
Dear Bruno,
As I see it, the quasi-infiitely more complex aspect of "I understand that 2+2=4" follows, at least, from the requirement that many entities capable of making such statements can point to examples of 2+2=4 and communicate about such statements with each other however far away in space and time they are from each other. We can ignore the fact that there is a collection of entities to whom the statement "I understand that 2+2=4" has a meaning.
You need to get a grip on the nature of meaningfulness. Searle has tried to do this with his Chinese Room idea but failed to communicate the concept. :_(
snip
The dreaming number are usually very big concrete number. They dream
by encoding computational state of person, relatively to some
universal number, which are encoding universal machine relatively to
some other one, and the initial one can be chosen arbitrary. Those are
not symbolic number, but real encoding number, a bit like the genome
if you want.
Why would that result in a dream?
Because I work in the comp theory where we come to the idea that consciousness can be manifested by abstract relation between numbers, as they emulate computation. We have already said "yes" to the doctor.
You don't really 'come to the idea' at all though, you assume it from the start. There is no theory for why or how numbers would dream, only the assumption that they do.
Here I absolutely disagree. The theory is that I am a material machine. The conclusion is that matter is an hallucination, yet a lawful one. It looks like you have not yet take a deep look on UDA.
No Bruno, you do not *just* have a theory that "I am a machine".
There are many assumptions buried in the UDA that are ignored. One of them is that there are a pre-existing collection of distinguishable entities capable of comprehending what is an abstract theory.
This includes the blackboards on which you write your "chicken-scratch" and the internet and the computers that we are using to write, send and receive these emails.
There is an entire physical world that you want to ignore, mostly, I suspect, because you do not want to deal with the interaction/concurrency problem.
The conclusion that "matter is a hallucination", while correct IMHO, does not eliminate the impact of this pre-existing collection and their capacities.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?
To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would storage imply any kind of encoding? Without physics to constrain resource requirements, there would be no need to compress information.
The numbers do that all the time. There is no need, but they cannot not doing it, because it follows from addition and multiplication. There is no need for Saturn's ring either.
Ultimately one could argue that anything is "no needed" and yet such arguments are wrong headed.
Numbers are not isolate entities! They do not "do" anything in and from themselves.
There is not even an "self" in a number alone unless we think of them as a fixed point of a class of transformations of a quasi-infinite collection. You seem to be using a Sorites paradox type of argument here to make a false point.
http://plato.stanford.edu/entries/sorites-paradox/
"The sorites paradox is the name given to a class of paradoxical arguments, also known as little-by-little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion.
This phenomenon at the heart of the paradox is now recognized as the phenomenon of vagueness (see the entry on vagueness). Though initially identified with the indeterminacy surrounding limits of application of a predicate along some dimension, vagueness can be seen to be a feature of syntactic categories other than predicates. Names, adjectives, adverbs and so on are all susceptible to paradoxical sorites reasoning in a derivative sense".
I can't think of any reason that a Turing machine would need to create an abstraction layer, especially if you could control the speed of the tape. If for any reason you needed subroutines to synchronize, you could run those parts of the tape faster or slower - infinitely fast if you like. Without physics, time is relative and unbounded. A Turing machine needs no programming language, it doesn't even need bytes. You can do all of your addressing on the fly with dynamically sized memory chunks. All of these formalisms, codes, architectures, etc are purely in the service of the limitations imposed by physics and human convenience.
Not if you bet that we are machine. In that cse the UD reasoning shows that what you describe is only the appernt view from inside, but that eventually the physical resource constraints arise from the mathematical computer science constraints, that is, from arithmetic.
Sure, we have evidence that our experiences of the world are not direct contact with the objects making up the world but are a form of virtual reality generated by our brain. Therefore we can make good bets that more often than not are good such that they pay off, but the computation that the brain generates that our experiences supervene upon simply does not happen in the absence of physical processing that fall under the rule of "thermodynamics".
There is no knowledge for free. Arithmetic is the product of many such brains interacting with each other *and* it is a relational structure that exists in its own right.
We cannot remove the former of this pair and imagine that the latter is left to float free and continue with all of its abilities intact.
We get tired of writing a thousand lines of code every time we want to transform some dataset, but the computer doesn't care. It will run a trillion lines of code just to add the same number to itself, it doesn't care how long it takes or how wasteful it seems to us.
Not with comp, as I am a person which manifest itself through a computer, and persons care.
Certainly, but this is because of the vast constellation of other persons that you are capable of not only betting to exist and have some particular set of properties, but also cannot just theorize out of existence. COMP does not exist in isolation. It is a concept that exists in (all possible versions of ) our records of it (which include our internal brain memories).
Why would it need any other form - especially if it is all made of numbers?
Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
But a universe is not a consequence of Platonia.
It is. Or your non-comp assumption is correct, but I do not work in the theory non-comp. Actually, I have not yet seen a non-comp *theory*. Only philosophical argument against comp, but no concrete replacement.
I cannot speak for Craig directly, but where we have a disagreement is in the things that COMP ignores. The larger universe within which it has meaningful expression.
Since we know that we have a universe
We know only that we are conscious. How could we know that there is a (physical) universe?
Because we can kick the wall and watch our foot rebound.
There is overwhelming evidence that there is a physical universe.
The very act of exchanging these emails is some of that evidence!
Can we be certain of what it is like in-itself? No! We cannot! But we can form theories about what it might be and test these. This fact alone tells us that there is "something" that is there and it is not just the figment of my (singular) imagination.
We don't even *know* that there is a mathematical universe, or even an arithmetical universe. We bet on it.
Yes, and we can do that only because of the prior possibility of being able to represent facts about that universe to ourselves and each other.
that means that it is Platonia which needs to be justified intellectually in terms of contributing to the universe, not the other way around.
But with comp, we do got an explanation of the physical universe(s). And we got both quanta and qualia. It might be false, but the explanation is there.
Only to you is there such a complete explanation.
We simply cannot ignore the fact that we are "not-Bruno" and that only "Bruno bets correctly that comp is true".
This is like the sentence: "Stephen Paul King cannot prove that this statement is true". I can only bet on it one way or another, but anyone else can prove things about it.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?
It is a logical consequence, once you accept the idea that you might survive with a digital brain.
It's the logic of begging the question. I ask you why numbers dream and you say it's logical if you accept that dreams can survive as digital process. I don't though. If human dreams could exist in something other than humans, then they would already.
And that is the case already, indeed. That follows from the reasoning.
:-P
On the sands of the beaches, in the odd complicated cloud formation. I would need a compelling reason to believe otherwise. Why would I give the benefit of the doubt to machines when machines have clearly shown no signs of feeling thus far?
But molecular biology, quantum mechanics, etc. suggest strongly that we are machine.
You are not just talking about particular formal theories! You are also tacitly taking into account the vast world of observations using those theories that find them to be correct.
This does not deny the suggestion that we are machine, but it does not allow a free floating abstract representation of The Machine to exist *and* do things that only the universe of interacting entities can do.
The rest is the logical consequence. There is no evidence for non-comp.
This email *is* evidence! That I can coherently (in spite of my dyslexia) understand what you might mean with those symbols) such that I can respond in kind is evidence that not-comp. But I am only focusing on the error in step 8 that makes comp fail for me, and thus make a non-comp claim.
So we do have compelling reason to think that machine can have feeling. The conjunction of our own experience, and the study of our bodies.
No no no no no! We cannot ever have any reason, it is not 1p and thus cannot be considered as knowledge! It is not possible to exactly represent the 1p, we can only approximate it. We can get very very very close to it, but we can never get "it".
My experience of what it is like to be me is not sharable, and thus cannot be copied, coded or transferred. I can only copy, code and share representations of it. The map is only the territory when the territory is the map. Otherwise please do not conflate or confuse the two.
But I don't want to defend comp. That's the kind of philosophy I do not work on. I just show the consequence of being material machine. The consequences are that we are already in a "matrix", whose structure can be mathematically handled, so that we can constructively derive physics, and compare it to the empirical physics, so that comp is shown testable. (To be short).
Not just that they might not have feelings, but that they are universally known for lacking any capacity for feeling whatsoever - that is what defines the nature of machines. When you understand the continuum of eidetic to entopic, figurative to literal, you will understand why this makes perfect sense
But what you say makes sense. The comp theory already explains why comp is hard (impossible, even) to believe, and why it has to be highly counter-intuitive.
Only because of the very abstract math involved, otherwise it is not complicated at all! Otherwise the "explain it to your grandmother" is impossible.
A machine is an assembly of logical forms. That does not produce any phenomenology by itself because it is constructed from the outside in. Living organisms build themselves from the inside out, from their own native sensitivities and motivations. They are not having an alien script intentionally imposed upon their behavior.
I don't know that. Genetic illustrates that nature do scripts. But math shows also that very short scripts, like "help yourself" can lead to tremendous richness and complexity.
Umm, this is a subject that we should elaborate on all on its own. The sentence "help yourself" is not just 12 symbols in some particular order!
Sure, a lot of difference that make a difference can be coded with those many brain states. But you need to show why they have the particular rules that they have.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?
Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
That may be, but why in the world would computational befuddlement be expressed as personality and realism?
Because there is, very roughly, 60000^10000000000 brain states possible, that makes a lot of subjectivity possible, and they are multiplied and selected through a filtering on a continuum of computations (first person indeterminacy).
We simply cannot ignore the body problem!
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.
Why meaningless?
Because that's what variables do, they generalize all potential content-meanings under single quantifiable term.
Hmm... OK. But the person is in the box (B), not in the variable, which is usually used for some unspecified arithmetic proposition, or memories content, etc.
No! A person is not "in the box (B)" at all! This is a map-territory conflation without explanation!
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.
No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
If machines have souls, then there has to be a way that the two are connected. There has to be some kind of rationale for it.
Nice to hear that. I agree.
As do I.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.
You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
I don't think you have to postulate matter, you only have to formalize what you already assume about dreaming numbers.
OK. That's the point. In the comp theory.
But comp theory does not float free of the world within which it has a meaning!
Just as how "17 is prime" has a unique truth value only in a world where that set of physical pattern convey a meaning. In the absence of that world there is not meaning nor truth value.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).
?
A square peg either fits in a particular sized round hole or not. That is a true/false. It can be proved by actually trying to fit the peg in the hole. Those are third person public conditions. Whether one peg or hole seems 'better' than another is a first person kind of distinction.
Sentences are true (or false) only in worlds that have demonstrations of those sentences.
Truth is not independent of context. It is independent of any particular representation within a set of mutually accessible worlds. We cannot imagine that entities have some particular set of properties (which include truth values) in the absence of the possibility to verify such and verification is the quintessence of the physical world, unless we are OK with incoherent thinking....
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.
But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
I don't really understand what modal logic has to do with the possibility of quality.
The machine modal logic of self-reference, Bp, when conjuncted with the non nameable Truth, leads the machine to discover true propositions, in a sort of immediate way, which they cannot justify nor even describe, except by projecting them on similar machines.
Truth is not an object per se. It can be identified with an object, but it itself is not. The map is only the territory when the territory is the map. Truth is not a person and thus has no particular name, thus it cannot beconjuncted with anything else. It has no peer!
The redness quality is like that. I have no doubt that I experience redness, but I am unable to communicate it to a blind rationalist. I can point on something red, and hope my fellow has a sufficiently similar experience, so that the word "red" will have a sufficiently close meaning to mine.
You cannot communicate redness at all! Qualia are strictly 1p. We can talk about representations of 1p, but never 1p itself.
This is why we need something like bisimulation to represent communication and interactions in general.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?
The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
How is it describing qualities? It seems to me to be describing quantitative formalism. How does one describe red logically?
By explaining it exists necessarily and that it cannot be describe logically. Modal logic, in the machine context are "meta". It does not explain the quality red. It explains that quality exists and are NOT describable quantitatively.
OK, then please be consistent! Our explanations only touch the representations of the 1p, we never touch our 1p themselves.
The "universal soul", Bp & p, or the S4Grz logic, is a sort of mathematical tour-de-force: it is a formal logic describing the logic of content which are impossible to formalize ever. But we can formalize this at the metalevel.
We have formal representations of representations of the concept of "universal soul"... The concept is a collectively agreed upon representation and that collective agreement only happens because of the physical world.
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of Gödel and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (Löbian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.
I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
The fact that there would be data that cannot be communicated from a fixed vector doesn't imply to me anything specifically personal or experiential. What is relevant about consciousness is not only *that* it is private, but what the content of that privacy is.
Of course.
But please do not miss the point here, Bruno! You are ignoring the fact that representations can be of other representations but not only of other representations. Somewhere some how, there must be a persistent demonstration of the referent.
The form of it is trivial, except that it helps us understand the relation to exterior realism. Using modal logic to describe experience makes a formula out of the shape of a can and presents it as a way of creating canned food.
See above.
Yes, please do, Bruno! Maps of maps of maps of maps of ... only converge in a representation of the stream of mappings... and such a concept has a meaning because there is something that it is like that is a 1p.
> Let the ignoring and insulting begin!
>
We don't need that here, I think, nor anywhere. An insult is almost
always equivalent with "I have no argument".
I agree.
I know. You are wise. And we agree on many things, but we are working in antipodal theories. I think you have reductionist conception of machine, to be franc.
You are wise too. I think that your view of my view of machines is more of a projection than you think.
Well, if I remember well, you are the one who refuse to sell a steak to my daugher's husband, who said "yes" to a doctor, and is, by construction, a machine.
Umm, are you going to sue him for illegal acts of discrimination? Horrors, Craig is a criminal! Am I one as well for trying hard to actually understand what he is trying to communicate? To be serious, Bruno, plese consider that Craig and I have theories about machines and are not reductionists. We are just considering a wider context than you do with COMP. You are only considering formal theories that can be expressed in sigma_1 sentences, no?
While I admit, certainly, to being ignorant of the particular details of mathematical principles which give you a more generous view of machine consciousness than I have, I don't limit the capabilities of machines in the way that you assume. If quanta is flat qualia,
Quanta are more sort of sharable qualia.
Please explain this sentence. It assumes a theory of bodies that you have, so far, only been coy about.
First person plural construct brought by the many-world internal interpretation of arithmetic by arithmetical beings.
For there to be a "many-world internal interpretation" there must be something that is a world and a reason for many of them - not just one. These are the sort of things that you do not discuss at length that are at the heart of my own critique of comp step 8.
then machine intelligence can extend infinitely farther than organic intelligence, because of the horizontal universality of it.
Yes, indeed.
See! We are not reductionist.
What I am saying is that you can't build qualia out of quanta,
I agree with this. Qualia emerges logically before quanta, but it seems the contrary. That can perhaps be related to Stephen-Pratt reversal of arrows in the mind body relation, or to the duality between thrid person (Bp) and the Theaetetical first person (Bp & p).
Indeed! The reversal of the arrows is a symmetry that is only possible because of the postulation that numbers and physical matter are on the same ontological level (neither is primitive). They emerge from each other.
because there is no universal qualia.
This I doubt. More from personal reasons than comp, though.
Please elaborate on this!
Qualia is orthogonal to quanta - it is the manifestation of non-universality itself.
Well, with comp, quanta is the tiny emerging part of the qualia-consciousness part of the arithmetical platonia, seen from inside.
I would agree with this if and only if you concede that the particularity of the quanta are the result of infinitely many bisimulations.
This is the solution to the body problem that I propose. You need to see where bisimulation fits in comp. AFAIK, there is no room in COMP for bisimulation because it is the theory of a single monad.
May be the crux of our difference (beyond comp/non-comp) is that, as many people, you seem to believe that mind and matter are symmetrical and have same caliber. But comp is still open too full platonism, in which matter, and physical universe are more like a divine bug, a temporary misleading; hding the truth more than paving a way to it. Some platonist identify matter with bad, or the devil. this is of course an open problem with comp, but what can already been argued for is that the mindscape is vastly bigger than the physical scape. The comp mindscape or personscape is vast. *Very* vast. It escapes the math. It violates physicalism, but also mathematicalism, despite the ontology is quite little (a tiny segment of arithmetical truth).
There is no asymmetry between the mental and the material! You only think this because you ignore the uncountable infinity of possible physical worlds.
It is the possibility of the thinking that "all is matter" or "all is mind" that is the problem when misunderstood. There is so much more that I need to write on this but I have no more time to write...
Bruno
-- Onward! Stephen "Nature, to be commanded, must be obeyed." ~ Francis Bacon
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
----- Receiving the following content -----
From: Bruno MarchalReceiver: everything-list
Time: 2012-08-21, 05:58:57
Subject: Re: Reconciling Bruno's Primitives with Multisense
You keep being deadly wrong on this issue. The point is that we CANNOT assume this AFTER having said "yes" to the doctor. We can assume a physical reality, and interaction, but in fine, we have to justify it from the numbers, and this is the formulation of the problem. I refer you to Girard "geometry of interaction" which is the closer from what we get from G锟斤拷del's self-reference.
The conclusion that "matter is a hallucination", while correct IMHO, does not eliminate the impact of this pre-existing collection and their capacities.How could an hallucination be pre-existing? That does not make sense.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would storage imply any kind of encoding? Without physics to constrain resource requirements, there would be no need to compress information.The numbers do that all the time. There is no need, but they cannot not doing it, because it follows from addition and multiplication. There is no need for Saturn's ring either.
Ultimately one could argue that anything is "no needed" and yet such arguments are wrong headed.
Numbers are not isolate entities! They do not "do" anything in and from themselves.This is too vague. You are ignoring than numbers obeys laws which makes them Turing universal, so I am not sure what you mean by isolated in this context. Of course they are digital, so they have a discrete topology, but this does not isolate them. Numbers do things, like 3 divides 6, or like a universal numbers can implement a human brain, independently of anything else.
There is not even an "self" in a number alone unless we think of them as a fixed point of a class of transformations of a quasi-infinite collection. You seem to be using a Sorites paradox type of argument here to make a false point.
http://plato.stanford.edu/entries/sorites-paradox/
"The sorites paradox is the name given to a class of paradoxical arguments, also known as little-by-little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate 锟斤拷is a heap锟斤拷, no one grain of wheat can be identified as making the difference between being a heap and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion.
> This continuum f (锟斤拷(Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph 锟斤拷)to infinitely
> discrete/public third person mechanism (calling that Omega 锟斤拷), so
> that at 锟斤拷,any given dream is experienced as 99.99锟斤拷9% dream and
> 0.00锟斤拷1% number and at 锟斤拷 (Omega), any given machine or number is
> presented as 99.99锟斤拷9% number and 0.00锟斤拷1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.
That makes some sense.
That's what I'm saying. Quanta is qualia that has been flattened until it spreads out like with a rolling pin to the point of universality. Qualia is the dough that has no extension into public space.
OK.
>
> The halfway point between the 锟斤拷 (Aleph) and 锟斤拷 (Omega) axis is the
> perpendicular axis f (-锟斤拷(Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (锟斤拷=锟斤拷
> equality) to broadly elliptical potential set membership (锟斤拷锟斤拷锟斤拷
> ellipsis)
>
> So it looks something like this:
>
> f(锟斤拷) 锟斤拷 {锟斤拷 锟斤拷锟斤拷锟斤拷 锟斤拷 锟斤拷=锟斤拷 锟斤拷}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at 锟斤拷(Omega), 锟斤拷 (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at 锟斤拷 (Aleph), 锟斤拷 (Om) expresses as
> 锟斤拷锟斤拷锟斤拷锟斤拷 (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, 锟斤拷锟斤拷锟斤拷锟斤拷(clubs, spades, hearts, diamonds)
>
> where:
>
> 锟斤拷 clubs (wands) =Fire, spiritual, tactile
> 锟斤拷 spades (swords) = Air, mental, auditory
> 锟斤拷 hearts (cups) =Water, emotional, visual
> 锟斤拷 diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that 锟斤拷 clubs (wands) and 锟斤拷 spades (swords) are
> stereotypically masculine and abstracting forces, while 锟斤拷 hearts
> (cups) and 锟斤拷 diamonds (pentacles/coins) are stereotypically
Mhm!
> We can锟斤拷t pretend to talk about the eidetic, dream like
?
result of G锟斤拷del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L锟斤拷bian) machine (simpler
Of course.
----- Receiving the following content -----From: Stephen P. KingReceiver: everything-list
Time: 2012-08-20, 11:51:24Subject: Re: The modal logic needs to aim purposefully toward the"best possible" solution.
----- Receiving the following content -----
From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,�however at differing levels of information integration,
in the "universal锟紺YM monad锟絪ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno Marchal�According to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.锟絎e have nothing to do with it,
The conclusion that "matter is a hallucination", while correct IMHO, does not eliminate the impact of this pre-existing collection and their capacities.
How could an hallucination be pre-existing? That does not make sense.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?
To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would storage imply any kind of encoding? Without physics to constrain resource requirements, there would be no need to compress information.
The numbers do that all the time. There is no need, but they cannot not doing it, because it follows from addition and multiplication. There is no need for Saturn's ring either.
Ultimately one could argue that anything is "no needed" and yet such arguments are wrong headed.
Numbers are not isolate entities! They do not "do" anything in and from themselves.
This is too vague. You are ignoring than numbers obeys laws which makes them Turing universal, so I am not sure what you mean by isolated in this context. Of course they are digital, so they have a discrete topology, but this does not isolate them. Numbers do things, like 3 divides 6, or like a universal numbers can implement a human brain, independently of anything else.
There is not even an "self" in a number alone unless we think of them as a fixed point of a class of transformations of a quasi-infinite collection. You seem to be using a Sorites paradox type of argument here to make a false point.
http://plato.stanford.edu/entries/sorites-paradox/
"The sorites paradox is the name given to a class of paradoxical arguments, also known as little-by-little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion.
This phenomenon at the heart of the paradox is now recognized as the phenomenon of vagueness (see the entry on vagueness). Though initially identified with the indeterminacy surrounding limits of application of a predicate along some dimension, vagueness can be seen to be a feature of syntactic categories other than predicates. Names, adjectives, adverbs and so on are all susceptible to paradoxical sorites reasoning in a derivative sense".
You might explain the relevance of this. Where do I do that error?
I can't think of any reason that a Turing machine would need to create an abstraction layer, especially if you could control the speed of the tape. If for any reason you needed subroutines to synchronize, you could run those parts of the tape faster or slower - infinitely fast if you like. Without physics, time is relative and unbounded. A Turing machine needs no programming language, it doesn't even need bytes. You can do all of your addressing on the fly with dynamically sized memory chunks. All of these formalisms, codes, architectures, etc are purely in the service of the limitations imposed by physics and human convenience.
Not if you bet that we are machine. In that cse the UD reasoning shows that what you describe is only the appernt view from inside, but that eventually the physical resource constraints arise from the mathematical computer science constraints, that is, from arithmetic.
Sure, we have evidence that our experiences of the world are not direct contact with the objects making up the world but are a form of virtual reality generated by our brain. Therefore we can make good bets that more often than not are good such that they pay off, but the computation that the brain generates that our experiences supervene upon simply does not happen in the absence of physical processing that fall under the rule of "thermodynamics".
If you prove this, then you can add a 9th step and conclude that comp is wrong. But you keep saying this without proof or argument.
There is no knowledge for free. Arithmetic is the product of many such brains interacting with each other *and* it is a relational structure that exists in its own right.
?
We cannot remove the former of this pair and imagine that the latter is left to float free and continue with all of its abilities intact.
In the non comp theory, as step 8 shows that even if there was a physical reality, it would not be related to any form of stable consciousness.
We get tired of writing a thousand lines of code every time we want to transform some dataset, but the computer doesn't care. It will run a trillion lines of code just to add the same number to itself, it doesn't care how long it takes or how wasteful it seems to us.
Not with comp, as I am a person which manifest itself through a computer, and persons care.
Certainly, but this is because of the vast constellation of other persons that you are capable of not only betting to exist and have some particular set of properties, but also cannot just theorize out of existence. COMP does not exist in isolation. It is a concept that exists in (all possible versions of ) our records of it (which include our internal brain memories).
Again that would contradict either comp, or comp's consequence. So you are saying that comp is false, or that there is a flaw in UDA. But as long as you don't find it, you have to accept comp's consequences. Without AUDA and the quantum I would also have taken this as an argument making comp not really plausible, but with QM nature seems to follow comp in its most startling consequences, so a non-comp conclusion is premature with respect to UDA.
Why would it need any other form - especially if it is all made of numbers?
Nobody needs a universe. Why do we do babies?The "truth" is that we have them, we cannot really avoid them. It is like the prime number and the universal machine. Once you have zero and + and *, you get Platonia, and a lot of mess in Platonia. It is a logical consequence.
But a universe is not a consequence of Platonia.
It is. Or your non-comp assumption is correct, but I do not work in the theory non-comp. Actually, I have not yet seen a non-comp *theory*. Only philosophical argument against comp, but no concrete replacement.
I cannot speak for Craig directly, but where we have a disagreement is in the things that COMP ignores. The larger universe within which it has meaningful expression.
How does the larger universe be responsible for meaning?
Are all the interacting people living on arithmetic's border zombies?
Since we know that we have a universe
We know only that we are conscious. How could we know that there is a (physical) universe?
Because we can kick the wall and watch our foot rebound.
If you find this convincing, we have a problem.
There is overwhelming evidence that there is a physical universe.
I agree completely with this. With comp, that is the reason of the body problem. We must justify our belief in it without postulating it. Or there is a flaw in UDA. Where?
The very act of exchanging these emails is some of that evidence!
With comp that is an evidence only for a dream sharing, or a video game, not a primitive reality. You keep confusing level and meta-levels.
Can we be certain of what it is like in-itself? No! We cannot! But we can form theories about what it might be and test these. This fact alone tells us that there is "something" that is there and it is not just the figment of my (singular) imagination.
Of course. but with comp, what is "really there" can and must be limited to the sigma_1 truth.
We don't even *know* that there is a mathematical universe, or even an arithmetical universe. We bet on it.
Yes, and we can do that only because of the prior possibility of being able to represent facts about that universe to ourselves and each other.
Then comp is false.
that means that it is Platonia which needs to be justified intellectually in terms of contributing to the universe, not the other way around.
But with comp, we do got an explanation of the physical universe(s). And we got both quanta and qualia. It might be false, but the explanation is there.
Only to you is there such a complete explanation.
No. To all universal machines/numbers.
We simply cannot ignore the fact that we are "not-Bruno" and that only "Bruno bets correctly that comp is true".
By definition, all computationalist makes that bet. And I am agnostic on computationalism. I just show that the idea that there is a physical universe cannot explain our beliefs that there is a physical universe.
This is like the sentence: "Stephen Paul King cannot prove that this statement is true". I can only bet on it one way or another, but anyone else can prove things about it.
What I am saying is that if you are going to invoke a possibility of dreams, that has to be grounded in the terms that you are laying out as primitive. Why would dreams leap out of mechanical relations?
It is a logical consequence, once you accept the idea that you might survive with a digital brain.
It's the logic of begging the question. I ask you why numbers dream and you say it's logical if you accept that dreams can survive as digital process. I don't though. If human dreams could exist in something other than humans, then they would already.
And that is the case already, indeed. That follows from the reasoning.
:-P
On the sands of the beaches, in the odd complicated cloud formation. I would need a compelling reason to believe otherwise. Why would I give the benefit of the doubt to machines when machines have clearly shown no signs of feeling thus far?
But molecular biology, quantum mechanics, etc. suggest strongly that we are machine.
You are not just talking about particular formal theories! You are also tacitly taking into account the vast world of observations using those theories that find them to be correct.
We never find that a theory is correct.
This does not deny the suggestion that we are machine, but it does not allow a free floating abstract representation of The Machine to exist *and* do things that only the universe of interacting entities can do.
Well, if you have a problem with 2+2=4, there is nothing I can do for you. You are stuck in the level-metalevel confusion I am afraid.That might explain why you cannot give a theory.
The rest is the logical consequence. There is no evidence for non-comp.
This email *is* evidence! That I can coherently (in spite of my dyslexia) understand what you might mean with those symbols) such that I can respond in kind is evidence that not-comp. But I am only focusing on the error in step 8 that makes comp fail for me, and thus make a non-comp claim.
But please show the error. You only claim that there is one, staring from a philosophical conviction. You might be right, but then use your philosophical conviction to find it. What is wrong in step 8. Besides most of what you said already contradict step seven too.
So we do have compelling reason to think that machine can have feeling. The conjunction of our own experience, and the study of our bodies.
No no no no no! We cannot ever have any reason, it is not 1p and thus cannot be considered as knowledge! It is not possible to exactly represent the 1p, we can only approximate it. We can get very very very close to it, but we can never get "it".
Then the doctor cannot succeed in reincarnating us through a digital brain, and all you say is that comp is wrong.
My experience of what it is like to be me is not sharable, and thus cannot be copied, coded or transferred. I can only copy, code and share representations of it. The map is only the territory when the territory is the map. Otherwise please do not conflate or confuse the two.
Comp only conflates the fixed point, with this image.
But I don't want to defend comp. That's the kind of philosophy I do not work on. I just show the consequence of being material machine. The consequences are that we are already in a "matrix", whose structure can be mathematically handled, so that we can constructively derive physics, and compare it to the empirical physics, so that comp is shown testable. (To be short).
Not just that they might not have feelings, but that they are universally known for lacking any capacity for feeling whatsoever - that is what defines the nature of machines. When you understand the continuum of eidetic to entopic, figurative to literal, you will understand why this makes perfect sense
But what you say makes sense. The comp theory already explains why comp is hard (impossible, even) to believe, and why it has to be highly counter-intuitive.
Only because of the very abstract math involved, otherwise it is not complicated at all! Otherwise the "explain it to your grandmother" is impossible.
Grandmother can understand that "explaining the 1p" in term of 3p is impossible, once comp is assumed, and so it needs some act of faith.
A machine is an assembly of logical forms. That does not produce any phenomenology by itself because it is constructed from the outside in. Living organisms build themselves from the inside out, from their own native sensitivities and motivations. They are not having an alien script intentionally imposed upon their behavior.
I don't know that. Genetic illustrates that nature do scripts. But math shows also that very short scripts, like "help yourself" can lead to tremendous richness and complexity.
Umm, this is a subject that we should elaborate on all on its own. The sentence "help yourself" is not just 12 symbols in some particular order!
Sure, a lot of difference that make a difference can be coded with those many brain states. But you need to show why they have the particular rules that they have.
Even if there was some purpose for it, how could that actually take place - what are the dreamings made of?
Ontologically: nothing take place. All the computations are there. Some emulate self-observing machine and the math explain why they have to be beffudled by existence and conscience.
That may be, but why in the world would computational befuddlement be expressed as personality and realism?
Because there is, very roughly, 60000^10000000000 brain states possible, that makes a lot of subjectivity possible, and they are multiplied and selected through a filtering on a continuum of computations (first person indeterminacy).
That is the easy part of comp.
We simply cannot ignore the body problem!
Indeed, that is the conclusion of UDA. It is very hard to understand you, as you repeat what I say all the times, with a tone like if I was ignoring it. That there is a body problem is the result of the investigation as UDA makes clear.
Modal logic can make a toy model of experience, by removing all of the experience and replacing it with a meaningless variable.
Why meaningless?
Because that's what variables do, they generalize all potential content-meanings under single quantifiable term.
Hmm... OK. But the person is in the box (B), not in the variable, which is usually used for some unspecified arithmetic proposition, or memories content, etc.
No! A person is not "in the box (B)" at all! This is a map-territory conflation without explanation!
When you say yes to the doctor, you are in the brain's plan, which is given by the arithmetical probability corresponding to that B. The map-territory are confused here as it is the comp assumption. The doctor does not put a model of you in the artificial brain. It puts you into it, by assumption.
It is to say 'here, instead of your baby, let's just call it 'consumer of diapers and milk' and design a nursery based on the statistics derived from that consumption.
No, it is the complete contrary. I see your point, but it is eaxtly that type of reduction that is prevented by comp. Even for machine, we can no more reduce them to their third person description. They do have a soul, even after-life, etc.
If machines have souls, then there has to be a way that the two are connected. There has to be some kind of rationale for it.
Nice to hear that. I agree.
As do I.
What is needed is a way to reference phenomenological qualities which expresses not merely non-comp, but explicitly asserts quality and a view of the universe from the perspective of irreducible quality.
You have to postualte them, and to postulate matter, and to postulate a relation, and non-comp, and that is neither satisfying, nor working. It introduces difficulties where there are already enough, imo.
I don't think you have to postulate matter, you only have to formalize what you already assume about dreaming numbers.
OK. That's the point. In the comp theory.
But comp theory does not float free of the world within which it has a meaning!
Level confusion.
Just as how "17 is prime" has a unique truth value only in a world where that set of physical pattern convey a meaning. In the absence of that world there is not meaning nor truth value.
If that was true, an explanation of 17 is prime would involved a physical reality. it does not. You are confusing level of explanation.
> We can’t pretend to talk about the eidetic, dream like
> perpendicular of number logic while using the purely empirical terms
> of arithmetic reduction. We need symbols that can only refer to
> named qualities rather than enumerated quantities.
>
This is exactly what happen when you define the first person by the
knower. Bp & p, or if you prefer
provable(p) and true(p),
provable and true are not first person qualities, they are epistemological quantifications. First person would be more like great(p) and superior(p).
?
A square peg either fits in a particular sized round hole or not. That is a true/false. It can be proved by actually trying to fit the peg in the hole. Those are third person public conditions. Whether one peg or hole seems 'better' than another is a first person kind of distinction.
Sentences are true (or false) only in worlds that have demonstrations of those sentences.
Then classical logic would not apply to arithmetic.
Truth is not independent of context. It is independent of any particular representation within a set of mutually accessible worlds. We cannot imagine that entities have some particular set of properties (which include truth values) in the absence of the possibility to verify such and verification is the quintessence of the physical world, unless we are OK with incoherent thinking....
This contradicts the existence of the body problem, or makes it impossible to solve, which is premature.
gives a modality which can provably be shown qualitative, and non
formalizable in arithmetic. It leads to a logic (know as S4Grz) which
describes something which is absolutely impossible to reduce to any
number relations or even anything third person describable notion,
even infinite one.
That doesn't mean it is qualitative, only that it is so obscurely arithmetic that arithmetic itself cannot quantify it.
But the machine still can refer to it. So I don't see why this would not work. It would not work if you reduce a machine to its body, but the divergence between Bp and Bp & p disallow such a reduction.
I don't really understand what modal logic has to do with the possibility of quality.
The machine modal logic of self-reference, Bp, when conjuncted with the non nameable Truth, leads the machine to discover true propositions, in a sort of immediate way, which they cannot justify nor even describe, except by projecting them on similar machines.
Truth is not an object per se. It can be identified with an object, but it itself is not. The map is only the territory when the territory is the map. Truth is not a person and thus has no particular name, thus it cannot beconjuncted with anything else. It has no peer!
Then fundamental science is impossible.
I understand better why you don't propose any theory. Eventually all you say is "don't ask". This is bad philosophy, as it kills science.
The redness quality is like that. I have no doubt that I experience redness, but I am unable to communicate it to a blind rationalist. I can point on something red, and hope my fellow has a sufficiently similar experience, so that the word "red" will have a sufficiently close meaning to mine.
You cannot communicate redness at all! Qualia are strictly 1p. We can talk about representations of 1p, but never 1p itself.
Here you do clearly the level confusion. Of course we can talk about qualia, even if we cannot define them. With S4Grz we explicitly talk about things which admits no formal description.
This is why we need something like bisimulation to represent communication and interactions in general.
And this would contradict what you just say above, or you lost me completely.
What quality does this modality have? Is it shiny? Is it spicy? Does it get tired?
The modality has no quality. It describes qualities. You might do a confusion of level. It is a bit like the confusion between the string "s(s(0))" and the number s(s(0)).
How is it describing qualities? It seems to me to be describing quantitative formalism. How does one describe red logically?
By explaining it exists necessarily and that it cannot be describe logically. Modal logic, in the machine context are "meta". It does not explain the quality red. It explains that quality exists and are NOT describable quantitatively.
OK, then please be consistent! Our explanations only touch the representations of the 1p, we never touch our 1p themselves.
I was just saying that. you loss me more and more. We might waste our time trying for we have different methodlogies, and as long as you don't provide a theory I can not make sense of your remarks.
The "universal soul", Bp & p, or the S4Grz logic, is a sort of mathematical tour-de-force: it is a formal logic describing the logic of content which are impossible to formalize ever. But we can formalize this at the metalevel.
We have formal representations of representations of the concept of "universal soul"... The concept is a collectively agreed upon representation and that collective agreement only happens because of the physical world.
Which contradict the comp body problem. the body problem is that we have to explain the body, not that we have to assume it in the theory. You are the one ignoring it.
You might think I just described it, by Bp & p, or by "provable(p) and
true(p)", but this is not the case, as I use some of your intuition
about truth, which cannot be arithmetized by itself, by a famous
result of Gödel and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (Löbian) machine (simpler
than us) we can develop a formal (quantitative in some sense, at some
level, from some point of view) theory concerning the non formal, and
even non-formalizable-at-all-by-the-machine, qualities that machine
can still refer about. And this can be used to explain why machine are
forced to be befuddled by the subjectively-real apparent gap between
third and first person attributes.
It seems like you are missing the obvious. Awareness is not just about knowing and navigating a set of logical conditions. That can be accomplished easily without any awareness. Experienced qualities are orthogonal to knowledge and procedural evaluation.
I can understand that "navigating a set of logical conditions" can be done without awareness. Awareness or knowlegde arrives when the navigating embed the navigator in truth, or in a reality. There is a fixed point, and it is explained why this is felt as a personal non communicable experience.
The fact that there would be data that cannot be communicated from a fixed vector doesn't imply to me anything specifically personal or experiential. What is relevant about consciousness is not only *that* it is private, but what the content of that privacy is.
Of course.
But please do not miss the point here, Bruno! You are ignoring the fact that representations can be of other representations but not only of other representations. Somewhere some how, there must be a persistent demonstration of the referent.
No problem. That exists in arithmetic, in the many relative ways.
Hi Stephen P. King
Leibniz did not have an overall theory of the universe suchas seems to be wanted here. The monadology is not an overalltheory of the universe, instead it is moreorless like a livingecology, where the parts (monads) compete and collaborate with eachother through the supremem monad (the CPU) which in effect carriesout all of the needs, states, desires, abilities, expectations, etc.So Leibniz's ToE is a sociology.
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
Hi Richard RuquistI also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the properconcepts to even begin with the task. Science does not knowwhat the meaning of anything is. Period.Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,�however at differing levels of information integration,
in the "universal燙YM monad爏ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno Marchal�According to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.燱e have nothing to do with it,
Hi Bruno MarchalAccording to the Bible, belief is a product of faith or trust, and that trustdoes not come from you, it is a gift from God.
We have nothing to do with it,at least that isa what we Lutherns believe.
Yes, Hume was complaining about slipping modal logic into an argument.
There are indeed some similarities between Hume and van Quine. Humewas an empiricist while van Quine sxeems to me at l,east to have been a pragmatist.Bother woirk from the particular to the general. Theory schmeery.
I spent 33 years at least in the metallurgical laboratory before retiring,so in the end, I can't help that while I enjoy and respect theory, andand am always fascinated by it, in the end I worship data. Pragmatism.I was born that way.
Sorry, I was again being a bit harsh again. You are a kind person.Can you give me a link to the sort of output a comp program would provide ?Being a natural pragmatist, I learn best from examples.
Hi Bruno and Stephen
I want to inform you that you are wrong in all of your writings.
Please understand how very incorrect you are about everything you
post! Why are you so wrong.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
Hi Bruno and Stephen,This is the bicameral mind again. Right brain must accept left brain decisions for human safety.Ought must rule over is (or else we'd all be nazis, Hume, for the safety of humanity)Passion must rule over reason (or else we'd all be nazis, Hume, for the safety of humanity)Acceptace of proof dominates proof (common sense psychology)Thus you can objectively, mathematically prove that 2+2=4, but you still have to subjectively accept that psychologically.Woman always gets the last word.
You keep being deadly wrong on this issue. The point is that we CANNOT assume this AFTER having said "yes" to the doctor. We can assume a physical reality, and interaction, but in fine, we have to justify it from the numbers, and this is the formulation of the problem. I refer you to Girard "geometry of interaction" which is the closer from what we get from G del's self-reference.
The conclusion that "matter is a hallucination", while correct IMHO, does not eliminate the impact of this pre-existing collection and their capacities.How could an hallucination be pre-existing? That does not make sense.
It seems shrouded in obfuscating self-reference. Why would anything that has been encoded ever need to be decoded if the machine can fluently process the encoded form?To store what we learn. The DNA plays already such a role at the molecular level. It illustrates also a digital encoding and decoding.
Why would storage imply any kind of encoding? Without physics to constrain resource requirements, there would be no need to compress information.The numbers do that all the time. There is no need, but they cannot not doing it, because it follows from addition and multiplication. There is no need for Saturn's ring either.
Ultimately one could argue that anything is "no needed" and yet such arguments are wrong headed.
Numbers are not isolate entities! They do not "do" anything in and from themselves.This is too vague. You are ignoring than numbers obeys laws which makes them Turing universal, so I am not sure what you mean by isolated in this context. Of course they are digital, so they have a discrete topology, but this does not isolate them. Numbers do things, like 3 divides 6, or like a universal numbers can implement a human brain, independently of anything else.
There is not even an "self" in a number alone unless we think of them as a fixed point of a class of transformations of a quasi-infinite collection. You seem to be using a Sorites paradox type of argument here to make a false point.
http://plato.stanford.edu/entries/sorites-paradox/
"The sorites paradox is the name given to a class of paradoxical arguments, also known as little-by-little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion.
> This continuum f ( (Om)), runs from infinitely solipsistic/private
> first person subjectivity (calling that Aleph )to infinitely
> discrete/public third person mechanism (calling that Omega Ω), so
> that at ,any given dream is experienced as 99.99…9% dream and
> 0.00…1% number and at Ω (Omega), any given machine or number is
> presented as 99.99…9% number and 0.00…1% dream.
>
?
I'm mapping out this literal to figurative axis, as it modifies the axis of subject to object presentations. The more an experience extends figuratively/metaphorically, the less it extends literally/mechanically.
That makes some sense.
That's what I'm saying. Quanta is qualia that has been flattened until it spreads out like with a rolling pin to the point of universality. Qualia is the dough that has no extension into public space.
OK.
>
> The halfway point between the (Aleph) and Ω (Omega) axis is the
> perpendicular axis f (- (Om)) which is the high and low
> correspondence between the literal dream and figurative number (or
> figurative dream and literal number depending on whether you are
> using the dream-facing epistemology or the number-facing
> epistemology). This axis runs from tight equivalence (“=”
> equality) to broadly elliptical potential set membership (“…”
> ellipsis)
>
> So it looks something like this:
>
> f( ) { “…” ⊥ “=” Ω}
>
> function (Om) is superset or equal to the continuum ranging from
> Aleph to ellipsis perpendicular/orthogonal to the inverse range from
> equality to Omega).
>
> To go further, it could be said that at Ω(Omega), (Om) expresses
> as 10|O (one, zero, line segment, circle referring to the
> quantitative algebraic and geometric perpendicular primitives) while
> at (Aleph), (Om) expresses as
> (tetragrammaton or yod, hay, vov, hay, or in perhaps more
> familiar metaphor, (clubs, spades, hearts, diamonds)
>
> where:
>
> clubs (wands) =Fire, spiritual, tactile
> spades (swords) = Air, mental, auditory
> hearts (cups) =Water, emotional, visual
> diamonds (pentacles/coins) = Earth, physical, olfactory-gustatory
>
> Note that tactile and auditory modalities tune us into ourselves and
> each others sensemaking (selves and minds), while the visual and
> olfactory/gustatory sense modalities are about objectifying realism
> of the world (egos or objectified selves/self-images and bodies). It
> should be obvious that clubs (wands) and spades (swords) are
> stereotypically masculine and abstracting forces, while hearts
> (cups) and diamonds (pentacles/coins) are stereotypically
Mhm!
> We can’t pretend to talk about the eidetic, dream like
?
result of G del and Tarski (independently).
It happens that we do have a good intuition of many truth, and machine
can indeed describe better and better approximations of the truth
concept, but the limit of it, used here, cannot be. So by using both
the comp hypothesis, and by studying simple (L bian) machine (simpler
Of course.
Hi Richard RuquistI also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the properconcepts to even begin with the task. Science does not knowwhat the meaning of anything is. Period.
Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,�however at differing levels of information integration,
in the "universal燙YM monad爏ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno Marchal�According to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.燱e have nothing to do with it,
Roger,You are mistaken. The universe is based on physical laws despite the existence of a supernatural, which I take to be based in the collective set of monads.
The way in which the monads manifest the physical laws and constants of nature is a bonified subject of science, just are the study of COMP is. They may even be related except for the multiverse aspect of COMP.
On 21 Aug 2012, at 12:12, Roger Clough wrote:
Hi Bruno and Stephen,This is the bicameral mind again. Right brain must accept left brain decisions for human safety.Ought must rule over is (or else we'd all be nazis, Hume, for the safety of humanity)Passion must rule over reason (or else we'd all be nazis, Hume, for the safety of humanity)Acceptace of proof dominates proof (common sense psychology)Thus you can objectively, mathematically prove that 2+2=4, but you still have to subjectively accept that psychologically.Woman always gets the last word.
No problem here. That fits nicely with the Bp versus Bp & p duality, which is just the difference between "rational belief" and "rational knowledge" (true rational belief).
It took time to realize that when we define the rational belief by formal proof, which makes sense in the ideal correct machine case, although knowledge and belief have the same content (the same arithmetical p are believed), still, they obey to different logics. This is a consequence of incompleteness. Rational beliefs obey to a modal logic known as G (or GL, Prl, K4W, etc.) and true rational belief obeys to a logic of knowledge (S4), indeed known as S4Grz.
G is
[](p -> q) -> ([]p -> []q)[]p -> [][]p[]([]p -> p) -> []p
with the rules A, A->B / B and A / []A
S4Grz is
[](p -> q) -> ([]p -> []q)[]p -> [][]p[]([](p -> []p) -> p) -> p
with the rules A, A->B / B and A / []A
Bruno
----- Receiving the following content -----
From: Stephen P. KingReceiver: everything-list
Time: 2012-08-21, 15:39:08
Subject: Re: divine selection versus natural selection
On 8/21/2012 8:12 AM, Richard Ruquist wrote:Roger,You are mistaken. The universe is based on physical laws despite the existence of a supernatural, which I take to be based in the collective set of monads.
Hi Richard,
锟斤拷锟斤拷锟斤拷 Please calm down a bit and understand that it is not possible for a single finite mind to comprehend, much less, "know" in a way that can be explained to the average "grandmother", the delicate balance of the monadology. Even Leibniz himself fudged his explanation!
The way in which the monads manifest the physical laws and constants of nature is a bonified subject of science, just are the study of COMP is. They may even be related except for the multiverse aspect of COMP.
锟斤拷锟斤拷锟斤拷 I agree with this remark 100%!
锟斤拷锟斤拷锟斤拷 One brief comment on the tittle of this thread. Is it necessary for "Divine Selection" and "Natural Section" to be two mutually contradictory possible explanations? How is God not immanent in Nature? It is only when we push transcendence that we have serious problems.
锟斤拷锟斤拷锟斤拷 BTW, this is another version of the disagreement that I am having with Bruno. He is pushing a transcendence only theory of truth and I am arguing for immanence *and* transcendence within an over all Panentheism theory. My argument revolves around the problem of interaction between multiple minds. My solution is not very different from Spinoza's but I seek to frame it using computer science, as that allows a finite mathematical model.
锟斤拷锟斤拷锟斤拷 Bruno's idea seeks a reduction of all interactions to being wholly within the Supremum and all appearances or interaction and actions in general (including physics) to "dreams of numbers". The problem with this is that Transcendance models fall apart when they try to explain the necessity of finite appearance.
锟斤拷锟斤拷锟斤拷 Transcendence alone theories just postulate that all objects have properties in an inherent way because of they are "in reality just shadows of the Forms" and "Forms" are the essence of the properties themselves. This works and sound fine until one tries to construct a model of interactions using that theory. Doing so inevitably causes contradictions to arise that cannot be solved by appeals to measures or any other hand-waving or question-begging device. Please think about this carefully, the reasoning is very subtle, but unassailable.
锟斤拷锟斤拷锟斤拷 How might the "shadows of the Forms" cast shadows of their own on each other? What about shadows of shadow of shadows of shadows of ... What prevents the infinite regress? AFAIK, only the limitations of actual physical resources cut off the computations such that endless loops of self-modeling recursions never happen. This possibility was, sadly, missed by Dennett in his valiant attempt to save materialism. Computations having to actually solve an NP-Complete problem with finite resources is the requirement that eliminates Bruno's measure problem, but he refuses to see this.
锟斤拷锟斤拷锟斤拷
Richard
On Tue, Aug 21, 2012 at 7:03 AM, Roger Clough <rcl...@verizon.net> wrote:
Hi Richard Ruquist锟斤拷
I also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the proper
concepts to even begin with the task. Science does not锟斤拷know
what the meaning of anything is. Period.
锟斤拷锟斤拷
Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,however at differing levels of information integration,
in the "universal锟紺YM monad锟絪ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno MarchalAccording to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.锟絎e have nothing to do with it,
at least that isa what we Lutherns believe.Roger , rcl...@verizon.net8/20/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
Step 8. In the idea that one can simply not postulate a physical universe and thus make it vanish.
You are missing the tiny bit of reference to the physical world in each and every number.
If you prove this, then you can add a 9th step and conclude that comp is wrong. But you keep saying this without proof or argument.
I cannot help if you cannot see it.
It is the stability of consciousness itself, but this does not make consciousness primitive. I truly need to present a more carefully reasoned argument for the neutrality of consciousness. You refuse to read B. Russell's stuff. OK... You will have to deal with my terrible writings...
If you could just consider building a toy model of how to 1) represent a pair of amoeba with your construction and 2) model the conversation between them that is possible.
No, I am not. Primitive reality has no properties associated with it. It cannot be assumed or one gets contradictions in one's theory. It is not numebrs or matter or pink unicorns it is only necessary possibility.
No, sigma_1 representations are only what can be non-contradictorily communicated, it is not the whole of reality.
You are not behaving like an agnostic. You are behaving like a "True Believer"!
ROGER: According to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.
We have nothing to do with it,
at least that is what we Lutherans believe.
BRUNO: If it is a gift by God, why a bible?
ROGER: Faith helps us to believe. the Bible, particularly the Gospels, tells us what to believe (that Jesus saved us).
BRUNO: All religions which believe(s) that religion does not apply to machine will remain stuck on earth, the others will conquer the physical universe.
ROGER: ?
BRUNO: We makes sense of data through theory and experiences, but not always consciously. The brain implements many theories learned through evolution. I don't think we can separate data from theory so easily. Somehow a brain is by itself already a theory. Our bodies are divine hypotheses, somehow, assuming comp. We are words in a rational truncation of a quantum field, to take a low level.ROGER: Good.
BRUNO: I have no problem with pragmatism, as long as it is not used against the freedom of any inquiry, nor used as justified invalid reasoning, or lies and propaganda. Nor used as pretext to cut the funding of fundamental research, as I can give a pragmatic reasons to fund fundamental research in all direction.ROGER: "Pragmatic" used in the vernacular sense is usually another word for "practical". As in: "Our reason for cutting the program was pragmatic. We simply couldn't afford it."But that is not exactly what pragmatic means philosophically. Philosophically (see Peirce) pragmatic means that the (pragmatic, not traditional) truth of an issue is what results from actually carrying it out.As the experimental result is the truth of carrying out an experimental protocol. It may not be true in the ordinary sense. Because by going from the particular to the general,you are using synthesis, not analysis. Synthesis can provide unexpected truths, so very powerful. Just an experiment can give you totally unexpected results.
BRUNO: Pragmatic OK, if honest. That is sometimes difficult with respect to hard question, like "what's going on?". It is normal that we develop wishful thinking, and if that works, as already suggested by the L? formula( in some very weak and formal sense to be sure), a theory has to be assumed always in remaining open it can be false.
ROGER: [Reflecting] Sorry, I was again being a bit harsh again. You are a kind person. But pragmatism is as honest as a carefully planned and carried out scientific experiment.
Can you give me a link to the sort of output a comp program would provide ?
Being a natural pragmatist, I learn best from examples.
BRUNO: By definition, all programs are "comp programs", so an example of output is what happens on your computer's screen right now.
BY comp, I am a program, so another example, is this post.ROGER: OK.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
----- Receiving the following content -----From: Richard RuquistReceiver: everything-list
Time: 2012-08-21, 08:12:42Subject: Re: Re: divine selection versus natural selectionRoger,You are mistaken. The universe is based on physical laws despite the existence of a supernatural, which I take to be based in the collective set of monads.锟斤拷
The way in which the monads manifest the physical laws and constants of nature is a bonified subject of science, just are the study of COMP is. They may even be related except for the multiverse aspect of COMP.
Richard
On Tue, Aug 21, 2012 at 7:03 AM, Roger Clough <rcl...@verizon.net> wrote:
Hi Richard Ruquist锟斤拷
I also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the proper
concepts to even begin with the task. Science does not锟斤拷know
what the meaning of anything is. Period.
锟斤拷锟斤拷
Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,however at differing levels of information integration,
in the "universal锟紺YM monad锟絪ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno MarchalAccording to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.锟絎e have nothing to do with it,
Hi Richard Ruquist
Physical law is unextended, while physical objects are extended.As I understand it, Nature is extended while Supernature is not.So I could call physical law supernatural.Roger Clough, rcl...@verizon.net8/22/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-21, 08:12:42Subject: Re: Re: divine selection versus natural selection
Roger,You are mistaken. The universe is based on physical laws despite the existence of a supernatural, which I take to be based in the collective set of monads.
The way in which the monads manifest the physical laws and constants of nature is a bonified subject of science, just are the study of COMP is. They may even be related except for the multiverse aspect of COMP.
Richard
On Tue, Aug 21, 2012 at 7:03 AM, Roger Clough <rcl...@verizon.net> wrote:
Hi Richard Ruquist
I also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the proper
concepts to even begin with the task. Science does not know
what the meaning of anything is. Period.
Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,however at differing levels of information integration,
in the "universal燙YM monad爏ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno MarchalAccording to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.燱e have nothing to do with it,
If existence is physical reality, then God doesn’t exist. In fact, it could be said that it is the absence of God which allows anything to exist. Said another way, it is the unreality of the totality which maintains the conditions of real (bounded, conditional, consequential) existence. Mortality is the masking of immortal boundarylessness. A kind of cage or lattice for what insists beyond all sequence or consequence. Only because on any ultimate level of description of the universe, there is nothing there to constitute a boundary. There can’t be a boundary, because then it too would be the universe. Whether it’s the laws that make the laws that make the laws of mathematics that make the laws of physics that make the superstrings that make the quantum, or just the limits of our own imagination, on some level, there is an everything, and that everything can be considered to be, in one and only one sense, one and only one thing - a source of signal/order/sense/experience. The singularity of totality.
Existence is a combination of signal and noise. The further in space we get from our own signal, the more we lose reception and the less signal we encounter in relation to noise and space. This loss of reception is true across literal distance as well as metaphorical distance. The more unfamiliar the territory, the less we can relate. As scales get infinitesimal or immense, we objectify and mechanize to reflect the disjunction to our own subjective anchoring of perception.
Space is entropy. In both the thermodynamic sense and the information sense, space is the every gap between signals that contains only the possibility of signal detection. In the void between our body and its surroundings, there is ‘nothing there’ to respond to us on a human level, or a biochemical level, or a physical level. To us a room full of hydrogen gas is an empty space. To hydrogen however, maybe the only empty space is the flux between near collisions - moments of virtual decoherence which define a gaseous state (as opposed to a Bose-Einstein condensate approaching absolute zero). What I am calling virtual decoherence, I think, can be better understood as sense. A pantomime of universal expectation that is empirical - it develops within experience. It makes sure that the expected keeps happening and the unexpected stands out. Momentum-inertia, probability, and significance.
If there were a God, he-she-it-we-they would be zero entropy. Zero space. Zero space but all time. Almost all time. Almost no space. Almost no entropy. Almost pure signal. Because the capacity to generate signal in any sense at all is power and knowledge, and power and knowledge are relative. Relative in the sense that ‘in the land of the blind, the one eyed man is king’, but also in the sense that knowledge itself is relation, and power is the ability to relate knowledge to the self.
One signal in an empty universe is all it takes to define omnipotence and omniscience relative to the emptiness of noise. Once a signal pretends to exist, there is nowhere to put it. It has no entropy - no space in which to exist as an object, so it insists, as a becoming of its own absence. This is the single self-subdividing event that turns eternity into an infinite now (pretending to be history).
If there were a God, it would be all of us put together. The everythingness behind the nothingness behind every nested multiplicity of almost somethingness. No space, no noise, no distance - only infinite significance becoming more significant. Infinite because by definition it is the only game in town. More significance through the paradox of self-insignificance. Being humbled makes us great. A great big pile of crap. Decaying broken forms pretending to be whole and beautiful and perfect to each other for a season. For every season, over and over. It’s only the greatness however, the underlying potential wholeness, beauty and perfection that needs to pretend it is pretending though. The whips and scorns of time form the perfectly imperfect frame for eternity. A pecking order of gravity to squeeze the life out of us, crushing our unreal wilderness of warm soft fiction with the shadows of cold hard facts.
What exists to us is almost almost infinite noise across almost infinite distance, except for a sand-clock trickle of ‘now’ which contains all of the signals that can be squeezed together yet still be held distinct from each other. What exists is 99.99…9% entropy because what insists is 0.00…1% entropy. A distanceless ‘here’ that has nowhere else to be, perpetually spinning the universe around it, over and over. Almost all time (every time except now), almost no space (nowhere except here).
----- Receiving the following content -----From: Bruno MarchalReceiver: everything-list
Time: 2012-08-22, 06:09:43Subject: Re: A dialog on pragmatism-- in religion and in science
----- Receiving the following content -----
From: Craig WeinbergReceiver: everything-listTime: 2012-08-22, 07:19:12
Subject: Re: Reconciling Bruno's Primitives with Multisense
Here's my post for this morning. I think it relates:
God and The Gaps
If existence is physical reality, then God doesn锟絫 exist. In fact, it could be said that it is the absence of God which allows anything to exist. Said another way, it is the unreality of the totality which maintains the conditions of real (bounded, conditional, consequential) existence. Mortality is the masking of immortal boundarylessness. A kind of cage or lattice for what insists beyond all sequence or consequence. Only because on any ultimate level of description of the universe, there is nothing there to constitute a boundary. There can锟絫 be a boundary, because then it too would be the universe. Whether it锟絪 the laws that make the laws that make the laws of mathematics that make the laws of physics that make the superstrings that make the quantum, or just the limits of our own imagination, on some level, there is an everything, and that everything can be considered to be, in one and only one sense, one and only one thing - a source of signal/order/sense/experience. The singularity of totality.
Existence is a combination of signal and noise. The further in space we get from our own signal, the more we lose reception and the less signal we encounter in relation to noise and space. This loss of reception is true across literal distance as well as metaphorical distance. The more unfamiliar the territory, the less we can relate. As scales get infinitesimal or immense, we objectify and mechanize to reflect the disjunction to our own subjective anchoring of perception.
Space is entropy. In both the thermodynamic sense and the information sense, space is the every gap between signals that contains only the possibility of signal detection. In the void between our body and its surroundings, there is 锟絥othing there� to respond to us on a human level, or a biochemical level, or a physical level. To us a room full of hydrogen gas is an empty space. To hydrogen however, maybe the only empty space is the flux between near collisions - moments of virtual decoherence which define a gaseous state (as opposed to a Bose-Einstein condensate approaching absolute zero). What I am calling virtual decoherence, I think, can be better understood as sense. A pantomime of universal expectation that is empirical - it develops within experience. It makes sure that the expected keeps happening and the unexpected stands out. Momentum-inertia, probability, and significance.
If there were a God, he-she-it-we-they would be zero entropy. Zero space. Zero space but all time. Almost all time. Almost no space. Almost no entropy. Almost pure signal. Because the capacity to generate signal in any sense at all is power and knowledge, and power and knowledge are relative. Relative in the sense that 锟絠n the land of the blind, the one eyed man is king�, but also in the sense that knowledge itself is relation, and power is the ability to relate knowledge to the self.
One signal in an empty universe is all it takes to define omnipotence and omniscience relative to the emptiness of noise. Once a signal pretends to exist, there is nowhere to put it. It has no entropy - no space in which to exist as an object, so it insists, as a becoming of its own absence. This is the single self-subdividing event that turns eternity into an infinite now (pretending to be history).
If there were a God, it would be all of us put together. The everythingness behind the nothingness behind every nested multiplicity of almost somethingness. No space, no noise, no distance - only infinite significance becoming more significant. Infinite because by definition it is the only game in town. More significance through the paradox of self-insignificance. Being humbled makes us great. A great big pile of crap. Decaying broken forms pretending to be whole and beautiful and perfect to each other for a season. For every season, over and over. It锟絪 only the greatness however, the underlying potential wholeness, beauty and perfection that needs to pretend it is pretending though. The whips and scorns of time form the perfectly imperfect frame for eternity. A pecking order of gravity to squeeze the life out of us, crushing our unreal wilderness of warm soft fiction with the shadows of cold hard facts.
What exists to us is almost almost infinite noise across almost infinite distance, except for a sand-clock trickle of 锟絥ow� which contains all of the signals that can be squeezed together yet still be held distinct from each other. What exists is 99.99�9% entropy because what insists is 0.00�1% entropy. A distanceless 锟絟ere� that has nowhere else to be, perpetually spinning the universe around it, over and over. Almost all time (every time except now), almost no space (nowhere except here).
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/xAPZRAtx_AIJ.
----- Receiving the following content -----From: Richard RuquistReceiver: everything-list
Time: 2012-08-22, 06:56:13Subject: Re: Re: Re: divine selection versus natural selection
Agreed Roger, except that the CYM monads have extension.The physical laws you speak of are in human imaginationand seemingly not extended,but there is necessarily a substantial manifestation of them...The supernatural of course extends across the entire universe.
Richard
On Wed, Aug 22, 2012 at 6:14 AM, Roger Clough <rcl...@verizon.net> wrote:
Hi Richard RuquistPhysical law is unextended, while physical objects are extended.As I understand it, Nature is extended while Supernature is not.So I could call physical law supernatural.Roger Clough, rcl...@verizon.net8/22/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-21, 08:12:42Subject: Re: Re: divine selection versus natural selection
Roger,You are mistaken. The universe is based on physical laws despite the existence of a supernatural, which I take to be based in the collective set of monads.锟斤拷
The way in which the monads manifest the physical laws and constants of nature is a bonified subject of science, just are the study of COMP is. They may even be related except for the multiverse aspect of COMP.
Richard
On Tue, Aug 21, 2012 at 7:03 AM, Roger Clough <rcl...@verizon.net> wrote:
Hi Richard Ruquist锟斤拷
I also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the proper
concepts to even begin with the task. Science does not锟斤拷know
what the meaning of anything is. Period.
锟斤拷锟斤拷
Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,however at differing levels of information integration,
in the "universal锟紺YM monad锟絪ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno MarchalAccording to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.锟絎e have nothing to do with it,
The way in which the monads manifest the physical laws and constants of nature is a bonified subject of science, just are the study of COMP is. They may even be related except for the multiverse aspect of COMP.
Richard
On Tue, Aug 21, 2012 at 7:03 AM, Roger Clough <rcl...@verizon.net> wrote:
Hi Richard Ruquist
I also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the proper
concepts to even begin with the task. Science does not know
what the meaning of anything is. Period.
Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,however at differing levels of information integration,
in the "universal燙YM monad爏ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno MarchalAccording to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.燱e have nothing to do with it,
----- Receiving the following content -----From: Richard RuquistReceiver: everything-list
Time: 2012-08-22, 09:21:12Subject: Re: Re: Re: Re: divine selection versus natural selection
Roger,You are mistaken. The universe is based on physical laws despite the existence of a supernatural, which I take to be based in the collective set of monads.锟斤拷
The way in which the monads manifest the physical laws and constants of nature is a bonified subject of science, just are the study of COMP is. They may even be related except for the multiverse aspect of COMP.
Richard
On Tue, Aug 21, 2012 at 7:03 AM, Roger Clough <rcl...@verizon.net> wrote:
Hi Richard Ruquist锟斤拷
I also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the proper
concepts to even begin with the task. Science does not锟斤拷know
what the meaning of anything is. Period.
锟斤拷锟斤拷
Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,however at differing levels of information integration,
in the "universal锟紺YM monad锟絪ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno MarchalAccording to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.锟絎e have nothing to do with it,
The way in which the monads manifest the physical laws and constants of nature is a bonified subject of science, just are the study of COMP is. They may even be related except for the multiverse aspect of COMP.
Richard
On Tue, Aug 21, 2012 at 7:03 AM, Roger Clough <rcl...@verizon.net> wrote:
Hi Richard Ruquist
I also believe in science. But if you're trying to trash religionwith science, science hasn't a clue nor a tool nor the proper
concepts to even begin with the task. Science does not know
what the meaning of anything is. Period.
Roger Clough, rcl...@verizon.net8/21/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-20, 11:18:57Subject: Re: divine selection versus natural selection
Roger,Divine selection and natural selection are sourced,however at differing levels of information integration,
in the "universal燙YM monad爏ubspace".
Belief can also be a product of science.I believe science.Richard
On Mon, Aug 20, 2012 at 5:29 AM, Roger <rcl...@verizon.net> wrote:
Hi Bruno MarchalAccording to the Bible, belief is a product of faith or trust, and that trust
does not come from you, it is a gift from God.燱e have nothing to do with it,
Hi Bruno MarchalYou are healed by admitting you are lost, just as the Bible says.Submission (the fundamental religious/healing act)is required when you are sick or in too much troubleto save or help yourself, so you must turn to somethingor somebody else for help. You place your faith in themto heal you.40 years ago, to my good fortune, I suffered from alcoholism andcouldn't stop drinking. My life was a mess. So I finally turnedmyself in to AA. Even further, they say they can't help youunless you turn yourself over to a Higher Power.That's what I did and it worked. Now I submit myself tothe words of the Bible.
----- Receiving the following content -----From: Bruno MarchalReceiver: everything-list
Time: 2012-08-22, 14:00:31
Subject: Re: A dialog on pragmatism-- in religion and in science
no锟絪 === proof
----- Receiving the following content -----From: Bruno MarchalReceiver: everything-list
Time: 2012-08-23, 14:17:50Subject: Re: Male Proof and female acceptance of proof
I have often talked about Bp and Bp & p, with Bp having the arithmetical provability meaning (G锟絛el 1931).G above is the logic of G锟絛el's beweisbar predicate. For example the second incompleteness theorem is given by Dt -> ~BDt, or <>t -> ~[]<>t, or consistent('t') -> NOT PROVABLE (CONSISTENT 't')), with for example t = "0=0", et 't' = G锟絛el number of "0=0".
S4Grz above is the corresponding logic of the first person associated to the machine, given by beweisbar('p') & p, following Theatetus, and then Boolos, Goldblatt, Artemov. I have provided many explanations on this list, including an introduction to modal logic and the Kripke semantics, but you can also open some book in logic to help yourself.G and S4Grz are the two machineries illustrating (and formalizing completely at the propositional modal) two important arithmetical hypostases discovered by the UM when looking inward. G is the logic of third person self-reference and S4Grz is the logic of the first person self-reference.There are six other hypostases, or machine's points of view, three of them playing a role in the "creation of the collective persistent matter hallucination. Comp makes obligatory that persistence, and it can be tested, and it can be argued that the presence of p -> []<>p as a theorem in SGrz1 and Z1* and X1* confirms it in great part. Interactions can be defined in a manner similar to Girard, and then tested on those "material hypostases". I think that this is explained in the second part of the sane04 paper.The "1" added to the system refers to the fact that we eventually limit the arithmetical translation of the sentence letters (p, q, r, ...) to the sigma_1 sentences, which "models" the UD in arithmetic.In particular Richard Ruquist's theory that fundamental physics is given by string theory becomes testable with respect to comp, as UDA shows that the physics is entirely retrievable from the S4Grz1, Z1* and/or X1*, and their first order modal extension.It is not as difficult as most paper your refer to, and it is only one paper, and you got the chance to ask any question to the author :)You recently allude to a disagreement between us, but I (meta)disagree with such an idea: I use the scientific method, which means that you cannot disagree with me without showing a precise flaw at some step in the reasoning.You seem to follow the seven first steps, so that in particular you grasp apparently that COMP + ROBUST-UNIVERSE entails the reversal physics/arithmetic, and the explanation why qualia and quanta separate. Are you sure you got this? Step 8 just eliminates the "ROBUST-UNIVERSE" assumption in step 7.Then AUDA translates everything in UDA in terms of numbers and sequences of numbers, making the "body problem" into a problem of arithmetic. It is literally an infinite interview with the universal machine, made finite thanks to the modal logic above, and thanks to the Solovay arithmetical completeness theorem.You cannot both claim that there is a flaw, and at the same time invoke your dyslexia to justify you don't do the technical work to present it.Bruno
----- Receiving the following content -----
From: Stephen P. KingReceiver: everything-list
Time: 2012-08-23, 16:39:18
Subject: Re: Male Proof and female acceptance of proof
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-list+unsub...@googlegroups.com.
-- Onward! Stephen http://webpages.charter.net/stephenk1/Outlaw/Outlaw.html
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
----- Receiving the following content -----From: Stephen P. KingReceiver: everything-list
Time: 2012-08-24, 08:31:24
----- Receiving the following content -----
From: Richard RuquistReceiver: everything-listTime: 2012-08-24, 08:54:31
Subject: Re: Male Proof and female acceptance of proof
Stephan,I find it interesting that according to my Roman Catholic professor theologian friend,
锟紾od has intention but but intelligence. That would seem to be consistent with what you say below. I'll have to ask him if the church came to that viewpoint do to the " ordinary problem of solipsism".
On Fri, Aug 24, 2012 at 8:31 AM, Stephen P. King <step...@charter.net> wrote:
Dear Roger,
锟斤拷� I only see one glaring gap in your explanation here: the chain of non-interaction leads all the way up to the supremum where God is essentially and effectively (not)interacting with itself. Is this not the very definition of Solipsism? How is the problem of solipsism not even infinitely more acute for God? God has no peers, so it naturally implies that the ordinary problem of solipsism - what does one human solipsist say to another? - is a mute point, but somewhere and somehow the appearance of plurality of entities must appear in order for us to explain appearences. This is the very same question that I keep asking Bruno and he seems to not understand the question: How does a plurality of minds emerge from the One such that they have an appearance of interactions without falling into the morass of allowing for everythign and thus, ultimately, explaining nothing?
锟斤拷� It seems to me that Leibniz was working out the Everything vs. Nothing problem of existence from a different point of view with the monadology.
锟斤拷锟斤拷锟絀t is the body problem that is your problem. There is no solution
for it in strict immaterialism. Immaterials cannot interact, they have
nothing with which to "touch" each other. All they can do is imagine the
possibility in the sense of a representation of the logical operation of
"imagining the possibility of X" (a string of recursively enumerable
coding the computational simulation of X).
锟斤拷锟斤拷锟絋his would be fine and you do a wonderful job of dressing this up
in your work, but the body problem is just another name for the
concurrency problem. It is the scarcity of physical resources that
forces solutions to be found and this is exactly what Pratt shows us how
to work out. Mutual consistency restrictions is the dual to resource
availability!
锟斤拷锟斤拷锟組y dyslexia prevents me from writing long strings of symbolic
logical codes, but I can write English (and some Spanish) well enough to
communicate with you and I can read and comprehend complex texts very
well. ;-)
锟斤拷锟斤拷锟紹y the way, I only asked from a verbal -> written English version
of your symbols strings, not a condensed explanation of it. I do
appreciate what you wrote, but it was not what I was asking for.
G is
[](p -> q) -> ([]p -> []q)
[]p -> [][]p
[]([]p -> p) -> []p
with the rules A, A->B / B and A / []A
S4Grz is
[](p -> q) -> ([]p -> []q)
[]p -> [][]p
[]([](p -> []p) -> p) -> p
with the rules A, A->B / B and A / []A
锟斤拷锟斤拷锟絋hese symbols have verbal words associated with them, no? If you
where to read of these sentences aloud. What English sounds would come
out of your mouth? Could those words be transcribed here for the readers
of the Everything List? What word corresponds, for instance, to "->" ?
Implies?
--
-- Onward! Stephen http://webpages.charter.net/stephenk1/Outlaw/Outlaw.html
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
Hi Richard RuquistAccording to Aquinas. God IS intelligence.Roger Clough, rcl...@verizon.net8/24/2012Leibniz would say, "If there's no God, we'd have to invent him so everything could function."
----- Receiving the following content -----From: Richard RuquistReceiver: everything-listTime: 2012-08-24, 08:54:31Subject: Re: Male Proof and female acceptance of proof
Stephan,I find it interesting that according to my Roman Catholic professor theologian friend,
燝od has intention but but intelligence. That would seem to be consistent with what you say below. I'll have to ask him if the church came to that viewpoint do to the " ordinary problem of solipsism".
On Fri, Aug 24, 2012 at 8:31 AM, Stephen P. King <step...@charter.net> wrote:
Dear Roger,
牋� I only see one glaring gap in your explanation here: the chain of non-interaction leads all the way up to the supremum where God is essentially and effectively (not)interacting with itself. Is this not the very definition of Solipsism? How is the problem of solipsism not even infinitely more acute for God? God has no peers, so it naturally implies that the ordinary problem of solipsism - what does one human solipsist say to another? - is a mute point, but somewhere and somehow the appearance of plurality of entities must appear in order for us to explain appearences. This is the very same question that I keep asking Bruno and he seems to not understand the question: How does a plurality of minds emerge from the One such that they have an appearance of interactions without falling into the morass of allowing for everythign and thus, ultimately, explaining nothing?
牋� It seems to me that Leibniz was working out the Everything vs. Nothing problem of existence from a different point of view with the monadology.
牋牋營t is the body problem that is your problem. There is no solution
for it in strict immaterialism. Immaterials cannot interact, they have
nothing with which to "touch" each other. All they can do is imagine the
possibility in the sense of a representation of the logical operation of
"imagining the possibility of X" (a string of recursively enumerable
coding the computational simulation of X).
牋牋燭his would be fine and you do a wonderful job of dressing this up
in your work, but the body problem is just another name for the
concurrency problem. It is the scarcity of physical resources that
forces solutions to be found and this is exactly what Pratt shows us how
to work out. Mutual consistency restrictions is the dual to resource
availability!
牋牋燤y dyslexia prevents me from writing long strings of symbolic
logical codes, but I can write English (and some Spanish) well enough to
communicate with you and I can read and comprehend complex texts very
well. ;-)
牋牋燘y the way, I only asked from a verbal -> written English version
of your symbols strings, not a condensed explanation of it. I do
appreciate what you wrote, but it was not what I was asking for.
G is
[](p -> q) -> ([]p -> []q)
[]p -> [][]p
[]([]p -> p) -> []p
with the rules A, A->B / B and A / []A
S4Grz is
[](p -> q) -> ([]p -> []q)
[]p -> [][]p
[]([](p -> []p) -> p) -> p
with the rules A, A->B / B and A / []A
牋牋燭hese symbols have verbal words associated with them, no? If you
where to read of these sentences aloud. What English sounds would come
out of your mouth? Could those words be transcribed here for the readers
of the Everything List? What word corresponds, for instance, to "->" ?
Implies?
--
-- Onward! Stephen http://webpages.charter.net/stephenk1/Outlaw/Outlaw.html
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
Hi Stephen P. King
No, God communes with us (and the entire universe) and we also commune with him,depending on our clarity of "vision" and intelligence, and perhaps desire, don't know yet.According to Lutheran orthodoxy (L was a Lutheran), God, since He causes all, cancause us to commune with Him and have faith. I suppose wiping out sins is alsothere, but so far no mention of Jesus. My conjecture is that Jesus is betweenman and God, but since He is both, it may be more complicated.Roger Clough, rcl...@verizon.net8/24/2012
Hi Bruno MarchalCould you explain a little about Bp & p duality ? Are they bothanalytic, or does one of them us synthetic logic ?
I have often talked about Bp and Bp & p, with Bp having the arithmetical provability meaning (G鰀el 1931).G above is the logic of G鰀el's beweisbar predicate. For example the second incompleteness theorem is given by Dt -> ~BDt, or <>t -> ~[]<>t, or consistent('t') -> NOT PROVABLE (CONSISTENT 't')), with for example t = "0=0", et 't' = G鰀el number of "0=0".
S4Grz above is the corresponding logic of the first person associated to the machine, given by beweisbar('p') & p, following Theatetus, and then Boolos, Goldblatt, Artemov. I have provided many explanations on this list, including an introduction to modal logic and the Kripke semantics, but you can also open some book in logic to help yourself.G and S4Grz are the two machineries illustrating (and formalizing completely at the propositional modal) two important arithmetical hypostases discovered by the UM when looking inward. G is the logic of third person self-reference and S4Grz is the logic of the first person self-reference.There are six other hypostases, or machine's points of view, three of them playing a role in the "creation of the collective persistent matter hallucination. Comp makes obligatory that persistence, and it can be tested, and it can be argued that the presence of p -> []<>p as a theorem in SGrz1 and Z1* and X1* confirms it in great part. Interactions can be defined in a manner similar to Girard, and then tested on those "material hypostases". I think that this is explained in the second part of the sane04 paper.The "1" added to the system refers to the fact that we eventually limit the arithmetical translation of the sentence letters (p, q, r, ...) to the sigma_1 sentences, which "models" the UD in arithmetic.In particular Richard Ruquist's theory that fundamental physics is given by string theory becomes testable with respect to comp, as UDA shows that the physics is entirely retrievable from the S4Grz1, Z1* and/or X1*, and their first order modal extension.It is not as difficult as most paper your refer to, and it is only one paper, and you got the chance to ask any question to the author :)You recently allude to a disagreement between us, but I (meta)disagree with such an idea: I use the scientific method, which means that you cannot disagree with me without showing a precise flaw at some step in the reasoning.You seem to follow the seven first steps, so that in particular you grasp apparently that COMP + ROBUST-UNIVERSE entails the reversal physics/arithmetic, and the explanation why qualia and quanta separate. Are you sure you got this? Step 8 just eliminates the "ROBUST-UNIVERSE" assumption in step 7.Then AUDA translates everything in UDA in terms of numbers and sequences of numbers, making the "body problem" into a problem of arithmetic. It is literally an infinite interview with the universal machine, made finite thanks to the modal logic above, and thanks to the Solovay arithmetical completeness theorem.You cannot both claim that there is a flaw, and at the same time invoke your dyslexia to justify you don't do the technical work to present it.Bruno
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
Dear Roger,
I only see one glaring gap in your explanation here: the chain of non-interaction leads all the way up to the supremum where God is essentially and effectively (not)interacting with itself. Is this not the very definition of Solipsism? How is the problem of solipsism not even infinitely more acute for God? God has no peers, so it naturally implies that the ordinary problem of solipsism - what does one human solipsist say to another? - is a mute point, but somewhere and somehow the appearance of plurality of entities must appear in order for us to explain appearences. This is the very same question that I keep asking Bruno and he seems to not understand the question: How does a plurality of minds emerge from the One such that they have an appearance of interactions without falling into the morass of allowing for everythign and thus, ultimately, explaining nothing?
--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everyth...@googlegroups.com.
To unsubscribe from this group, send email to everything-li...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.