About: dbpedia-fr:Théorie_de_la

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

About: dbpedia-fr:Théorie_de_la_calculabilité Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:comment	La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité »[réf. nécessaire], de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs. (fr)
dbo:wikiPageWikiLink	dbpedia-fr:Ada_Lovelace Alan Turing Algorithm Recursion (computer science) Algorithmics Alonzo Church dbpedia-fr:Antiquité dbpedia-fr:Argument_de_la_diagonale_de_Cantor Association for Symbolic Logic dbpedia-fr:Automate_cellulaire Blaise Pascal Bulletin de la Société Mathématique de France First-order logic Computer (occupation) Mechanical calculator Busy beaver category-fr:Calculabilité category-fr:Logique_mathématique dbpedia-fr:Charles_Babbage Boolean circuit Gödel numbering Computability in Europe Computational theory of mind International Congress of Mathematicians dbpedia-fr:Crise_des_fondements dbpedia-fr:David_Hilbert Hilbert's tenth problem dbpedia-fr:Décidabilité Gear Countable set Computable function Partial function General recursive function Foundations of mathematics dbpedia-fr:Georg_Cantor dbpedia-fr:George_Boolos Gregory Chaitin History of mathematics Arithmetical hierarchy Theoretical computer science dbpedia-fr:John_P._Burgess dbpedia-fr:Joseph_Marie_Jacquard dbpedia-fr:Kurt_Gödel Lambda calculus dbpedia-fr:Logique_mathématique dbpedia-fr:London_Mathematical_Society Antikythera mechanism Blum–Shub–Smale machine Turing machine Counter machine dbpedia-fr:Métier_Jacquard dbpedia-fr:Nombre_de_Bernoulli dbpedia-fr:Nombre_réel_calculable dbpedia-fr:Oméga_de_Chaitin Computer Parallel RAM Pascal's calculator dbpedia-fr:Paul_Bernays dbpedia-fr:Pierre_Wolper Law of excluded middle dbpedia-fr:Problème_de_décision dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Problème_de_la_décision dbpedia-fr:Programme_de_Hilbert dbpedia-fr:Programme_informatique Random-access machine dbpedia-fr:Routine_(informatique) S. Barry Cooper dbpedia-fr:Stephen_Cole_Kleene Integer sequence dbpedia-fr:Thèse_de_Church dbpedia-fr:Théorème_de_Cantor Rice's theorem Gödel's completeness theorem Kleene's recursion theorem Gödel's incompleteness theorems dbpedia-fr:Turing Wilhelm Ackermann Wilhelm Schickard dbpedia-fr:Éditions_Dunod dbpedia-fr:Équation_diophantienne dbpedia-fr:Richard_Jeffrey dbpedia-fr:Mathématiques
foaf:isPrimaryTopicOf	wikipedia-fr:Théorie_de_la_calculabilité
is dbo:wikiPageWikiLink of	Alan Turing Markov algorithm dbpedia-fr:Andrzej_Grzegorczyk dbpedia-fr:Andrzej_Mostowski dbpedia-fr:Anil_Nerode dbpedia-fr:Argument_de_la_diagonale_de_Cantor Astrophysics dbpedia-fr:Automate dbpedia-fr:Automate_cellulaire dbpedia-fr:Automate_fini_non_déterministe dbpedia-fr:Automate_à_file dbpedia-fr:C++ Calculation First-order logic

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