On 12/28/2013 3:43 AM, Bruno Marchal wrote:


On 28 Dec 2013, at 04:36, Stephen Paul King wrote:


        I loath Kronecker's claim! It is synonymous to "Man is the measure of all 
things".


    What is his claim?  I am not familiar with it.


God created the Integers, all else is the invention of man.


"man is a measure of all things" is a quote from a french philosopher (I just forget right now his name) itself taken from a greek general, which cut the feet or head of all soldier having not the right size (!). (Sorry for those vague memories, learn this in highschool)

"Man is the measure of all things." is usually attributed to Protagoras (a 
student of Plato).
Procrustes, who stretched or chopped guests to fit his iron bed, was a metal smith, not a general.


Now, of course, comp saves Kronecker from anthropomorphism, as with comp we can 
say that:
"God created the integers, all else is the invention of ... integers".

"Die ganze Zahl schuf der liebe Gott, alles √úbrige ist Menschenwerk"
    --- Kronecker

Brent


Of course it made comp number-centered, but this we knew at the start with comp, and ... with christianism, in which it is important to realize our finiteness.

Bruno

http://iridia.ulb.ac.be/~marchal/ <http://iridia.ulb.ac.be/%7Emarchal/>



--
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

--
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to