About: Turing degree

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

About: Turing degree Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Degré de Turing (fr) Grau de Turing (pt) Turing degree (en) Степінь Тюрінга (uk)
rdfs:comment	En informatique et en logique mathématique, le degré de Turing (nommé d'après Alan Turing) ou le degré d'insolubilité d'un ensemble d'entiers naturels mesure le niveau d'insolubilité algorithmique de l'ensemble. (fr)
rdfs:seeAlso	https://www.jstor.org/topic/degree-of-unsolvability
sameAs	Turing degree Turing degree Turing degree Turing degree Turing degree Turing degree Turing degree Turing degree Turing degree Turing degree Turing degree Turing degree
Wikipage page ID	10289339 (xsd:integer)
Wikipage revision ID	187007301 (xsd:integer)
dbo:wikiPageWikiLink	Alan Turing Annals of Mathematics Infimum and supremum Bulletin of the American Mathematical Society category-fr:Alan_Turing category-fr:Calculabilité Digital object identifier dbpedia-fr:Emil_Post Countable set dbpedia-fr:Ensemble_partiellement_ordonné Natural number Computer science dbpedia-fr:International_Standard_Serial_Number dbpedia-fr:JSTOR dbpedia-fr:Logique_mathématique Turing machine Oracle machine Dense order dbpedia-fr:Problème_de_décision dbpedia-fr:Problème_de_l'arrêt Equivalence relation Richard Shore dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Treillis_(ensemble_ordonné) dbpedia-fr:Mathematical_Reviews dbpedia-fr:Doi:10.1002/malq.19710170131 dbpedia-fr:Doi:10.1016/0001-8708(80)90027-4 dbpedia-fr:Doi:10.1090/S0002-9904-1944-08111-1 dbpedia-fr:Doi:10.1112/S002461159800046X dbpedia-fr:Doi:10.1112/plms/s3-16.1.537 dbpedia-fr:Doi:10.2307/1969708 dbpedia-fr:Doi:10.2307/1970393 dbpedia-fr:Doi:10.2307/1971028 dbpedia-fr:Doi:10.2307/2269807 dbpedia-fr:Doi:10.2307/2270459 dbpedia-fr:Doi:10.4310/mrl.1999.v6.n6.a10 dbpedia-fr:Mesure_de_Martin
Link from a Wikipage to an external page	http://www.cs.umb.edu/~fejer/articles/History_of_Degrees.pdf http://www.jstor.org/stable/1969708 http://www.jstor.org/stable/1970393 http://www.jstor.org/stable/1971028 http://www.jstor.org/stable/2269807 http://www.jstor.org/stable/2270459 http://www.ams.org/mathscinet-getitem%3Fmr=0061078 http://www.ams.org/mathscinet-getitem%3Fmr=0432435 http://www.ams.org/mathscinet-getitem%3Fmr=1635141 http://www.ams.org/mathscinet-getitem%3Fmr=1739227 https://www.ams.org/mathscinet-getitem%3Fmr=0010514 http://www.worldcat.org/issn/0002-9904 http://www.worldcat.org/issn/0003-486X http://www.worldcat.org/issn/0024-6115 http://www.worldcat.org/issn/1073-2780
page length (characters) of wiki page	19513 (xsd:nonNegativeInteger)
dct:subject	category-fr:Alan_Turing category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:À_délister dbpedia-fr:Modèle:À_wikifier dbpedia-fr:Modèle:MathSciNet
prov:wasDerivedFrom	wikipedia-fr:Degré_de_Turing?oldid=187007301&ns=0
prop-fr:art	Turing degree (fr)
prop-fr:id	720946136 (xsd:integer)
prop-fr:lang	en (fr)
prop-fr:langue	en (fr)
prop-fr:texte	saut de Turing (fr)
prop-fr:trad	Turing jump (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Degré_de_Turing
named after	Alan Turing
has abstract	En informatique et en logique mathématique, le degré de Turing (nommé d'après Alan Turing) ou le degré d'insolubilité d'un ensemble d'entiers naturels mesure le niveau d'insolubilité algorithmique de l'ensemble. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Arithmétique_vraie dbpedia-fr:Détermination_(théorie_des_ensembles) Gerald Sacks Arithmetical hierarchy dbpedia-fr:Liste_des_concepts_scientifiques Richard Shore dbpedia-fr:Stephen_Cole_Kleene

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, 16 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software