ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] More by and about Turing

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John Bottoms <john@xxxxxxxxxxxxxxxxxxxx>
Date: Sat, 18 Jul 2015 16:11:09 -0400
Message-id: <55AAB2DD.4040805@xxxxxxxxxxxxxxxxxxxx>
On 7/18/2015 2:35 PM, John F Sowa wrote:
On 7/17/2015 5:05 PM, Obrst, Leo J. wrote:
Glad to see Turing was a nascent poet.
Andrew Hodges, the author of that article about Turing, is
a mathematical physicist.  Among the issues he addresses are
Turing's comments about computability over the integers and
the real numbers.  Those questions are significant for any
computational ontology about space-time and the universe.

Hodges notes that Turing was (and still is) ahead of his time
in thinking about those problems.  That poem hints at them.

Hodges' also cites a web site about the *amplituhedron* :
https://www.quantamagazine.org/20130917-a-jewel-at-the-heart-of-quantum-physics/ 
Interesting theory about interactions of particles, what does it say about gravity? Or is that what Leo was referring to in talking about grounding?

-John Bottoms


Implications for formal ontology:
Physicists have discovered a jewel-like geometric object that
dramatically simplifies calculations of particle interactions
and challenges the notion that space and time are fundamental
components of reality.

“This is completely new and very much simpler than anything
that has been done before,” said Andrew Hodges, a mathematical
physicist at Oxford University who has been following the work.

“The degree of efficiency is mind-boggling,” said Jacob Bourjaily,
a theoretical physicist at Harvard University. “You can easily do,
on paper, computations that were infeasible even with a computer.”
This is just one of many, many reasons why I'm highly skeptical
about any proposals for a universal foundation ontology.  A new
discovery can pop up at any time that completely revolutionizes
and *obsoletes* any supposedly "ideal" foundation.

John
 
_________________________________________________________________
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
 



_________________________________________________________________
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>