Résultats de la recherche

{{Confusion|Théorème de Kleene|Théorème de récursion de Kleene}} ...[théorèmes de point fixe|théorème du point fixe]] de [[Stephen Cole Kleene|Kleene]]''' s'énonce comme suit : ...

...lcul]]. Elle a été introduite dans les années 40 par [[Stephen Cole Kleene|Kleene]] comme une interprétation des formules de l'[[arithmétique de Heyting]] pa |nom1=Kleene ...

Le '''théorème d'itération''' est dû à [[Stephen Cole Kleene|Stephen Kleene]], il est aussi connu sous le nom de '''théorème ''s_mn'''''<ref> ...nt l'arrêt est indécidable ou dans la preuve du [[théorème de récursion de Kleene]]. ...

...d'itération|théorème s_mn]], la notation originale utilisée par Kleene est devenue la terminologie standard pour le concept. ...at est [[Décidabilité|décidable]]<ref>{{Référence Harvard sans parenthèses|Kleene|1966|p=244}}</ref> et [[Fonction primitive récursive#Prédicats récursifs pr ...

{{Confusion|Théorème de Kleene|Théorème du point fixe de Kleene}} ...ction partielle et ils sont nommés également '''théorèmes du point fixe de Kleene'''. Ils ont de nombreuses applications. ...

...èbre de Kleene''' (du nom du [[Logique|logicien]] américain [[Stephen Cole Kleene]]) correspond à l'un des deux concepts suivants : ...ssiques, les algèbres de Kleene sont basées sur la [[logique ternaire]] de Kleene. ...

* [[Stephen Cole Kleene|Kleene, S. C.]] (1967) ''Mathematical Logic'', réimprimé 2002, [[Dover Publicati ...

{{Confusion|Théorème de récursion de Kleene|Théorème du point fixe de Kleene}} ...que]], et plus précisément en [[théorie des automates]], le '''théorème de Kleene''' affirme qu'un langage est [[Langage rationnel|rationnel]] (c'est-à-dire ...

...e la notation employée, un [[astérisque]], et ''Kleene'' de [[Stephen Cole Kleene]] qui l'a introduite. L'étoile de Kleene est l'un des trois opérateurs de base utilisés pour définir une [[expressio ...

...d'élimination.</ref>{{,}}<ref>[[Cut-elimination theorem#CITEREFKleene2009|Kleene 2009]], pp. 453, donne une très brève démonstration du théorème d'éliminati ...vrage|langue=de|prénom1=Stephen Cole|nom1=Kleene|lien auteur1=Stephen Cole Kleene|titre=Introduction to metamathematics|éditeur=Ishi Press International|anné ...

..., et de nombreux résultats fondamentaux ont été établis par [[Stephen Cole Kleene]] et Post (1954). Les degrés de Turing ont dès lors été un domaine de reche ...citation" id="CITEREFKleenePost1954">[[Stephen Cole Kleene|Kleene, Stephen Cole]]; Post, Emil L. (1954), "The upper semi-lattice of degrees of recursive un ...

...p. 121; also in ''Abstract Algebra: An Introduction'', 2nd edition. Brooks Cole, July 12, 1996, p. 366.</ref>. On trouve aussi l'expression « '''exponentia ...

* {{Ouvrage |auteur1=[[Stephen Cole Kleene]] |titre=Mathematical logic |éditeur=[[Dover Publications|Dover]] |année=19 ...

...ité qui ont définitivement emporté l'adhésion, selon [[Kurt Gödel|Gödel]], Kleene et Church lui-même. ...|''Recursive Predicates and Quantifiers''}}) [[Stephen Cole Kleene|Stephen Kleene]] (repris dans ''L'Indécidable'', titre original {{lang|en|''The Undecidabl ...

...à des interprétations erronées de sa signification. [[Stephen Cole Kleene|Kleene]] définissait formellement la vérité intuitionniste à partir d'une position ...029890.1946.11991619}} cité dans {{ouvrage |langue=en |auteur=Stephen Cole Kleene |année=1952 |titre=Introduction to Metamathematics |éditeur=North-Holland P ...

* {{Ouvrage | auteur1=Stephen Cole Kleene | titre=Mathematical logic | éditeur=[[Dover Publications|Dover]] | année=1 ...

* {{en}} [[Stephen Cole Kleene]] (1952), ''Introduction to Metamathematics'', Wolters-Noordhoff et North H ...

=== Les combinateurs de Kleene === [[Stephen Cole Kleene|Kleene]]{{Référence nécessaire|date=6 septembre 2016}} a introduit les combinateur ...

=== Tables de vérité Kleene et Priest === ...ns logiques de la « logique forte de l'indétermination » de [[Stephen Cole Kleene]] et de la « logique du paradoxe » de [[Graham Priest]]. ...

...upérieure]] de cet ensemble s'appelle l'ordinal '''ω₁ de Church–Kleene''', noté ω₁^CK (cet ordinal est dénombrable, et ne doi ...aux récursifs utilise les ''notations ordinales'' de [[Stephen Cole Kleene|Kleene]]. Schématiquement, une notation ordinale est soit le nom zéro (représentan ...