About: Specker sequence

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Specker sequence Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Specker sequence (en) Specker-Folge (de) Suite de Specker (fr)
rdfs:comment	Une suite de Specker est un contre-exemple dans les mathématiques constructives à certains théorèmes établis dans l'analyse classique. Il s'agit d'une suite de nombres rationnels qui est calculable, croissante, et majorée, mais dont la limite n'est pas un nombre réel calculable, ce qui (en mathématiques constructives) contredit le théorème de la limite monotone. Ces suites furent découvertes en 1949 par le mathématicien zurichois Ernst Specker (1920-2011). (fr)
rdfs:seeAlso	https://ncatlab.org/nlab/show/Specker_sequence
sameAs	Specker sequence Specker sequence Specker sequence Specker sequence
Wikipage page ID	3123326 (xsd:integer)
Wikipage revision ID	178507679 (xsd:integer)
dbo:wikiPageWikiLink	Mathematical analysis category-fr:Analyse_réelle category-fr:Calculabilité dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Développement_décimal dbpedia-fr:Développement_décimal_périodique Computable set dbpedia-fr:Ernst_Specker Computable function Monotonic function Injective function dbpedia-fr:Logique_classique Turing machine dbpedia-fr:Nombre_rationnel dbpedia-fr:Nombre_réel_calculable dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Récursivement_énumérable dbpedia-fr:Théorème dbpedia-fr:Théorème_de_la_limite_monotone dbpedia-fr:Zurich dbpedia-fr:Mathématicien
page length (characters) of wiki page	3839 (xsd:nonNegativeInteger)
dct:subject	category-fr:Analyse_réelle category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Ind dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Math
prov:wasDerivedFrom	wikipedia-fr:Suite_de_Specker?oldid=178507679&ns=0
foaf:depiction
thumbnail	wiki-commons:Special:FilePath/Ernst_Specker.jpeg?width=300
foaf:isPrimaryTopicOf	wikipedia-fr:Suite_de_Specker
has abstract	Une suite de Specker est un contre-exemple dans les mathématiques constructives à certains théorèmes établis dans l'analyse classique. Il s'agit d'une suite de nombres rationnels qui est calculable, croissante, et majorée, mais dont la limite n'est pas un nombre réel calculable, ce qui (en mathématiques constructives) contredit le théorème de la limite monotone. Ces suites furent découvertes en 1949 par le mathématicien zurichois Ernst Specker (1920-2011). (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Ernst_Specker dbpedia-fr:Nombre_irrationnel dbpedia-fr:Nombre_réel_calculable dbpedia-fr:Oméga_de_Chaitin dbpedia-fr:Théorème_de_la_limite_monotone
is oa:hasTarget of	De labels En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Suite_de_Specker

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software