Re: What is computing?

2019-06-16 Thread Bruno Marchal
eness, (which I >>> have explained many times, but I can do it again), is constructively >>> antireductionist theory. The Löb-Gödelian machines, those who obeys to the >>> probability/consistency laws of Solovays (cf G and G*) can defeat any >>> complete theory a

Re: What is computing?

2019-06-15 Thread Bruno Marchal
> On 14 Jun 2019, at 12:00, 'Cosmin Visan' via Everything List > wrote: > > Computers don't exist. "Computers" is just an idea in consciousness. Physical computers are idea in consciousness, but that does not made them not existing in some way. If not, you are like telling us than the idea

Re: What is computing?

2019-06-15 Thread Philip Thrift
On Saturday, June 15, 2019 at 3:46:54 AM UTC-5, Bruno Marchal wrote: > > > On 14 Jun 2019, at 11:36, Philip Thrift > > wrote: > > > > On Friday, June 14, 2019 at 4:08:53 AM UTC-5, Bruno Marchal wrote: >> >> >> On 13 Jun 2019, at 15:31, Philip Thrift wrote: >> >> >> >> On Thursday, June 13,

Re: What is computing?

2019-06-15 Thread Bruno Marchal
transfinite paths >>>> it get involved into, and why Reality is beyond the computable, yet >>>> partially computable, partially and locally manageable, partially >>>> observable, partially and locally inductively inferable. Etc. >>>> >>>> Even

Re: What is computing?

2019-06-15 Thread Bruno Marchal
> On 14 Jun 2019, at 11:36, Philip Thrift wrote: > > > > On Friday, June 14, 2019 at 4:08:53 AM UTC-5, Bruno Marchal wrote: > >> On 13 Jun 2019, at 15:31, Philip Thrift > >> wrote: >> >> >> >> On Thursday, June 13, 2019 at 7:53:40 AM UTC-5, Bruno Marchal wrote: >> >>> On 12 Jun 2019, at

Re: What is computing?

2019-06-14 Thread 'Cosmin Visan' via Everything List
Computers don't exist. "Computers" is just an idea in consciousness. On Friday, 14 June 2019 12:10:31 UTC+3, Bruno Marchal wrote: > > > Only computers do computing. Programming a computer is not “computing” per > se, although it is something which emerges from computations in arithmetic > when

Re: What is computing?

2019-06-14 Thread Telmo Menezes
t the arithmetical reality is far beyond the computable, but from >>>> inside, the sigma_1 (ultra-mini-tniy part of that reality) is already >>>> bigger than we could hope to formalise in ZF or ZF + Large cardinal. >>>> >>>> Digital mechanism, well unde

Re: What is computing?

2019-06-14 Thread Philip Thrift
On Friday, June 14, 2019 at 4:08:53 AM UTC-5, Bruno Marchal wrote: > > > On 13 Jun 2019, at 15:31, Philip Thrift > > wrote: > > > > On Thursday, June 13, 2019 at 7:53:40 AM UTC-5, Bruno Marchal wrote: >> >> >> On 12 Jun 2019, at 11:50, Philip Thrift wrote: >> >> >> On Wednesday, June 12, 2019

Re: What is computing?

2019-06-14 Thread Bruno Marchal
> On 13 Jun 2019, at 20:07, 'Cosmin Visan' via Everything List > wrote: > > Working software developers don't do "computing”. Only computers do computing. Programming a computer is not “computing” per se, although it is something which emerges from computations in arithmetic when we assume

Re: What is computing?

2019-06-14 Thread Bruno Marchal
> On 13 Jun 2019, at 15:31, Philip Thrift wrote: > > > > On Thursday, June 13, 2019 at 7:53:40 AM UTC-5, Bruno Marchal wrote: > >> On 12 Jun 2019, at 11:50, Philip Thrift > >> wrote: >> >> >> On Wednesday, June 12, 2019 at 2:06:55 AM UTC-5, Cosmin Visan wrote: >> Brain doesn't exist.

Re: What is computing?

2019-06-13 Thread 'Cosmin Visan' via Everything List
Working software developers don't do "computing". They just do get-set. mail.getMessage(), mail.setMessage("Wow! Super-duper computing!"); On Thursday, 13 June 2019 15:44:22 UTC+3, Bruno Marchal wrote: > > Also,without computing, you would not been able to send your post on this > list. You are

