Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003595677> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2003595677 endingPage "1017" @default.
- W2003595677 startingPage "1011" @default.
- W2003595677 abstract "Church's thesis, that all reasonable definitions of “computability” are equivalent, is not usually thought of in terms of computability by a continuous computer, of which the general-purpose analog computer (GPAC) is a prototype. Here we prove, under a hypothesis of determinism, that the analytic outputs of a C ∞ GPAC are computable by a digital computer. In [POE, Theorems 5, 6, 7, and 8], Pour-El obtained some related results. (The proof there of Theorem 7 depends on her Theorem 2, for which the proof in [POE] is incorrect, but for which a correct proof is given in [LIR]. Also, the proof in [POE] of Theorem 8 depends on the unproved assertion that a solution of an algebraic differential equation must be analytic on an open subset of its domain. However, this assertion was later proved in [BRR].) As in [POE], we reduce the problem to a problem about solutions of certain systems of algebraic differential equations (ADE's). If such a system is nonsingular (i.e. if the “separant” does not vanish along the given solution), then the argument is very easy (see [VSD] for an even simpler situation), so that the essential difficulties arise from singular systems. Our main tools in handling these difficulties are drawn from the excellent (and difficult) paper [DEL] by Denef and Lipshitz. The author especially wants to thank Leonard Lipshitz for his kind help in the preparation of the present paper. We emphasize here that our proof of the simulation result applies only to the GPAC as described below. The GPAC's form a natural subclass of the class of all analog computers, and are based on certain idealized components (“black boxes”), mostly associated with the technology of past decades. One can easily envisage other kinds of black boxes of an input-output character that would lead to different kinds of analog computers. (For example, one could incorporate delays, or spatial integrators in addition to the present temporal integrators, etc.) Whether digital simulation is possible for these “extended” analog computers poses a rich and challenging set of research questions." @default.
- W2003595677 created "2016-06-24" @default.
- W2003595677 creator A5008454057 @default.
- W2003595677 date "1989-09-01" @default.
- W2003595677 modified "2023-09-23" @default.
- W2003595677 title "Digital simulation of analog computation and Church's thesis" @default.
- W2003595677 cites W1483208600 @default.
- W2003595677 cites W1982701920 @default.
- W2003595677 cites W2007519455 @default.
- W2003595677 cites W2064162940 @default.
- W2003595677 cites W2081321506 @default.
- W2003595677 cites W2084237314 @default.
- W2003595677 cites W4235981461 @default.
- W2003595677 doi "https://doi.org/10.2307/2274761" @default.
- W2003595677 hasPublicationYear "1989" @default.
- W2003595677 type Work @default.
- W2003595677 sameAs 2003595677 @default.
- W2003595677 citedByCount "45" @default.
- W2003595677 countsByYear W20035956772012 @default.
- W2003595677 countsByYear W20035956772013 @default.
- W2003595677 countsByYear W20035956772016 @default.
- W2003595677 countsByYear W20035956772020 @default.
- W2003595677 crossrefType "journal-article" @default.
- W2003595677 hasAuthorship W2003595677A5008454057 @default.
- W2003595677 hasConcept C110812573 @default.
- W2003595677 hasConcept C11413529 @default.
- W2003595677 hasConcept C127413603 @default.
- W2003595677 hasConcept C134306372 @default.
- W2003595677 hasConcept C136119220 @default.
- W2003595677 hasConcept C146978453 @default.
- W2003595677 hasConcept C152062344 @default.
- W2003595677 hasConcept C185592680 @default.
- W2003595677 hasConcept C199343813 @default.
- W2003595677 hasConcept C199360897 @default.
- W2003595677 hasConcept C202444582 @default.
- W2003595677 hasConcept C202615002 @default.
- W2003595677 hasConcept C2777686260 @default.
- W2003595677 hasConcept C33923547 @default.
- W2003595677 hasConcept C40422974 @default.
- W2003595677 hasConcept C41008148 @default.
- W2003595677 hasConcept C54271186 @default.
- W2003595677 hasConcept C55493867 @default.
- W2003595677 hasConcept C71924100 @default.
- W2003595677 hasConcept C80444323 @default.
- W2003595677 hasConcept C93226319 @default.
- W2003595677 hasConcept C9376300 @default.
- W2003595677 hasConcept C96442724 @default.
- W2003595677 hasConcept C98184364 @default.
- W2003595677 hasConceptScore W2003595677C110812573 @default.
- W2003595677 hasConceptScore W2003595677C11413529 @default.
- W2003595677 hasConceptScore W2003595677C127413603 @default.
- W2003595677 hasConceptScore W2003595677C134306372 @default.
- W2003595677 hasConceptScore W2003595677C136119220 @default.
- W2003595677 hasConceptScore W2003595677C146978453 @default.
- W2003595677 hasConceptScore W2003595677C152062344 @default.
- W2003595677 hasConceptScore W2003595677C185592680 @default.
- W2003595677 hasConceptScore W2003595677C199343813 @default.
- W2003595677 hasConceptScore W2003595677C199360897 @default.
- W2003595677 hasConceptScore W2003595677C202444582 @default.
- W2003595677 hasConceptScore W2003595677C202615002 @default.
- W2003595677 hasConceptScore W2003595677C2777686260 @default.
- W2003595677 hasConceptScore W2003595677C33923547 @default.
- W2003595677 hasConceptScore W2003595677C40422974 @default.
- W2003595677 hasConceptScore W2003595677C41008148 @default.
- W2003595677 hasConceptScore W2003595677C54271186 @default.
- W2003595677 hasConceptScore W2003595677C55493867 @default.
- W2003595677 hasConceptScore W2003595677C71924100 @default.
- W2003595677 hasConceptScore W2003595677C80444323 @default.
- W2003595677 hasConceptScore W2003595677C93226319 @default.
- W2003595677 hasConceptScore W2003595677C9376300 @default.
- W2003595677 hasConceptScore W2003595677C96442724 @default.
- W2003595677 hasConceptScore W2003595677C98184364 @default.
- W2003595677 hasIssue "3" @default.
- W2003595677 hasLocation W20035956771 @default.
- W2003595677 hasOpenAccess W2003595677 @default.
- W2003595677 hasPrimaryLocation W20035956771 @default.
- W2003595677 hasRelatedWork W1502961637 @default.
- W2003595677 hasRelatedWork W1981379995 @default.
- W2003595677 hasRelatedWork W1982652078 @default.
- W2003595677 hasRelatedWork W2003595677 @default.
- W2003595677 hasRelatedWork W2005900207 @default.
- W2003595677 hasRelatedWork W2054329061 @default.
- W2003595677 hasRelatedWork W2963797430 @default.
- W2003595677 hasRelatedWork W2964039876 @default.
- W2003595677 hasRelatedWork W2964145023 @default.
- W2003595677 hasRelatedWork W4246671178 @default.
- W2003595677 hasVolume "54" @default.
- W2003595677 isParatext "false" @default.
- W2003595677 isRetracted "false" @default.
- W2003595677 magId "2003595677" @default.
- W2003595677 workType "article" @default.