Matches in SemOpenAlex for { <https://semopenalex.org/work/W2918081331> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2918081331 abstract "We consider Continuous Ordinary Differential Equations (CODE) y'=f(y), where f is a continuous function. They are known to always have solutions for a given initial condition y(0)=y0, these solutions being possibly non unique. We restrict to our attention to a class of continuous functions, that we call greedy: they always admit unique greedy solutions, i.e. going in greedy way in some fixed direction. We prove that they can be seen as models of computation over the ordinals (Infinite Time Turing Machines, ITTM) and conversely in a very strong sense. In particular, for such ODEs, to a greedy trajectory can be associated some ordinal corresponding to some time of computation, and conversely models of computation over the ordinals can be associated to some CODE. In particular, analyzing reachability for one or the other concept with respect to greedy trajectories has the same hardness. This also brings new perspectives on analysis in Mathematics, by providing ways to translate results for ITTMs to CODEs. This also extends some recent results about the relations between ordinary differential equations and Turing machines, and more widely with (generalized) computability theory." @default.
- W2918081331 created "2019-03-02" @default.
- W2918081331 creator A5025450702 @default.
- W2918081331 creator A5067372819 @default.
- W2918081331 date "2019-02-19" @default.
- W2918081331 modified "2023-09-27" @default.
- W2918081331 title "Continuous Ordinary Differential Equations and Infinite Time Turing Machines" @default.
- W2918081331 hasPublicationYear "2019" @default.
- W2918081331 type Work @default.
- W2918081331 sameAs 2918081331 @default.
- W2918081331 citedByCount "0" @default.
- W2918081331 crossrefType "posted-content" @default.
- W2918081331 hasAuthorship W2918081331A5025450702 @default.
- W2918081331 hasAuthorship W2918081331A5067372819 @default.
- W2918081331 hasConcept C11413529 @default.
- W2918081331 hasConcept C114614502 @default.
- W2918081331 hasConcept C118615104 @default.
- W2918081331 hasConcept C127413603 @default.
- W2918081331 hasConcept C134306372 @default.
- W2918081331 hasConcept C136643341 @default.
- W2918081331 hasConcept C14036430 @default.
- W2918081331 hasConcept C146978453 @default.
- W2918081331 hasConcept C152062344 @default.
- W2918081331 hasConcept C29248071 @default.
- W2918081331 hasConcept C33923547 @default.
- W2918081331 hasConcept C45374587 @default.
- W2918081331 hasConcept C51544822 @default.
- W2918081331 hasConcept C78045399 @default.
- W2918081331 hasConcept C78458016 @default.
- W2918081331 hasConcept C86803240 @default.
- W2918081331 hasConcept C93226319 @default.
- W2918081331 hasConceptScore W2918081331C11413529 @default.
- W2918081331 hasConceptScore W2918081331C114614502 @default.
- W2918081331 hasConceptScore W2918081331C118615104 @default.
- W2918081331 hasConceptScore W2918081331C127413603 @default.
- W2918081331 hasConceptScore W2918081331C134306372 @default.
- W2918081331 hasConceptScore W2918081331C136643341 @default.
- W2918081331 hasConceptScore W2918081331C14036430 @default.
- W2918081331 hasConceptScore W2918081331C146978453 @default.
- W2918081331 hasConceptScore W2918081331C152062344 @default.
- W2918081331 hasConceptScore W2918081331C29248071 @default.
- W2918081331 hasConceptScore W2918081331C33923547 @default.
- W2918081331 hasConceptScore W2918081331C45374587 @default.
- W2918081331 hasConceptScore W2918081331C51544822 @default.
- W2918081331 hasConceptScore W2918081331C78045399 @default.
- W2918081331 hasConceptScore W2918081331C78458016 @default.
- W2918081331 hasConceptScore W2918081331C86803240 @default.
- W2918081331 hasConceptScore W2918081331C93226319 @default.
- W2918081331 hasLocation W29180813311 @default.
- W2918081331 hasOpenAccess W2918081331 @default.
- W2918081331 hasPrimaryLocation W29180813311 @default.
- W2918081331 hasRelatedWork W1211082744 @default.
- W2918081331 hasRelatedWork W1492288613 @default.
- W2918081331 hasRelatedWork W1506622179 @default.
- W2918081331 hasRelatedWork W1518875360 @default.
- W2918081331 hasRelatedWork W1582285885 @default.
- W2918081331 hasRelatedWork W2015596941 @default.
- W2918081331 hasRelatedWork W2021193487 @default.
- W2918081331 hasRelatedWork W2050204928 @default.
- W2918081331 hasRelatedWork W2075204971 @default.
- W2918081331 hasRelatedWork W2255396483 @default.
- W2918081331 hasRelatedWork W2294074214 @default.
- W2918081331 hasRelatedWork W2347853400 @default.
- W2918081331 hasRelatedWork W2476507076 @default.
- W2918081331 hasRelatedWork W2799736310 @default.
- W2918081331 hasRelatedWork W2903280113 @default.
- W2918081331 hasRelatedWork W2948267232 @default.
- W2918081331 hasRelatedWork W2950007347 @default.
- W2918081331 hasRelatedWork W2953240443 @default.
- W2918081331 hasRelatedWork W2301208049 @default.
- W2918081331 hasRelatedWork W2565985827 @default.
- W2918081331 isParatext "false" @default.
- W2918081331 isRetracted "false" @default.
- W2918081331 magId "2918081331" @default.
- W2918081331 workType "article" @default.