FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052120697> ?p ?o ?g. }

• W2052120697 endingPage "19" @default.
• W2052120697 startingPage "4" @default.
• W2052120697 abstract "In the theoretical analysis of the physical basis of computation there is a great deal of confusion and controversy (e.g., on the existence of hyper-computers). First, we present a methodology for making a theoretical analysis of computation by physical systems. We focus on the construction and analysis of simple examples that are models of simple sub-theories of physical theories. Then we illustrate the methodology by presenting a simple example for Newtonian Kinematics, and a critique that leads to a substantial extension of the methodology. The example proves that for any set A of natural numbers there exists a 3-dimensional Newtonian kinematic system M A , with an infinite family of particles P n whose total mass is bounded, and whose observable behaviour can decide whether or not n ∈ A for all n ∈ N in constant time. In particular, the example implies that simple Newtonian kinematic systems that are bounded in space, time, mass and energy can compute all possible sets and functions on discrete data . The system is a form of marble run and is a model of a small fragment of Newtonian Kinematics. Next, we use the example to extend the methodology. The marble run shows that a formal theory for computation by physical systems needs strong conditions on the notion of experimental procedure and, specifically, on methods for the construction of equipment. We propose to extend the methodology by defining languages to express experimental procedures and the construction of equipment. We conjecture that the functions computed by experimental computation in Newtonian Kinematics are “equivalent” to those computed by algorithms, i.e. the partial computable functions." @default.
• W2052120697 created "2016-06-24" @default.
• W2052120697 creator A5037523032 @default.
• W2052120697 creator A5089689412 @default.
• W2052120697 date "2007-02-01" @default.
• W2052120697 modified "2023-10-16" @default.
• W2052120697 title "Can Newtonian systems, bounded in space, time, mass and energy compute all functions?" @default.
• W2052120697 cites W1567901657 @default.
• W2052120697 cites W1982701920 @default.
• W2052120697 cites W1986956696 @default.
• W2052120697 cites W1995806800 @default.
• W2052120697 cites W2014107656 @default.
• W2052120697 cites W2016881824 @default.
• W2052120697 cites W2023572360 @default.
• W2052120697 cites W2038472629 @default.
• W2052120697 cites W2048858227 @default.
• W2052120697 cites W2052388820 @default.
• W2052120697 cites W2056721503 @default.
• W2052120697 cites W2065597356 @default.
• W2052120697 cites W2074188881 @default.
• W2052120697 cites W2081321506 @default.
• W2052120697 cites W2085536580 @default.
• W2052120697 cites W2086349071 @default.
• W2052120697 cites W2089555907 @default.
• W2052120697 cites W2094663018 @default.
• W2052120697 cites W2104877614 @default.
• W2052120697 cites W2117289751 @default.
• W2052120697 cites W2152557104 @default.
• W2052120697 cites W2171454359 @default.
• W2052120697 cites W2171593695 @default.
• W2052120697 cites W2324440993 @default.
• W2052120697 cites W4241042422 @default.
• W2052120697 doi "https://doi.org/10.1016/j.tcs.2006.10.010" @default.
• W2052120697 hasPublicationYear "2007" @default.
• W2052120697 type Work @default.
• W2052120697 sameAs 2052120697 @default.
• W2052120697 citedByCount "29" @default.
• W2052120697 countsByYear W20521206972012 @default.
• W2052120697 countsByYear W20521206972014 @default.
• W2052120697 countsByYear W20521206972016 @default.
• W2052120697 countsByYear W20521206972018 @default.
• W2052120697 countsByYear W20521206972019 @default.
• W2052120697 crossrefType "journal-article" @default.
• W2052120697 hasAuthorship W2052120697A5037523032 @default.
• W2052120697 hasAuthorship W2052120697A5089689412 @default.
• W2052120697 hasBestOaLocation W20521206971 @default.
• W2052120697 hasConcept C111472728 @default.
• W2052120697 hasConcept C11413529 @default.
• W2052120697 hasConcept C120665830 @default.
• W2052120697 hasConcept C121332964 @default.
• W2052120697 hasConcept C134306372 @default.
• W2052120697 hasConcept C138885662 @default.
• W2052120697 hasConcept C192209626 @default.
• W2052120697 hasConcept C199343813 @default.
• W2052120697 hasConcept C2777686260 @default.
• W2052120697 hasConcept C2780586882 @default.
• W2052120697 hasConcept C28826006 @default.
• W2052120697 hasConcept C294558 @default.
• W2052120697 hasConcept C32848918 @default.
• W2052120697 hasConcept C33923547 @default.
• W2052120697 hasConcept C34388435 @default.
• W2052120697 hasConcept C39920418 @default.
• W2052120697 hasConcept C41008148 @default.
• W2052120697 hasConcept C45374587 @default.
• W2052120697 hasConcept C62520636 @default.
• W2052120697 hasConcept C71924100 @default.
• W2052120697 hasConcept C74650414 @default.
• W2052120697 hasConceptScore W2052120697C111472728 @default.
• W2052120697 hasConceptScore W2052120697C11413529 @default.
• W2052120697 hasConceptScore W2052120697C120665830 @default.
• W2052120697 hasConceptScore W2052120697C121332964 @default.
• W2052120697 hasConceptScore W2052120697C134306372 @default.
• W2052120697 hasConceptScore W2052120697C138885662 @default.
• W2052120697 hasConceptScore W2052120697C192209626 @default.
• W2052120697 hasConceptScore W2052120697C199343813 @default.
• W2052120697 hasConceptScore W2052120697C2777686260 @default.
• W2052120697 hasConceptScore W2052120697C2780586882 @default.
• W2052120697 hasConceptScore W2052120697C28826006 @default.
• W2052120697 hasConceptScore W2052120697C294558 @default.
• W2052120697 hasConceptScore W2052120697C32848918 @default.
• W2052120697 hasConceptScore W2052120697C33923547 @default.
• W2052120697 hasConceptScore W2052120697C34388435 @default.
• W2052120697 hasConceptScore W2052120697C39920418 @default.
• W2052120697 hasConceptScore W2052120697C41008148 @default.
• W2052120697 hasConceptScore W2052120697C45374587 @default.
• W2052120697 hasConceptScore W2052120697C62520636 @default.
• W2052120697 hasConceptScore W2052120697C71924100 @default.
• W2052120697 hasConceptScore W2052120697C74650414 @default.
• W2052120697 hasIssue "1-2" @default.
• W2052120697 hasLocation W20521206971 @default.
• W2052120697 hasLocation W20521206972 @default.
• W2052120697 hasOpenAccess W2052120697 @default.
• W2052120697 hasPrimaryLocation W20521206971 @default.
• W2052120697 hasRelatedWork W1887191277 @default.
• W2052120697 hasRelatedWork W2136053165 @default.
• W2052120697 hasRelatedWork W2148351559 @default.
• W2052120697 hasRelatedWork W2224648581 @default.
• W2052120697 hasRelatedWork W2230691193 @default.

• next