Re: What is computing?

2019-06-13 Thread Philip Thrift
On Thursday, June 13, 2019 at 7:53:40 AM UTC-5, Bruno Marchal wrote: > > > On 12 Jun 2019, at 11:50, Philip Thrift > > wrote: > > > On Wednesday, June 12, 2019 at 2:06:55 AM UTC-5, Cosmin Visan wrote: >> >> Brain doesn't exist. "Brain" is just an idea in consciousness. >> > > Point out a place

Re: What is computing?

2019-06-13 Thread Bruno Marchal
> On 12 Jun 2019, at 11:50, Philip Thrift wrote: > > > On Wednesday, June 12, 2019 at 2:06:55 AM UTC-5, Cosmin Visan wrote: > Brain doesn't exist. "Brain" is just an idea in consciousness. > > Point out a place where consciousness exists, and there is no brain there. Consciousness does not

Re: What is computing?

2019-06-13 Thread Bruno Marchal
> On 12 Jun 2019, at 09:06, 'Cosmin Visan' via Everything List > wrote: > > Brain doesn't exist. "Brain" is just an idea in consciousness. I agree. More precisely “brains do not exist ontologically”, they are local phenomenological numbers experiences. But at least, mechanism explains where

Re: What is computing?

2019-06-13 Thread Bruno Marchal
> On 12 Jun 2019, at 08:25, 'Cosmin Visan' via Everything List > wrote: > > Of course is empty since it doesn't mean anything. As John Searle said it: > you can let a pen fall from a height and you can consider it to calculate x = > x0 + yt + gt^2/2. That is typically not a computation,

Re: What is computing?

2019-06-13 Thread Bruno Marchal
> On 12 Jun 2019, at 07:11, Philip Thrift wrote: > > > > So then computing is not empty. > > Consciousness itself is intrinsic (vs. extrinsic) computing. I agree. Now, computer science shows many intrinsic notions emerges from computing notions. Some are provably not amenable top any

Re: What is computing?

2019-06-13 Thread Bruno Marchal
> On 11 Jun 2019, at 23:18, 'Cosmin Visan' via Everything List > wrote: > > Computing = empty concept. I would say the exact contrary. It is an open concept. The math needed to define a computation, which is no more than “very elementary arithmetic” is automatically essentially undecidable.

Re: What is computing?

2019-06-13 Thread Bruno Marchal
e Church-Turing thesis and incompleteness, (which I have >> explained many times, but I can do it again), is constructively >> antireductionist theory. The Löb-Gödelian machines, those who obeys to the >> probability/consistency laws of Solovays (cf G and G*) can defeat any >> com

Re: What is computing?

2019-06-12 Thread Philip Thrift
On Wednesday, June 12, 2019 at 5:25:26 AM UTC-5, Cosmin Visan wrote: > > How do you go in dreams from one place to another ? Simple: you just > change the qualia of space. Of course, probably the waking-state world > indeed is a world shared by other consciousnesses, so space motion might >

Re: What is computing?

2019-06-12 Thread 'Cosmin Visan' via Everything List
How do you go in dreams from one place to another ? Simple: you just change the qualia of space. Of course, probably the waking-state world indeed is a world shared by other consciousnesses, so space motion might have another explanation than in dreams. -- You received this message because

Re: What is computing?

2019-06-12 Thread Philip Thrift
On Wednesday, June 12, 2019 at 5:06:27 AM UTC-5, Cosmin Visan wrote: > > The consciousness that we are familiar with always seems to be accompanied > by the quale of "brain". But notice here that dogs and monkeys and ants are > consciousnesses that don't feel themselves accompanied by the

Re: What is computing?

2019-06-12 Thread 'Cosmin Visan' via Everything List
The consciousness that we are familiar with always seems to be accompanied by the quale of "brain". But notice here that dogs and monkeys and ants are consciousnesses that don't feel themselves accompanied by the quale of "brain". Only we seem to have discovered this. But exactly as they don't

Re: What is computing?

2019-06-12 Thread Philip Thrift
On Wednesday, June 12, 2019 at 2:06:55 AM UTC-5, Cosmin Visan wrote: > > Brain doesn't exist. "Brain" is just an idea in consciousness. > Point out a place where consciousness exists, and there is no brain there. @philipthrift -- You received this message because you are subscribed to the

Re: What is computing?

