« Thèse de Church » : historique des versions

17 juin 2023

• actudiff 08:1117 juin 2023 à 08:11‎ Verbex discuter contributions‎ 28 408 octets +176‎ →‎Formulation de la thèse annuler

14 mai 2023

• actudiff 19:4614 mai 2023 à 19:46‎ WikiCleanerBot discuter contributions‎ m 28 232 octets −1‎ v2.05b - Correction syntaxique (Ponctuation avant une référence) annuler Balise : WPCleaner

16 mars 2023

• actudiff 20:0116 mars 2023 à 20:01‎ Pyschobbens discuter contributions‎ m 28 233 octets −3‎ →‎Les différentes formulations de la thèse de Church annuler Balise : Éditeur visuel

30 mars 2022

• actudiff 01:3930 mars 2022 à 01:39‎ WikiCleanerBot discuter contributions‎ m 28 236 octets −12‎ v2.04b - Correction syntaxique (Espace insécable - Orthographe et typographie) annuler Balise : WPCleaner

20 janvier 2021

• actudiff 01:5420 janvier 2021 à 01:54‎ WikiCleanerBot discuter contributions‎ m 28 248 octets −1‎ v2.04b - Correction syntaxique (Paramètre inconnu) annuler Balise : WPCleaner

5 mai 2020

• actudiff 18:235 mai 2020 à 18:23‎ Bot de pluie discuter contributions‎ m 28 249 octets +10‎ Mise en forme des dates avec insertion d'espaces insécables. annuler Balise : AWB

2 avril 2020

• actudiff 21:162 avril 2020 à 21:16‎ Alex 2769 discuter contributions‎ 28 239 octets −1‎ ortho (language => langage) annuler

11 janvier 2020

• actudiff 21:0011 janvier 2020 à 21:00‎ PIerre.Lescanne discuter contributions‎ 28 240 octets −8‎ →‎Thèse de Church et calcul quantique : faute de grammaire annuler
• actudiff 20:5811 janvier 2020 à 20:58‎ PIerre.Lescanne discuter contributions‎ 28 248 octets +103‎ →‎Thèse de Church et calcul quantique annuler
• actudiff 20:5411 janvier 2020 à 20:54‎ PIerre.Lescanne discuter contributions‎ 28 145 octets +23‎ →‎Autres modèles de calcul annuler

9 janvier 2020

• actudiff 11:279 janvier 2020 à 11:27‎ PIerre.Lescanne discuter contributions‎ 28 122 octets +96‎ →‎Autres modèles de calcul annuler

7 janvier 2020

• actudiff 19:347 janvier 2020 à 19:34‎ Proz discuter contributions‎ 28 026 octets −13‎ →‎Les différentes formulations de la thèse de Church : pas le seul argument annuler
• actudiff 19:337 janvier 2020 à 19:33‎ Proz discuter contributions‎ 28 039 octets −417‎ →‎Autres modèles de calcul : faux tel quel (ML est un langage typé qui est heureusement Turing complet), l'exemple suivant est suffisant annuler
• actudiff 19:287 janvier 2020 à 19:28‎ Proz discuter contributions‎ 28 456 octets +231‎ →‎Autres modèles de calcul : source surinterprétée, le problème c'est que ce soit un système formel (un "langage de programmation" dans la source citée) annuler
• actudiff 19:217 janvier 2020 à 19:21‎ Proz discuter contributions‎ 28 225 octets −233‎ →‎Autres modèles de calcul : hors sujet : ce n'est pas une fonction au sens usuel annuler
• actudiff 19:207 janvier 2020 à 19:20‎ Proz discuter contributions‎ 28 458 octets −328‎ →‎Autres modèles de calcul : C'est la minimisation qui fait la différence, et la déf. de la fonction d'Ackermann est inutile ici annuler
• actudiff 19:097 janvier 2020 à 19:09‎ Proz discuter contributions‎ 28 786 octets +42‎ →‎Thèse de Church et calcul quantique : ce n'est pas un article mais une thèse (non publiée), il faudrait préciser la page annuler
• actudiff 19:067 janvier 2020 à 19:06‎ Proz discuter contributions‎ 28 744 octets −35‎ →‎Thèse de Church et calcul quantique : Ils fonctionnent très bien, phrase peu compréhensible simplifiée annuler
• actudiff 18:157 janvier 2020 à 18:15‎ Jean-Christophe BENOIST discuter contributions‎ 28 779 octets −10‎ →‎Formulation de la thèse : Du coup annuler
• actudiff 18:037 janvier 2020 à 18:03‎ Gabrillus discuter contributions‎ m 28 789 octets +613‎ Passages non clair annuler Balise : Éditeur visuel
• actudiff 16:497 janvier 2020 à 16:49‎ Jean-Christophe BENOIST discuter contributions‎ 28 176 octets −229‎ Moins clair et précis que ce que cela remplace. La thèse de Church par exemple n'est pas une "concrétisation" et n'est pas "simple", et une thèse n'est pas un "passage". Aucune raison de remplacer l'existant. annuler Balise : Annulation
• actudiff 16:287 janvier 2020 à 16:28‎ Gabrillus discuter contributions‎ m 28 405 octets +229‎ précision "qu'est ce qu'une thèse" annuler

27 mars 2019

