| Property |
Value |
| dbo:abstract
|
- 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. Dans sa forme dite « psychologique », elle affirme que la notion intuitive de calculabilité, qui est liée à ce qu'un être humain considère comme effectivement calculable ou non, peut également être exprimée par ces mêmes ensembles de règles de calcul formelles. Stephen Kleene fut le premier à nommer « thèse de Church » (en 1943 et 1952) ce que ce dernier présentait comme une définition de la calculabilité effective. Elle est également connue sous le nom plus récent de thèse de Church-Turing, terminologie proposée par certains spécialistes dans les années 1990. Bien que Church soit sans nul doute le premier, au début des années 1930, à avoir pensé pouvoir définir formellement la calculabilité intuitive (par la λ-définissabilité), ce sont cependant l'article d'Alan Turing de 1936 et son modèle mécanique de calculabilité qui ont définitivement emporté l'adhésion, selon Gödel, Kleene et Church lui-même. (fr)
- 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. Dans sa forme dite « psychologique », elle affirme que la notion intuitive de calculabilité, qui est liée à ce qu'un être humain considère comme effectivement calculable ou non, peut également être exprimée par ces mêmes ensembles de règles de calcul formelles. Stephen Kleene fut le premier à nommer « thèse de Church » (en 1943 et 1952) ce que ce dernier présentait comme une définition de la calculabilité effective. Elle est également connue sous le nom plus récent de thèse de Church-Turing, terminologie proposée par certains spécialistes dans les années 1990. Bien que Church soit sans nul doute le premier, au début des années 1930, à avoir pensé pouvoir définir formellement la calculabilité intuitive (par la λ-définissabilité), ce sont cependant l'article d'Alan Turing de 1936 et son modèle mécanique de calculabilité qui ont définitivement emporté l'adhésion, selon Gödel, Kleene et Church lui-même. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageInterLanguageLink
| |
| dbo:wikiPageLength
|
- 27501 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1931 (xsd:integer)
- 1934 (xsd:integer)
- 1935 (xsd:integer)
- 1936 (xsd:integer)
- 1937 (xsd:integer)
- 1938 (xsd:integer)
- 1943 (xsd:integer)
- 1991 (xsd:integer)
|
| prop-fr:colonnes
|
- 2 (xsd:integer)
- 3 (xsd:integer)
|
| prop-fr:doi
| |
| prop-fr:groupe
|
- "De" (fr)
- λdef (fr)
- "De" (fr)
- λdef (fr)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- dbpedia-fr:Kurt_Gödel
- Alan Turing (fr)
- Alonzo Church (fr)
- Jean-Paul Delahaye (fr)
- Stephen Kleene (fr)
- Jacques Herbrand (fr)
|
| prop-fr:lienPériodique
|
- London Mathematical Society#Publications (fr)
- London Mathematical Society#Publications (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Delahaye (fr)
- Turing (fr)
- Church (fr)
- Gödel (fr)
- Herbrand (fr)
- Kleene (fr)
- Delahaye (fr)
- Turing (fr)
- Church (fr)
- Gödel (fr)
- Herbrand (fr)
- Kleene (fr)
|
| prop-fr:ouvrage
|
- Journal of Symbolic Logic (fr)
- Journal of Symbolic Logic (fr)
|
| prop-fr:pages
|
- 1 (xsd:integer)
- 40 (xsd:integer)
- 41 (xsd:integer)
- 153 (xsd:integer)
- 230 (xsd:integer)
- 245 (xsd:integer)
- 332 (xsd:integer)
- 340 (xsd:integer)
- 544 (xsd:integer)
|
| prop-fr:prénom
|
- Alan (fr)
- Jacques (fr)
- Jean-Paul (fr)
- Kurt (fr)
- Alonzo (fr)
- Stephen Cole (fr)
- Alan (fr)
- Jacques (fr)
- Jean-Paul (fr)
- Kurt (fr)
- Alonzo (fr)
- Stephen Cole (fr)
|
| prop-fr:revue
|
- dbpedia-fr:Duke_Mathematical_Journal
- (fr)
- Bull. Amer. Math. Soc. (fr)
- American Journal of Mathematics (fr)
- Proc. London Math. Soc. (fr)
- Journal of Symbolic Logic (fr)
- J. Symbolic Logic (fr)
- The Undecidable (fr)
- Séminaire de philosophie et de mathématiques (fr)
- Trans. A.M.S. (fr)
|
| prop-fr:sousTitre
|
- A Correction (fr)
- A Correction (fr)
|
| prop-fr:série
| |
| prop-fr:texte
|
- Yuri Gurevich (fr)
- Agda (fr)
- Nachum Dershowitz (fr)
- Yuri Gurevich (fr)
- Agda (fr)
- Nachum Dershowitz (fr)
|
| prop-fr:titre
|
- On Computable Numbers, with an Application to the Entscheidungsproblem (fr)
- A Note on the Entscheidungsproblem (fr)
- An Unsolvable Problem of Elementary Number Theory (fr)
- [idem] (fr)
- On Undecidable Propositions of Formal Mathematical Systems (fr)
- Computability and λ-definability (fr)
- Lambda-Definability and Recursiveness (fr)
- Recursive predicates and quantifiers (fr)
- Sur la non-contradiction de l'arithmétique (fr)
- Le concept de suite aléatoire et la thèse de Church (fr)
- On Computable Numbers, with an Application to the Entscheidungsproblem (fr)
- A Note on the Entscheidungsproblem (fr)
- An Unsolvable Problem of Elementary Number Theory (fr)
- [idem] (fr)
- On Undecidable Propositions of Formal Mathematical Systems (fr)
- Computability and λ-definability (fr)
- Lambda-Definability and Recursiveness (fr)
- Recursive predicates and quantifiers (fr)
- Sur la non-contradiction de l'arithmétique (fr)
- Le concept de suite aléatoire et la thèse de Church (fr)
|
| prop-fr:trad
|
- Yuri Gurevich (fr)
- Agda (fr)
- Nachum Dershowitz (fr)
- Yuri Gurevich (fr)
- Agda (fr)
- Nachum Dershowitz (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 41 (xsd:integer)
- 42 (xsd:integer)
- 43 (xsd:integer)
- 53 (xsd:integer)
- 58 (xsd:integer)
- 166 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Davis, M. (fr)
- Davis, M. (fr)
|
| dct:subject
| |
| 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)
- 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)
|
| rdfs:label
|
- Thèse de Church (fr)
- Church-Turing-These (de)
- Church-Turing-hypothese (nl)
- Tese de Church-Turing (pt)
- Tesis de Church-Turing (es)
- Теза Черча — Тюрінга (uk)
- チャーチ＝チューリングのテーゼ (ja)
- Thèse de Church (fr)
- Church-Turing-These (de)
- Church-Turing-hypothese (nl)
- Tese de Church-Turing (pt)
- Tesis de Church-Turing (es)
- Теза Черча — Тюрінга (uk)
- チャーチ＝チューリングのテーゼ (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
