On 02/09/07, Bruno Marchal <[EMAIL PROTECTED]> wrote: > You could have chosen a better moment because next week I have exams > and will not be in my office, but the week after I will try to explain > this. It is necessary to get the UDA, and even more for the AUDA (the > lobian interview).
Hi Bruno Given your current commitments, I'll continue my reading, and also thinking about the various issues recently posted. Let's continue the dialogue the week after the exams. BTW, I've also been intermittently reading Schopenhauer (and Bryan Magee's book on him) and ISTM that maybe comp is a way to approach the Kant-Schopenhauer noumenon, at least in the sense that what is below our substitution level is indiscernible, and hence in that way inescapably 'noumenal', for us (i.e. it's constitutive of us, but never an object of our knowledge). Is this in any way similar to what you mean by machine 'theology', in the sense that its theology (or noumenon) is equivalent to a machine's beliefs about its ontology (i.e. its constitutive or 'substitution' level), but that these beliefs can never be formulated as proofs about its epistemic (or 'phenomenal') world? If so, the content of such a belief would then be what Wittgenstein, taking his lead from Schopenhauer, claimed (though he stressed its primacy) that we couldn't make intelligible statements about (i.e. the mystery *that* the world is); but the notion of substitution level in comp would in fact give us a way of speaking about it in a relative way. David > > > Le 31-août-07, à 16:54, Lennart Nilsson a écrit : > > > > > > Bruno says: > > > > "...the notion of computability is absolute." > > > > David Deutsch says: .... > > > > OK, but on this point David, as he says himself, disagrees with 100% of > the mathematicians. > OK, this *is* not an argument .... > > > > > > > > > > "We see around us a computable universe; > > > I am already not sure we can *see* a universe. But I am definitely sure > we don't see a computable universe. This is only something which has to > be inferred. Also, would Copenhagen QM be correct, we could as well say > we see around us a non computable universe. You have to infer the MW > for keeping Church thesis intact (this is not obvious to show). > Also, I recall you that platonists insists that seeing gives only > appearances, and then comp implies (by UDA) that such appearances have > to have non computationnal components. > > > > > > that is to say, of all > > possible mathematical objects and relationships, only an infinitesimal > > proportion > > are ever instantiated in the relationships of physical objects and > > physical > > processes. (These are essentially the computable functions.) > > > David postulates here both comp and physical realism. This is simply > not working by the UDA (and weak Occam). > Recall that: IF I am a Machine, then, whatever the "appearance of > universe" can be it cannot be computable. > > > > Now it might > > seem that one approach to explaining that amazing fact, is to say "the > > reason > > why physical processes conform to this very small part of mathematics, > > 'computable mathematics,' is that physical processes really are > > computations > > running on a computer external to what we think of as physical > > reality." > > > Note that here comp really entails that physical processes cannot be > computable. If I am a digitalizable machine then the universe cannot be > a digitilizable machine. Don't confuse constructive physics or > computational physics with computationnalist physics: which is the > physics you have to derive from numbers once you take seriously enough > the comp hyp. I know that all this is a bit counter-intuitive, that is > why I like to ask people where in the UDA they stop to be convinced. > > > > > But > > that relies > > relies wrongly > > > > on the assumption that the set of computable functions -- the > > Turing computable functions, or the set of quantum computable > > operations > > -- is somehow inherently privileged within mathematics. > > > This is Church thesis, and David agrees (and I think is even the first > to show) that Quantum Computer does not violate Church thesis. The set > of functions computable from N to N with a quantum computer is the same > as the set of functions from N to N computable with Babbage machine or > the one that can be described in <your favorite universal system (Java, > Python, Lisp, Fortran, Game-of-life, etc.>. > > > > > So that even a > > computer > > implemented in unknown physics (the supposed computer that we're > > all simulations on) would be expected to conform to those same notions > > of > > computability, to use those same functions that mathematics designates > > as > > computable. > > Yes. > > > > But in fact, the only thing that privileges the set of all > > computational > > operations that we see in nature, is that they are instantiated by > > the laws of physics. > > I don't believe in this at all (and again, here I'm on the side of all > mathematicians but OK don't take this as an argument). > > > > > It is only through our knowledge of the physical world > > that we know of the difference between computable and not computable. > > > Not at all, except in the weak sense that you have to live to begin > with for being interested in question like that.. Wait until I explain > Church Thesis, there are deep purely arithmetical reasons to believe in > the necessity of the computable and the many uncomputables. > > > > > > So > > it's only through our laws of physics that the nature of computation > > can be > > understood. It can never be vice versa." > > > I don't believe in this. It has not been proved, and actually this > cannot be maintained if comp is true. > > > > > > > http://www.qubit.org/people/david/Articles/PPQT.pdf > > > > > > If it is only through our knowledge of the physical world > > that we know of the difference between computable and not computable, > > and I > > don´t see any flaw in David´s argument that leads up to that > > statement, then > > the notion of computability definitely is not absolute. > > > Well, thank you for providing me still more motivations to explain why > the concept of computability is the most absolute epistemological > notion ever discovered by the mathematician, and why Church thesis, > although a very strong statement (philosophically) is very well > grounded both with the facts and conceptually. > > You could have chosen a better moment because next week I have exams > and will not be in my office, but the week after I will try to explain > this. It is necessary to get the UDA, and even more for the AUDA (the > lobian interview). > > Bruno > > http://iridia.ulb.ac.be/~marchal/ > > > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [EMAIL PROTECTED] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---