🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #3569

Re: Formal definitions (Re: ada-c++ productivity)

#3569
From: Alex Martelli
Date: Mon, 15 Apr 1991 22:13
23 lines
1781 bytes
new@ee.udel.edu (Darren New) writes:
	...
:>>you can't have a formal definition without math.  LOTOS's definition
:>     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^  (Why?)
:
:Because "math" means "formal."  (I think the word "math" comes from
:the name of the Arabic person who invented math, or something like that.)

You're probably thinking of "algorithm".  "Mathematics" is a deeply 
Indo-European word: immediate derivation from Greek "mathein, manthanein",
"to learn", but undoubted relationships link it to other I.E. words (in
various Germanic languages, and Sanskrit) such as "muntar" (prompt, awake),
"munda" (to aim), "mundon" (to pay attention), "medha" (intelligence,
wisdom), ultimately to something like "manas" (mind) + "dadhati" (to put,
to place) - yes, "mind", "mental", "mnemonic" all come from the same
root-word family.  Sorry to intrude, but, while not formally treated,
this definitely IS a MISCellaneous LANGuage problem...:-).

-- 
Alex Martelli - CAD.LAB s.p.a., v. Stalingrado 53, Bologna, Italia
Email: (work:) martelli@cadlab.sublink.org, (home:) alex@am.sublink.org
Phone: (work:) ++39 (51) 371099, (home:) ++39 (51) 250434; 
Fax: ++39 (51) 366964 (work only), Fidonet: 332/401.3 (home only).
Technical Details
Message-ID: <757@cadlab.sublink.ORG>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!dimacs.rutgers.edu!rutgers!modus!gear!cadlab!martelli
References: <1991Apr8.080931.23209@netcom.COM> <50097@nigel.ee.udel.edu> <1991Apr12.082128.11654@netcom.COM> <50570@nigel.ee.udel.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!dimacs.rutgers.edu!rutgers!modus!gear!cadlab!martelli
From: martelli@cadlab.sublink.ORG (Alex Martelli)
Newsgroups: comp.lang.misc
Subject: Re: Formal definitions (Re: ada-c++ productivity)
Message-ID: <757@cadlab.sublink.ORG>
Date: 15 Apr 91 22:13:39 GMT
References: <1991Apr8.080931.23209@netcom.COM> <50097@nigel.ee.udel.edu> <1991Apr12.082128.11654@netcom.COM> <50570@nigel.ee.udel.edu>
Organization: CAD.LAB, Bologna, Italia
Lines: 23