2019-06-12 Thread 'Cosmin Visan' via Everything List
Brain doesn't exist. "Brain" is just an idea in consciousness. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com.

Re: What is computing?

2019-06-12 Thread Philip Thrift
But that is *extrinsic*, not *intrinsic* computing. *Real *computing is both. https://codicalist.wordpress.com/2018/09/30/real-computationalism/ e.g. An intrinsic program of brain development Sarah Webb https://www.nature.com/articles/stemcells.2008.120 @philipthroft On Wednesday, June 12,

Re: What is computing?

2019-06-12 Thread 'Cosmin Visan' via Everything List
Of course is empty since it doesn't mean anything. As John Searle said it: you can let a pen fall from a height and you can consider it to calculate x = x0 + yt + gt^2/2. So is just words play, you can say about anything you want that it "computes". Of course, besides consciousness. On

Re: What is computing?

2019-06-11 Thread Philip Thrift
So then computing is not empty. Consciousness itself is *intrinsic* (vs. *extrinsic*) computing. @philipthrift On Tuesday, June 11, 2019 at 5:07:02 PM UTC-5, Cosmin Visan wrote: > > I work as a software developer, if, then, get, set. > > This is a game that I made in university just4fun: >

Re: What is computing?

2019-06-11 Thread 'Cosmin Visan' via Everything List
And also a song that I made, why not: https://www.youtube.com/watch?v=c8_n-Ljl8MU -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to

Re: What is computing?

2019-06-11 Thread 'Cosmin Visan' via Everything List
I work as a software developer, if, then, get, set. This is a game that I made in university just4fun: https://www.youtube.com/watch?v=Tt8LFl7t2oE On Wednesday, 12 June 2019 00:34:00 UTC+3, Philip Thrift wrote: > > > > On Tuesday, June 11, 2019 at 4:18:15 PM UTC-5, Cosmin Visan wrote: >> >>

Re: What is computing?

2019-06-11 Thread howardmarks
Prove it's fake news put up or shut up. On 6/11/2019 4:18 PM, 'Cosmin Visan' via Everything List wrote: Computing = empty concept. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails

Re: What is computing?

2019-06-11 Thread Philip Thrift
On Tuesday, June 11, 2019 at 4:18:15 PM UTC-5, Cosmin Visan wrote: > > Computing = empty concept. > Did you ever write (and run) programs? What could be more fun? (aside from sex) @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List"

Re: What is computing?

2019-06-11 Thread 'Cosmin Visan' via Everything List
Computing = empty concept. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To view this discussion on the web

Re: What is computing?

2019-06-11 Thread Telmo Menezes
sistency laws of Solovays (cf G and G*) can defeat any >> complete theory anyone could conceive about them. >> >> Only numbers at the ontological level, OK, but the crazily interesting >> things appears at the phenomenological levels, where things are no more very >&g

Re: What is computing?

2019-06-11 Thread Philip Thrift
to formalise in ZF or ZF + Large cardinal. >>> >>> Digital mechanism, well understood (meaning with understand the quasi >>> direct link between the Church-Turing thesis and incompleteness, (which I >>> have explained many times, but I can do it again), is construc

Re: What is computing?

2019-06-10 Thread Bruno Marchal
o obeys to the >> probability/consistency laws of Solovays (cf G and G*) can defeat any >> complete theory anyone could conceive about them. >> >> Only numbers at the ontological level, OK, but the crazily interesting >> things appears at the phenomenological level

Re: What is computing?

2019-06-09 Thread Philip Thrift
rect link between the Church-Turing thesis and incompleteness, (which I >> have explained many times, but I can do it again), is constructively >> antireductionist theory. The Löb-Gödelian machines, those who obeys to the >> probability/consistency laws of Solovays (cf G and G*) can

Re: What is computing?

2019-06-09 Thread Bruno Marchal
> Only numbers at the ontological level, OK, but the crazily interesting things > appears at the phenomenological levels, where things are no more very > computable at all. > > Bruno > > > > Today is the last day of UCNC 2019. > > Program: http://www.ucnc2019.u

What is computing?

2019-06-07 Thread Philip Thrift
interesting > things appears at the phenomenological levels, where things are no more > very computable at all. > > Bruno > > > Today is the last day of *UCNC 2019*. Program: http://www.ucnc2019.uec.ac.jp/program.html What the conference is about can be summed up as *What is