FRINK Linked Data Fragments server

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

• W1995082015 endingPage "28" @default.
• W1995082015 startingPage "1" @default.
• W1995082015 abstract "We study some representations of real numbers. We compare these representations, on the one hand from the viewpoint of recursive functionals, and of complexity on the other hand. The impossibility of obtaining some functions as recursive functionals is, in general, easy. This impossibility may often be explicited (and reinforced) in terms of complexity: - existence of a sequence of low complexity whose image is not a recursive sequence, - existence of objects of low complexity but whose images have arbitrarily high time- complexity (often, the ‘low complexity’ is linear time or polynomial time). Moreover, some representations of real numbers that are equivalent from the viewpoint of recursive functionals, are very distinct from the viewpoint of complexity. We make a particular study of representations via continued fractions (dfc). We precise exactly what part of information available in the x 's dfc is equivalent to the information available in its Dedekinds cut. We show that the sum of two reals whose dfcs are polynomial-time computable may be a real whose dfc has time complexity arbitrarily high. This work confirms that the unique representation of real numbers suitable for the ordinary calculus is via explicit Cauchy sequences of rationals. Nous étudions différentes manières de présenter les nombres réels. Nous comparons ces présentations du point de vue des fonctionnelles récursives d'une part, et de celui des classes de complexité d'autre part. L'impossibilité d'obtenir certaines fonctions sous forme de fonctionnelles récursives est en général facile à établir. Cette impossiblité peut souvent être explicitée (et renforcée) en termes de complexité: - il existe une suite de faible complexité dont l'image est une suite non récursive, - il existe des objets de faible complexité mais dont les images sont des objets de complexité arbitrairement grande (le plus souvent la ‘faible complexité’ est celle en temps linéaire ou polynomial). En outre, certaines présentations des réels équivalentes du point de vue des fonctionnelles récursives se distinguent nettement du point de vue de la complexité. Nous faisons une étude particulière concernant les développements en fraction continue (dfc). Nous précisions exactement quelle est la partie de l'information disponible dans le dfc d'un réel x qui équivaut à l'information disponible dans sa coupure de Dedekind. Nous montrons également que la somme de deux réels dont le dfc est calculable en temps polynomial peut être un réel dont le dfc est de complexité arbitrairement grande. Ce travail confirme que seule une présentation des réels via des suites de rationnels explicitement de Cauchy est adaptée aux calculs avec les réels." @default.
• W1995082015 created "2016-06-24" @default.
• W1995082015 creator A5002114345 @default.
• W1995082015 creator A5023198329 @default.
• W1995082015 date "1990-11-01" @default.
• W1995082015 modified "2023-09-27" @default.
• W1995082015 title "Real numbers, continued fractions and complexity classes" @default.
• W1995082015 cites W1964728647 @default.
• W1995082015 cites W2020164082 @default.
• W1995082015 cites W2026159946 @default.
• W1995082015 cites W2033642714 @default.
• W1995082015 cites W2039933435 @default.
• W1995082015 cites W2126160338 @default.
• W1995082015 cites W4231629838 @default.
• W1995082015 doi "https://doi.org/10.1016/0168-0072(90)90052-4" @default.
• W1995082015 hasPublicationYear "1990" @default.
• W1995082015 type Work @default.
• W1995082015 sameAs 1995082015 @default.
• W1995082015 citedByCount "14" @default.
• W1995082015 countsByYear W19950820152018 @default.
• W1995082015 countsByYear W19950820152020 @default.
• W1995082015 countsByYear W19950820152021 @default.
• W1995082015 crossrefType "journal-article" @default.
• W1995082015 hasAuthorship W1995082015A5002114345 @default.
• W1995082015 hasAuthorship W1995082015A5023198329 @default.
• W1995082015 hasBestOaLocation W19950820151 @default.
• W1995082015 hasConcept C11413529 @default.
• W1995082015 hasConcept C114614502 @default.
• W1995082015 hasConcept C118615104 @default.
• W1995082015 hasConcept C134306372 @default.
• W1995082015 hasConcept C156382255 @default.
• W1995082015 hasConcept C17744445 @default.
• W1995082015 hasConcept C179799912 @default.
• W1995082015 hasConcept C199539241 @default.
• W1995082015 hasConcept C27318111 @default.
• W1995082015 hasConcept C2776261394 @default.
• W1995082015 hasConcept C2776359362 @default.
• W1995082015 hasConcept C2778112365 @default.
• W1995082015 hasConcept C311688 @default.
• W1995082015 hasConcept C33923547 @default.
• W1995082015 hasConcept C46875033 @default.
• W1995082015 hasConcept C54271186 @default.
• W1995082015 hasConcept C54355233 @default.
• W1995082015 hasConcept C86803240 @default.
• W1995082015 hasConcept C90119067 @default.
• W1995082015 hasConcept C94020503 @default.
• W1995082015 hasConcept C94625758 @default.
• W1995082015 hasConceptScore W1995082015C11413529 @default.
• W1995082015 hasConceptScore W1995082015C114614502 @default.
• W1995082015 hasConceptScore W1995082015C118615104 @default.
• W1995082015 hasConceptScore W1995082015C134306372 @default.
• W1995082015 hasConceptScore W1995082015C156382255 @default.
• W1995082015 hasConceptScore W1995082015C17744445 @default.
• W1995082015 hasConceptScore W1995082015C179799912 @default.
• W1995082015 hasConceptScore W1995082015C199539241 @default.
• W1995082015 hasConceptScore W1995082015C27318111 @default.
• W1995082015 hasConceptScore W1995082015C2776261394 @default.
• W1995082015 hasConceptScore W1995082015C2776359362 @default.
• W1995082015 hasConceptScore W1995082015C2778112365 @default.
• W1995082015 hasConceptScore W1995082015C311688 @default.
• W1995082015 hasConceptScore W1995082015C33923547 @default.
• W1995082015 hasConceptScore W1995082015C46875033 @default.
• W1995082015 hasConceptScore W1995082015C54271186 @default.
• W1995082015 hasConceptScore W1995082015C54355233 @default.
• W1995082015 hasConceptScore W1995082015C86803240 @default.
• W1995082015 hasConceptScore W1995082015C90119067 @default.
• W1995082015 hasConceptScore W1995082015C94020503 @default.
• W1995082015 hasConceptScore W1995082015C94625758 @default.
• W1995082015 hasIssue "1" @default.
• W1995082015 hasLocation W19950820151 @default.
• W1995082015 hasOpenAccess W1995082015 @default.
• W1995082015 hasPrimaryLocation W19950820151 @default.
• W1995082015 hasRelatedWork W1511083614 @default.
• W1995082015 hasRelatedWork W1593659144 @default.
• W1995082015 hasRelatedWork W1638251065 @default.
• W1995082015 hasRelatedWork W1995082015 @default.
• W1995082015 hasRelatedWork W2007775665 @default.
• W1995082015 hasRelatedWork W2021193487 @default.
• W1995082015 hasRelatedWork W2045141709 @default.
• W1995082015 hasRelatedWork W2093468014 @default.
• W1995082015 hasRelatedWork W2143028857 @default.
• W1995082015 hasRelatedWork W2962816983 @default.
• W1995082015 hasVolume "50" @default.
• W1995082015 isParatext "false" @default.
• W1995082015 isRetracted "false" @default.
• W1995082015 magId "1995082015" @default.
• W1995082015 workType "article" @default.