Re: Turing vs Godel

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 17:23, Roger wrote: Wouldn't Godel incompleteness be the fatal flaw in at least some Turing machines ? It is a fatal flaw in the sense that it prevents all Turing machine, including all universal machines, to be omniscient, even just about arithmetic and machines.

Re: Monads as computing elements

2012-08-18 Thread Alberto G. Corona
Until the middle of your message i though that this was in other of my lists, the haskell list haskell-c...@haskell.org. Haskell is a language that uses monads . But in tis case, the concept is borrowed from category theory. But the categorists probably borrowed it from Leibniz . Each monad

Re: Reconciling Bruno's Primitives with Multisense

2012-08-18 Thread Bruno Marchal
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,

Re: Leibniz on the unconscious

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 20:53, meekerdb wrote: On 8/17/2012 10:30 AM, Roger wrote: Hi meekerdb In my view (perhaps not yours) things are as they are and move as they do for a reason, called sufficient reason. Science is the pursuit of sufficient reasons. I doubt that. I think science is

Re: Reconciling Bruno's Primitives with Multisense

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 21:04, Stephen P. King wrote: On 8/17/2012 10:48 AM, 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?)

Re: Descartes and the turf war between science and religion

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 21:06, meekerdb wrote: On 8/17/2012 11:32 AM, Roger wrote: Hi guys, Regarding Descartes. There has always been, and still is, a turf war between science and religion, each wanting to claim superiority over the other. And there's a bit of fear because most people

Re: Why AI is impossible

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 21:14, meekerdb wrote: On 8/17/2012 2:43 AM, Bruno Marchal wrote: On 16 Aug 2012, at 22:11, meekerdb wrote: Are there any explicitly known arithmetic propositions which must be true or false under Peanao's axioms, but which are known to be unprovable? If we

Re: equivalence between math and computations

2012-08-18 Thread Alberto G. Corona
2012/8/16 Bruno Marchal marc...@ulb.ac.be On 15 Aug 2012, at 15:14, Alberto G. Corona wrote: I ´m seduced and intrigued by the Bruno´s final conclussións of the COMP hypothesis. But I had a certain disconfort with the idea of a simulation of the reality by means of an algorithm for reasons

Re: Cs. Knowing that one knows.

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 22:26, Roger wrote: 1) For wine-tasting -- What one must have is knowing that one knows that the wine tastes good. Such as one can prove that 1+1 =2 but one still has to accept that as true. Yes. In fact the proof that 1+1=2 will lead to the truth of 1+1=2,

Re: Leibniz on the unconscious

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 22:40, Roger wrote: Hi Bruno Marchal I apologize for my abruptness. Agreed, mathematics can have God-like powers. Nice. By blueprint I meant mental pre-conception of a world. Thus there had to be intelligence before the Big Bang to create the world as such. This

Re: Self-image and self-identity

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 22:49, Roger wrote: What if I put on a fake moustache ? Or glasses ? Would the computer still know it's me ? Some will, some will not. Today, we can program a computer which recognize better a fake signature than most human could. So, hand made machines might be

Re: The two requirements of life

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 22:57, Roger wrote: I donb't seem to be able to convince Stanley Salthe of this, but I think that life must have two irreplaceable qualities: 1) Autonomous intelligence, that intelligence of nature found in our fine-tuned world. 2) What amounts to the same thing,

Re: Monads as computing elements

2012-08-18 Thread Bruno Marchal
On 18 Aug 2012, at 03:40, Roger wrote: Monads as computing elements, the supreme monad as the central processing computer chip. I think that Leibniz's monads are in some ways similar to computer calculations, for they exist in logical, rather than physical space, and all are capable of

Re: pre-established harmony

2012-08-18 Thread Bruno Marchal
On 17 Aug 2012, at 19:33, Roger wrote: By ontologically primitive entity do you mean substance ? Well, if by substance you mean ontologically primitive. I can be OK. But I prefer to avoid the term substance, as many interpret it in the material sense. Bruno Roger ,

Re: Reconciling Bruno's Primitives with Multisense

