On Wed, Aug 3, 2016 at 4:40 PM, Bruno Marchal <[email protected]> wrote:
> > On 02 Aug 2016, at 22:39, Brent Meeker wrote: > > >> >> On 8/2/2016 11:05 AM, Bruno Marchal wrote: >> >>> Not at all. The existence of the computations is an elementary >>> metatheorem about Robinson Arithmetic, and already a theorem of Peano >>> Arithmetic (still less that what is needed to enunciate Church Thesis). >>> >> >> I don't think you can get existence from axioms. Otherwise I could take >> "unicorns exist" as an axiom and they would. >> > > You can, and if you derive the physical laws from the existence of > unicorn, then it might be an interesting theory. But more people believe > that 2+2 = 4, than in the existence of unicorn, and no interesting results > have ever been obtained from the existence of unicorn. > > ROTFL. Not bad, Bruno. Thank goodness "more people believe" but "no interesting results" is a matter of taste, definitions, ultimately what you call theology. 5 Million people think differently and have purchased "The Last Unicorn" by Peter Beagle. Not bad for a publication of any kind. It features the character *King Haggard as a withdrawn, misanthropic, and miserable King who cares for no one, not even his adopted son Prince Lír. His loneliness and misery is only alleviated by the sight of unicorns. * That IS interesting in that it features a character who withdraws from the world, only accepting the parts that fit his personal mysticism of unicorns. The rest, he rejects, for example if they answer his questions in a fashion that he dislikes. Of course, one day he lets in the girl/unicorn that will be his downfall, thinking in his isolated madness that she can be controlled enough from the distance/defenses of his safe tower. I wonder why he still let her into the castle in the first place, even if his loneliness is obvious. I don't believe in some kind of pissing contest between science, mathematics, theology, and fiction because I enjoy them all. To the rest of you: JUST ANSWER THE QUESTION SO WE CAN PROCEED. THANKS! WOULD ANYBODY DENY THE PROGRESS IN MOVING FORWARD? SO WHY NOT JUST DO IT? ANSWER THE QUESTIONS! PGC -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
