ontology-summit
[Top] [All Lists]

[ontology-summit] P vs NP and open world principle

To: "Ontology Summit 2012 discussion" <ontology-summit@xxxxxxxxxxxxxxxx>
From: "Yuriy Milov" <qdone@xxxxxxxxxx>
Date: Thu, 9 Feb 2012 12:12:06 -0500
Message-id: <447A61BA4C5F405682537186C638756B@zz>

Engineering and science diverge in regards of principle of openness and the big numbers
 
For science the infinite ("open") set of natural numbers (1,2,3... so on) is the basis of everything what can be said and shared, and the finite set of billions of billions elements with billons of billions properties and billons of billions relationships just is a "simple" subset
 
For engineering it's vise versa: 1,2,3 and so on is simple, the 15-puzzle is "simplier" than the Rubik's Cube, and all other problems look like the puzzles (complexity is time to solve)
 
Scientific scope: "For the n-puzzle, a generalized 15-puzzle, the problem of finding an optimal solution is known to be NP-hard. Therefore, whether a practical God's algorithm for this problem exists remains unknown but appears unlikely." http://en.wikipedia.org/wiki/God's_algorithm
 
The "simple" questions devide science and engineering:
 
Can the infinite and open world be succesfully "represented" by finit number of things (even a "very-very big" number)?
What is more important - to resolve a puzzle, or to prove that the puzzle is NP-hard?
 
Have fun
Yuri
 

_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012  
Community Portal: http://ontolog.cim3.net/wiki/     (01)
<Prev in Thread] Current Thread [Next in Thread>