About: dbpedia-fr:Thèse_de

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

About: dbpedia-fr:Thèse_de_Church 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èse de Church — du nom du mathématicien Alonzo Church — est une thèse concernant la définition de la notion de calculabilité. Dans une forme dite « physique », elle affirme que la notion physique de la calculabilité, définie comme étant tout traitement systématique réalisable par un processus physique ou mécanique, peut être exprimée par un ensemble de règles de calcul, défini de plusieurs façons dont on a pu démontrer mathématiquement qu'elles sont équivalentes. (fr)
dbo:wikiPageWikiLink	1937 Alan Turing Euclidean algorithm Randomized algorithm Alonzo Church dbpedia-fr:American_Mathematical_Society Calculus of constructions Quantum computing Busy beaver category-fr:Alan_Turing category-fr:Calculabilité category-fr:Intelligence_artificielle Computational theory of mind dbpedia-fr:Coq_(logiciel) dbpedia-fr:David_Deutsch Hilbert's tenth problem Duke Mathematical Journal dbpedia-fr:Emil_Post Ackermann function General recursive function Primitive recursive function Gregory Chaitin Hypercomputation Jacques Herbrand J. Barkley Rosser dbpedia-fr:Kurt_Gödel Lambda calculus Turing machine Counter machine dbpedia-fr:Oméga_de_Chaitin dbpedia-fr:Per_Martin-Löf dbpedia-fr:Plus_grand_commun_diviseur Church–Turing–Deutsch principle Quantum superposition dbpedia-fr:Prix_de_l'Académie_française dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Problème_de_la_décision Richard Feynman dbpedia-fr:Robin_Gandy Effective results in number theory dbpedia-fr:Stephen_Cole_Kleene Random sequence dbpedia-fr:Thèse dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorème_de_Goodstein dbpedia-fr:Turing-complet Unitarity (physics) dbpedia-fr:Youri_Matiiassevitch Martin Davis (mathematician) dbpedia-fr:Machine_de_Turing_quantique dbpedia-fr:Paul_Benioff dbpedia-fr:Richard_Jozsa
is dbo:wikiPageWikiLink of	dbpedia-fr:A_New_Kind_of_Science Alan Turing Alonzo Church Andrea Milani (mathematician) Calculating Space dbpedia-fr:Church Implicit computational complexity Completeness (logic) Computational theory of mind Hilbert's tenth problem dbpedia-fr:Décidabilité dbpedia-fr:Déterminisme dbpedia-fr:Déterminisme_(calculabilité) Computable function Ackermann function dbpedia-fr:Fonction_partielle_récursive General recursive function Primitive recursive function History of artificial intelligence History of mathematics Hypercomputation dbpedia-fr:Hypothèse_de_l'univers_mathématique Computer science Quantum information science Lambda calculus Abstract machine Turing machine Universal Turing machine Abstract state machine Digital physics Scientific evidence Church–Turing–Deutsch principle dbpedia-fr:Robin_Gandy dbpedia-fr:Sciences_du_numérique Random sequence dbpedia-fr:Thèse dbpedia-fr:Théorie_axiomatique dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_des_automates Gödel's incompleteness theorems dbpedia-fr:Turing-complet dbpedia-fr:Épistémologie_de_l'informatique dbpedia-fr:These_de_Church dbpedia-fr:Thèse_Church-Turing dbpedia-fr:Thèse_de_Church-Turing dbpedia-fr:Thèse_de_church

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