• actudiff 12:3427 mars 2019 à 12:34‎ Sergeraert discuter contributions‎ m 28 176 octets +2‎ Ortho (diversES règles) annuler Balise : Éditeur visuel
• actudiff 12:1627 mars 2019 à 12:16‎ Sergeraert discuter contributions‎ m 28 174 octets +1‎ Ortho (particularités majeureS) annuler Balise : Éditeur visuel

13 janvier 2019

• actudiff 02:5513 janvier 2019 à 02:55‎ Framabot discuter contributions‎ m 28 173 octets −5‎ Bot: nettoyage syntaxe (4) <ref> annuler

16 septembre 2018

• actudiff 14:5716 septembre 2018 à 14:57‎ Vincent Lextrait discuter contributions‎ m 28 178 octets −4‎ →‎Autres modèles de calcul annuler
• actudiff 14:5616 septembre 2018 à 14:56‎ Vincent Lextrait discuter contributions‎ m 28 182 octets 0‎ →‎Autres modèles de calcul annuler
• actudiff 14:5516 septembre 2018 à 14:55‎ Vincent Lextrait discuter contributions‎ 28 182 octets +1‎ →‎Qu'est-ce qu'une thèse ? : orthographe annuler
• actudiff 14:5416 septembre 2018 à 14:54‎ Vincent Lextrait discuter contributions‎ m 28 181 octets +2‎ →‎Histoire annuler
• actudiff 14:5416 septembre 2018 à 14:54‎ Vincent Lextrait discuter contributions‎ m 28 179 octets +1‎ →‎Histoire annuler
• actudiff 14:5316 septembre 2018 à 14:53‎ Vincent Lextrait discuter contributions‎ 28 178 octets −7‎ →‎Histoire annuler
• actudiff 14:5116 septembre 2018 à 14:51‎ Vincent Lextrait discuter contributions‎ m 28 185 octets +12‎ →‎Thèse de Church et calcul quantique annuler
• actudiff 14:5016 septembre 2018 à 14:50‎ Vincent Lextrait discuter contributions‎ m 28 173 octets +12‎ →‎Thèse de Church et calcul quantique annuler
• actudiff 14:4916 septembre 2018 à 14:49‎ Vincent Lextrait discuter contributions‎ m 28 161 octets +12‎ →‎Qu'est-ce qu'une thèse ? annuler
• actudiff 14:4816 septembre 2018 à 14:48‎ Vincent Lextrait discuter contributions‎ m 28 149 octets +3‎ Aucun résumé des modifications annuler

14 août 2018

• actudiff 14:2214 août 2018 à 14:22‎ Anpanman discuter contributions‎ m 28 146 octets +2‎ typo modèle annuler

12 avril 2018

• actudiff 16:3412 avril 2018 à 16:34‎ Jacques Ballieu discuter contributions‎ 28 144 octets +4‎ wikification annuler

30 novembre 2017

• actudiff 16:1330 novembre 2017 à 16:13‎ PIerre.Lescanne discuter contributions‎ 28 140 octets +43‎ →‎Histoire : double note annuler
• actudiff 16:1130 novembre 2017 à 16:11‎ PIerre.Lescanne discuter contributions‎ 28 097 octets +1‎ →‎Histoire : "below" c'est c-dessous annuler
• actudiff 16:1030 novembre 2017 à 16:10‎ PIerre.Lescanne discuter contributions‎ 28 096 octets +942‎ →‎Histoire : encore une ref de Church annuler
• actudiff 15:3430 novembre 2017 à 15:34‎ PIerre.Lescanne discuter contributions‎ 27 154 octets +10‎ →‎Formulation de la thèse annuler
• actudiff 15:0130 novembre 2017 à 15:01‎ PIerre.Lescanne discuter contributions‎ 27 144 octets −10‎ →‎Histoire : Kleene n'est pas le premier à l'énoncer puisque Church l'a fait avant lui. annuler

29 novembre 2017

• actudiff 00:0829 novembre 2017 à 00:08‎ PIerre.Lescanne discuter contributions‎ 27 154 octets 0‎ →‎Autres modèles de calcul : mise en forme annuler

28 novembre 2017

• actudiff 19:5728 novembre 2017 à 19:57‎ PIerre.Lescanne discuter contributions‎ 27 154 octets −113‎ →‎Autres modèles de calcul annuler
• actudiff 19:4128 novembre 2017 à 19:41‎ PIerre.Lescanne discuter contributions‎ 27 267 octets −8‎ →‎Autres modèles de calcul : mise en forme annuler
• actudiff 19:2328 novembre 2017 à 19:23‎ PIerre.Lescanne discuter contributions‎ 27 275 octets −42‎ →‎Autres modèles de calcul : alambiqué annuler
• actudiff 19:1328 novembre 2017 à 19:13‎ PIerre.Lescanne discuter contributions‎ 27 317 octets 0‎ →‎Autres modèles de calcul : coquilles annuler
• actudiff 19:1028 novembre 2017 à 19:10‎ PIerre.Lescanne discuter contributions‎ 27 317 octets +1‎ →‎Thèse de Church et calcul quantique : On ne calcule pas un problème ! annuler
• actudiff 19:0628 novembre 2017 à 19:06‎ PIerre.Lescanne discuter contributions‎ 27 316 octets +30‎ →‎Articles connexes annuler

25 novembre 2017

• actudiff 00:1425 novembre 2017 à 00:14‎ PIerre.Lescanne discuter contributions‎ 27 286 octets +30‎ →‎Thèse de Church et calcul quantique annuler