2012-08-18 Thread Stephen P. King
On 8/18/2012 6:20 AM, Bruno Marchal wrote: On 17 Aug 2012, at 21:04, Stephen P. King wrote: On 8/17/2012 10:48 AM, 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

Computer applications of monads

2012-08-18 Thread Roger
There is also the mathematical monad (see links below). I don't know if they are the same as Leibniz's monads, but there is a Leibniz programming language: http://www.monads-security.org/ As the hardware development possibilities at Darmstadt were limited Prof. Keedy worked there from 1982

Re: RE: Mornings and afternoons

2012-08-18 Thread Roger
Hi William R. Buckley Sort of, but statements (written words on a page) are objective, words read (as you are reading this) are subjective (in the mind) Roger , rclo...@verizon.net 8/18/2012 Leibniz would say, If there's no God, we'd have to invent him so everything could function. -

Can computers have orgasms ?

2012-08-18 Thread Roger
Hi meekerdb Can computers have orgasms ? Roger , rclo...@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: meekerdb Receiver: everything-list Time: 2012-08-17, 14:43:24

Re: Re: The difference betrween abstract and concrete

2012-08-18 Thread Roger
Hi meekerdb -- I go with the dictionary: ab穝tract/ab'strakt/Adjective:Existing in thought or as an idea but not having a physical or concrete existence. con穋rete/k鋘'kret/Adjective:Existing in a material or physical form; real or solid; not abstract. Roger , rclo...@verizon.net 8/18/2012

Re: Re: Leibniz on the unconscious

2012-08-18 Thread Roger
Hi Bruno Marchal Intelligence such as had to be present before the Big Bang, is purposeful and so looks forward and is pulled toward final causes. Life is also like that, which puts life as implicitly present before the BB. It strives and is purposeful (has entelechy). Dead objects are

Re: The difference betrween abstract and concrete

2012-08-18 Thread Bruno Marchal
On 18 Aug 2012, at 13:59, Roger wrote: Hi meekerdb -- I go with the dictionary: ab·stract/abˈstrakt/ Adjective: Existing in thought or as an idea but not having a physical or concrete existence. con·crete/känˈkrēt/ Adjective: Existing in a material or physical form; real or

Re: Re: Earthquakes

2012-08-18 Thread Roger
Hi Bruno Marchal What you say about evolution is probably true. But evolution (changes in dna) is not the critical problem. I was referring to the creation of life (dna), which absolutely must happen before it evolves. Roger , rclo...@verizon.net 8/18/2012 Leibniz would say, If there's no

Re: Cs. Knowing that one knows.

2012-08-18 Thread Bruno Marchal
On 18 Aug 2012, at 14:47, Roger wrote: Hi Bruno Marchal Being might be defined as =, meaning is. It is a state, not a thing. Then if a state, it is a state relative to some other state. L says that a more dominant monad (superior state) will act on and will always act on a less dominant

On calculating pi

2012-08-18 Thread Roger
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 , rclo...@verizon.net 8/18/2012 Leibniz would say, If there's no God, we'd have to invent him so everything could function. -

Re: The changing world of Leibniz vs the timeless world of Plotinus

2012-08-18 Thread Bruno Marchal
On 18 Aug 2012, at 15:21, Roger wrote: Hi Bruno Marchal I was trying to make monads more understandable, I realize that chips are finite. The philosophies of Plotinus Leibniz are built on L's different logics. a) The philosophy of Plotinus folllows what Leibniz calls the logic of

Re: Re: The difference betrween abstract and concrete

2012-08-18 Thread Roger
Hi Bruno Marchal How can that be ? I'll try to keep that in mind that the natural numbers are concrete, but to me at least concrete things are physical (exist in spacetime) while numbers are nonphysical (exist outside of spacetime). Roger , rclo...@verizon.net 8/18/2012 Leibniz would say,

Re: Descartes and the turf war between science and religion

2012-08-18 Thread Bruno Marchal
On 18 Aug 2012, at 15:35, Roger wrote: IMHO Religion deals with the unchanging Kingdom of Heaven: the eternal logic of Plato, final causes. Eternal truth, not contingent facts. Either and always Yes or No. Whoa! You are close to Platonism. Nice (with respect to comp). Science

