On Mon, Oct 13, 2014 , Bruno Marchal <[email protected]> wrote: > Not all information is computable. If (a_i) = > 0000001000110000101011000011100010010001101100011101100001101000... > with a_i = 1 if the ith programs (without input) stop, and 0 if not. > That the halting oracle information, and it is not computable. >
I know that, I also know that there is no logical reason or empirical evidence to think that the halting oracle exists in the physical world or even in Plato's abstract Platonia. > But, wait, we don't know if there *is* a physical world. > If there isn't a physical world then why do engineers need to spend millions of man hours and investors spend trillions of dollars making physical computers? If the existence of digital computers in Platonia is good enough why bother? > if you work in the fundamental, that is a very big assumption, If you work in the fundamental It's also a big assumption that Platonia exists. > > there isn't even any reason to think it exists in Plato's abstract >> Platonia. It's true that Turing prove that there are real numbers, lots of >> them, that no computational process can even approximate, but there is no >> reason to think anything else can either. > > >Wow! Are you suggesting we should abandon the (P v ~P) axioms? > I have no idea what the "(P v ~P) axioms" are and neither I might add does Google. Does "P" mean Peano, or Polynomial or is it just more bafflegab? However whatever P means I most certainly don't reject both P and ~P, because if I were I'd be rejecting everything. John K Clark -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
