ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Toward Human-Level Artificial Intelligence

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)
<Prev in Thread] Current Thread [Next in Thread>
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]

AltStyle によって変換されたページ (->オリジナル) /