Re: Earthquakes

2012-08-18 Thread Bruno Marchal
Hi Roger, What you say about evolution is probably true. But evolution (changes in dna) is not the critical problem. I was referring to the creation of life (dna), which absolutely must happen before it evolves. This might have happened in one day. It is a local and contingent

Re: On calculating pi

2012-08-18 Thread Bruno Marchal
On 18 Aug 2012, at 15:50, Roger wrote: 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 ? Because PI is a clear concept, and you can prove that some algorithm computes its exact value, as

Re: Homunculi

2012-08-18 Thread Bruno Marchal
On 18 Aug 2012, at 15:53, Roger wrote: Hi Bruno Marchal You might think of intelligence or the self or life as a striving toward a goal. Purposeful. No problem with this. AI can be defined as the art of giving goal to machines. And we can already write a general program with a general

Russell's possibly defective understanding of Leibniz. Or was it Leibniz's fault ?

2012-08-18 Thread Roger
Hi Bruno Marchal Admittedly, the more I dig into Leibniz, the more questions I have. But I won't abandon him yet, thinking I misunderstood one of his statements. Or perhaps Russell misunderstood what Leibniz meant. According to Russell, Complete set of predicates means sufficient, complete

Re: Russell's possibly defective understanding of Leibniz. Or was it Leibniz's fault ?

2012-08-18 Thread Richard Ruquist
Roger, In string theory the monads are responsible for the creation of space via compactification of the extra dimensions of space. I have never understood why, especially on the Mind/Brain forum where we already went thru all of you present thinking, why you never accepted the compact manifolds

Re: On calculating pi

2012-08-18 Thread John Clark
On Sat, Aug 18, 2012 at 9:50 AM, Roger rclo...@verizon.net wrote: 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 ? But we do know the precise value of pi, 250 years ago Euler proved that pi squared divided by 6

On comp and the is-ought problem of Hume

2012-08-18 Thread Roger
Hi Bruno Marchal This is probably just my ignorance of what comp is, but there seems to be a discrepancy between comp, which fits with Plato or Platonism, and real life, which actually fits more with Aristotle. Plato is ought to be and Aristotle is is in fact. There is a troubling dualism

Whatever happened to the Higgs boson ?

2012-08-18 Thread Roger
Hi Bruno Marchal There is ontological genocide here of everything but numbers. Concrete (below) is here used as a mathematical type, the implication beuing that the world is made up exclusively of numbers. What ever happened to the Higgs boson ? What natural number is it ? Whatever happened

Re: Re: On calculating pi

2012-08-18 Thread Roger
Hi John Clark Thanks for that. I guess that the various approximations are supposedly faster ways to get to that value. Thanks again. Roger , rclo...@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

Re: Re: Re: A rat brain robot

2012-08-18 Thread Roger
Hi Stathis Papaioannou I don't think so, because the robot rat seems to keep running into things. A real rat would skidaddle out of there. Roger , rclo...@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

Re: On puppet governors

2012-08-18 Thread Platonist Guitar Cowboy
On Thu, Aug 16, 2012 at 11:12 AM, Bruno Marchal marc...@ulb.ac.be wrote: On 15 Aug 2012, at 14:46, Roger wrote: But humans are not entirely governed from outside, they have their own agendas. We have a top level agenda: maximise self-satisfaction, and minimize self-dissatisfaction. This

Re: 0s and 1s

2012-08-18 Thread John Clark
On Fri, Aug 17, 2012 at 2:10 PM, Roger rclo...@verizon.net wrote: You're wrong. It wouldn't be the first time. By the way, it would be helpful it you didn't change the subject line every time you post, particularly if you post several dozen times a day. Very few if any high school students

Re: Re: Monads as computing elements

2012-08-18 Thread Roger
Hi Stephen P. King In the end, as Leibniz puts it, you couldn't tell the difference, they would seem to have windows, but actually, since substances, being logical entities, cannot actually interact, they all must communicate instead through the supreme monad, (the CPU) which presumably reads

