To: | "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Michael Brunnbauer <brunni@xxxxxxxxxxxx> |
Date: | 2014年4月24日 12:01:56 +0200 |
Message-id: | <20140424100156.GA32127@xxxxxxxxxxxx> |
Hello John, (01) On Thu, Apr 24, 2014 at 01:19:53AM -0400, John F Sowa wrote: > The plus sign '+' is a simplified ampersand '&', which is an > old Latin way of writing 'et'. So 2+2=4 is an abbreviation for > "Two and two is 4." All the mathematical symbols evolved as > abbreviations for ordinary words. Mathematicians can still read > any equation over the phone to another mathematician as a sentence > in whatever NL they share. (02) I cannot resist to mention my latest fun project - which shows that "I am not provable" is an abbreviation for something very big - at least 64 terabyte in my version: http://brunni.de/goedel/the_number_of_the_beast.html (03) Regards, (04) Michael Brunnbauer (05) -- ++ Michael Brunnbauer ++ netEstate GmbH ++ Geisenhausener Stra?e 11a ++ 81379 M?nchen ++ Tel +49 89 32 19 77 80 ++ Fax +49 89 32 19 77 89 ++ E-Mail brunni@xxxxxxxxxxxx ++ http://www.netestate.de/ ++ ++ Sitz: M?nchen, HRB Nr.142452 (Handelsregister B M?nchen) ++ USt-IdNr. DE221033342 ++ Gesch臟tsf?hrer: Michael Brunnbauer, Franz Brunnbauer ++ Prokurist: Dipl. Kfm. (Univ.) Markus Hendel (06)
Attachment:
pgp677GOx4fsU.pgp
Description: PGP signature
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
Previous by Date: | Re: [ontolog-forum] axiom , Michael Brunnbauer |
---|---|
Next by Date: | [ontolog-forum] Fwd: FW: CCURL 2014 Workshop: Program now available , Laurette Pretorius |
Previous by Thread: | Re: [ontolog-forum] Toward Human-Level Artificial Intelligence , John F Sowa |
Next by Thread: | Re: [ontolog-forum] Toward Human-Level Artificial Intelligence , Kingsley Idehen |
Indexes: | [Date] [Thread] [Top] [All Lists] |