On Fri, Nov 1, 2019 at 6:09 AM Bruno Marchal <[email protected]> wrote:
>> theology failed spectacularly, not only did it fail to provide any > answers it couldn't even find the right questions to ask. > > > It provided science. Science is born from religion > In the same way knowledge is born from ignorance perhaps. As the bible says: "*When I was a child, I spoke as a child, I understood as a child, I thought as a child: but when I became a man, I put away childish things*". > *You need perhaps to study a bit of history of science,* > I would bet money I could beat you on a quiz on the history of science. > He could explain this. > Pythagoras could prove the square root of 2 was irrational but he wasn't happy about it because although he knew it was true he felt he didn't understand why it was true, and he made his followers vow to keep the scandelius truth secret; there is even a story, perhaps apocryphal, that he murdered one of them for breaking this vow and telling a outsider that the square root of 2 could not be expressed as a fraction. > *> The definition of process in computer science is “implementation in a > Turing universal environment”.* > Mathematicians are free to make any sort of definition they want, but few of them are as silly as you and think that after they have proved something about the thing they have just arbitrarily defined that must mean they have proven that thing they defined physically exists. > *> I don’t believe in Matter.* > Who cares? Belief doesn't matter, Plato who you love so much didn't believe the Earth orbited the sun but that didn't make it untrue. > > *Robinson arithmetic is Turing emulable.* > Yes, but you've forgotten what that means. You think that by proving a system is Turing emulable that means the axioms alone can make calculations, and that is ridiculous. Why do you suppose Turing himself spent so much time building actual physical machines? >* Here you invoke without saying your “god” Primary Matter* [...] > And that is my cue to say goodbye because nothing intelligent ever follows. 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv0%2Bu%2BFb%3DxYRAT4S2jseGQMNcbNVjrq-2k3BOejU_8i_JA%40mail.gmail.com.
