On Fri, Aug 28, 2015 at 9:45 AM, Bruno Marchal <[email protected]> wrote:
​


​>> ​
>> in the history of the world
>> ​ ​
>> *NOBODY* has ever been able to perform one single calculation without
>> using hardware. No hardware = no calculation.
>
>

​> ​
> Consult Turing or Church,


​Consult Fortune ​magazine for a list of computer hardware companies with
zero manufacturing costs because they had no need to
actually manufacture anything out of matter.


> ​> ​
> or a textbook on computability, for the definition of computation.


​And ​
in the
​entire ​
history of the world
​ ​
*NOBODY* has ever been able to perform one single calculation
​with a definition. ​


​>
>> ​>>​
>> ​Once you assume the basic laws of the natural numbers, (mainly the laws
>> of addition and multiplication), then, all computations exist
>>
>
> ​>> ​
>> ​That's backwards. We know for a fact that computations exist because
>> we've observed them,
>
>
> ​> ​
> Assuming that observation is an ontological criteria,
>

​In other words assuming that the scientific method can be a useful tool
for finding out more about how the world works, and that assumption has
worked pretty well up to now. ​


> ​> ​
> that is assuming Aristotelianism,
>

​To hell with Aristotle and to hell with all those damn overrated ancient
Greeks! ​

​I said it before I'll say it again, Aristotle was the worst physicists who
ever lived. ​And Plato sucked too.

​> ​
> Platonists believe in what they understand, not necessarily in what they
> observe


​And that philosophy was dogma from the time of the ancient Greeks to the
renaissance, and that is precisely why science made such little progress
during those 2000 years.

 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.

Reply via email to