Re: Re: Russell's possibly defective understanding of Leibniz. Or was itLeibniz's fault ?

2012-08-18 Thread Roger
Hi Richard Ruquist 1) The is no master string to govern the strings, so strings are unlike monads. 2) Strings are theoretical constructions, which have no meanings. Monads have meanings derived from the bodies they refer to. This goes way beyond algebra. 3) Monads can perceive

Re: Re: 0s and 1s

2012-08-18 Thread Roger
Hi John Clark 1) It is the subject line, after all... I change the subject line to keep track (I store my replies) of what my replies say. And this is still about 0s and 1s. 2) I've lost the exact train of throught, but from what I say, I believe I was trying to point out that 0s and 1s or

Money sex, and power: our agendas

2012-08-18 Thread Roger
Hi Platonist Guitar Cowboy 1) I can accept your hedonism. 2) If you like, you let that be the salf's agenda. I was thinking of ordinary people in the world. IMHO A more realistic agenda would be money, sex, and power. Those failing, you become religious. Roger , rclo...@verizon.net

Re: Money sex, and power: our agendas

2012-08-18 Thread Platonist Guitar Cowboy
Hi Roger On Sat, Aug 18, 2012 at 6:25 PM, Roger rclo...@verizon.net wrote: Hi Platonist Guitar Cowboy 1) I can accept your hedonism. I do not, even though as musician it influences consciously or not. Leads again to too many possible conceptions of selves to satisfy. The computation of

Re: Russell's possibly defective understanding of Leibniz. Or was it Leibniz's fault ?

2012-08-18 Thread Bruno Marchal
On 18 Aug 2012, at 16:41, Roger wrote: Hi Bruno Marchal Admittedly, the more I dig into Leibniz, the more questions I have. But I won't abandon him yet, thinking I misunderstood one of his statements. Or perhaps Russell misunderstood what Leibniz meant. According to Russell, Complete set of

Re: On comp and the is-ought problem of Hume

2012-08-18 Thread meekerdb
Who’s Afraid of the Naturalistic Fallacy? Oliver Curry, Centre Research Associate, Centre for Philosophy of Natural and Social Science, London School of Economics, UK WC2A 2AE, UK; Email: o.s.cu...@lse.ac.uk. Abstract: David Hume argued that values are the projections of natural human

Re: Re: The I Ching, a cominatorically complete hyperlinked semantic field(mind).

2012-08-18 Thread Alberto G. Corona
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. It can even be a

Re: Re: The I Ching, a cominatorically complete hyperlinked semantic field(mind).

2012-08-18 Thread Alberto G. Corona
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

Re: Monads as computing elements

2012-08-18 Thread Stephen P. King
Dear Roger, From what I have studied of Leibniz' Monadology and commentary by many authors, it seems to me that all appearances of interactions is given purely in terms of synchronizations of the internal action of the monads. This synchronization or co-ordination seems very similar to

Re: Re: Russell's possibly defective understanding of Leibniz. Or was itLeibniz's fault ?

2012-08-18 Thread Richard Ruquist
Roger, It is the compactified dimensions that are the monads, not the strings. Obviously you did not read and /or understand all I have been telling you. Richard On Sat, Aug 18, 2012 at 12:12 PM, Roger rclo...@verizon.net wrote: Hi Richard Ruquist 1) The is no master string to govern the

Re: Re: Re: A rat brain robot

2012-08-18 Thread Jason Resch
On Sat, Aug 18, 2012 at 10:48 AM, Roger rclo...@verizon.net wrote: Hi Stathis Papaioannou I don't think so, because the robot rat seems to keep running into things. A real rat would skidaddle out of there. This experiment is not quite what you think. It used only 60,000 rat neurons

Re: Re: The I Ching, a cominatorically complete hyperlinked semantic field(mind).

2012-08-18 Thread Craig Weinberg
On Saturday, August 18, 2012 5:04:28 PM UTC-4, Alberto G.Corona wrote: 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