« Logique intuitionniste » : historique des versions

18 mai 2024

• actudiff 00:1618 mai 2024 à 00:16‎ JeanCASPAR discuter contributions‎ 42 781 octets +31‎ →‎Articles connexes : Arithmétique de Heyting en article connexe annuler Balise : Éditeur visuel
• actudiff 00:1518 mai 2024 à 00:15‎ JeanCASPAR discuter contributions‎ 42 750 octets 0‎ →‎Tiers exclu : lien vers Arithmétique de Heyting annuler Balise : Éditeur visuel

25 janvier 2024

• actudiff 11:2125 janvier 2024 à 11:21‎ PIerre.Lescanne discuter contributions‎ m 42 750 octets −3‎ de des → des annuler

24 janvier 2024

• actudiff 11:5724 janvier 2024 à 11:57‎ Theon discuter contributions‎ 42 753 octets +31‎ On ne sait pas si on ne pourra pas un jour prouver la rationalité de la constante d'Euler par des moyens constructivistes annuler

21 janvier 2024

• actudiff 11:5121 janvier 2024 à 11:51‎ 81.67.137.220 discuter‎ 42 722 octets +1‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

26 décembre 2023

• actudiff 22:4726 décembre 2023 à 22:47‎ Jarfe discuter contributions‎ m 42 721 octets −12‎ v2.05 - Correction syntaxique (Lien interne vers un article d’une autre langue - Orthographe et typographie) annuler Balise : WPCleaner

9 décembre 2023

• actudiff 10:049 décembre 2023 à 10:04‎ Jevan discuter contributions‎ m 42 733 octets +2‎ →‎Histoire : Brouwer mathématicien néerlandais annuler Balise : Éditeur visuel

20 septembre 2022

• actudiff 10:0820 septembre 2022 à 10:08‎ PIerre.Lescanne discuter contributions‎ 42 731 octets 0‎ →‎Non-interdéfinissabilité des opérateurs annuler
• actudiff 10:0720 septembre 2022 à 10:07‎ PIerre.Lescanne discuter contributions‎ 42 731 octets −67‎ →‎Non-interdéfinissabilité des opérateurs : suppression des scories annuler
• actudiff 09:5720 septembre 2022 à 09:57‎ PIerre.Lescanne discuter contributions‎ m 42 798 octets 0‎ →‎Non-interdéfinissabilité des opérateurs : 4 → 9 annuler
• actudiff 09:5620 septembre 2022 à 09:56‎ PIerre.Lescanne discuter contributions‎ 42 798 octets +207‎ →‎Non-interdéfinissabilité des opérateurs : ref annuler
• actudiff 09:5220 septembre 2022 à 09:52‎ PIerre.Lescanne discuter contributions‎ 42 591 octets +178‎ →‎Ouvrages annuler
• actudiff 09:1420 septembre 2022 à 09:14‎ PIerre.Lescanne discuter contributions‎ 42 413 octets +440‎ →‎Ouvrages : Dragalin annuler
• actudiff 08:5520 septembre 2022 à 08:55‎ PIerre.Lescanne discuter contributions‎ 41 973 octets −17‎ →‎Relations avec la logique classique : Je cherche une référence acceptable annuler
• actudiff 08:5420 septembre 2022 à 08:54‎ PIerre.Lescanne discuter contributions‎ 41 990 octets −267‎ →‎Non-interdéfinissabilité des opérateurs : Brisé avec peu de chance de le retrouver. De plus cette référence n'est pas vraiment solide annuler
• actudiff 08:4020 septembre 2022 à 08:40‎ Theon discuter contributions‎ 42 257 octets +3‎ →‎Non-interdéfinissabilité des opérateurs : lien brisé annuler
• actudiff 03:0420 septembre 2022 à 03:04‎ Pommeret35 discuter contributions‎ m 42 254 octets +4‎ Aucun résumé des modifications annuler Balise : Éditeur visuel : basculé

19 juillet 2022

• actudiff 09:5219 juillet 2022 à 09:52‎ LearnToWritePlz discuter contributions‎ m 42 250 octets 0‎ Aucun résumé des modifications annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

24 février 2022

• actudiff 19:5724 février 2022 à 19:57‎ 78.199.139.55 discuter‎ 42 250 octets −3‎ →‎Sémantique de la logique intuitionniste annuler Balise : Éditeur visuel
• actudiff 19:3924 février 2022 à 19:39‎ Fschwarzentruber discuter contributions‎ 42 253 octets +1 022‎ →‎Exemple annuler Balise : Éditeur visuel
• actudiff 19:2924 février 2022 à 19:29‎ Fschwarzentruber discuter contributions‎ 41 231 octets +253‎ →‎Modèles de Kripke annuler Balise : Éditeur visuel

14 février 2022

• actudiff 14:4614 février 2022 à 14:46‎ PIerre.Lescanne discuter contributions‎ 40 978 octets −4‎ Annulation de la modification de 2A01:CB00:8004:100:9C1A:F67A:FFCB:74EE (d) Parler d'isomorphisme dans ce cas est un abus de langage; Il ne faut donc renvoyer à l'article isomorphisme annuler Balise : Annulation

13 février 2022

• actudiff 16:5613 février 2022 à 16:56‎ 2a01:cb00:8004:100:9c1a:f67a:ffcb:74ee discuter‎ 40 982 octets +4‎ →‎Histoire annuler Balise : Révoqué

26 décembre 2021

• actudiff 15:3526 décembre 2021 à 15:35‎ Albgr03 discuter contributions‎ m 40 978 octets −3‎ Coquilles corrigées annuler Balises : Modification par mobile Modification par application mobile Modification avec l’application iOS

18 juillet 2021

• actudiff 16:5518 juillet 2021 à 16:55‎ Proz discuter contributions‎ m 40 981 octets −1‎ →‎La logique implicative : - annuler
• actudiff 15:4518 juillet 2021 à 15:45‎ Proz discuter contributions‎ 40 982 octets −12‎ →‎La logique propositionnelle intuitionniste : une fois suffit annuler
• actudiff 15:4518 juillet 2021 à 15:45‎ Proz discuter contributions‎ 40 994 octets +311‎ →‎La logique implicative : replatrâge : axiome nécessaire, gestion du contexte, dans le fragment implicationnel, logique minimale = logique intuitionniste ... annuler
• actudiff 10:4518 juillet 2021 à 10:45‎ Palpalpalpal discuter contributions‎ m 40 683 octets +158‎ →‎La logique implicative : Demande de clarification. annuler Balise : Éditeur de source 2017

22 juin 2021

• actudiff 08:0722 juin 2021 à 08:07‎ Golmote discuter contributions‎ m 40 525 octets −1‎ Clic alvéolaire remplacé par point d'exclamation annuler

11 janvier 2021

• actudiff 09:4711 janvier 2021 à 09:47‎ WikiCleanerBot discuter contributions‎ m 40 526 octets −73‎ v2.04b - Correction syntaxique (Modèle avec paramètre obsolète - Paramètre inutilisé) annuler Balise : WPCleaner

22 août 2020

• actudiff 05:5922 août 2020 à 05:59‎ Vimene discuter contributions‎ m 40 599 octets +3‎ guillemet manquant annuler

21 août 2020

• actudiff 14:0521 août 2020 à 14:05‎ CodexBot discuter contributions‎ m 40 596 octets −127‎ bot [0.84] 📗 Amélioration bibliographique 5x : wikif... annuler

7 février 2020

• actudiff 16:367 février 2020 à 16:36‎ PIerre.Lescanne discuter contributions‎ 40 723 octets −1‎ Annulation de la modification de 109.26.214.238 (d) "différant " est ici un participe présent annuler Balise : Annulation
• actudiff 15:197 février 2020 à 15:19‎ 109.26.214.238 discuter‎ 40 724 octets +1‎ →‎Histoire annuler Balise : Éditeur visuel

3 janvier 2020

• actudiff 05:243 janvier 2020 à 05:24‎ Philibre discuter contributions‎ m 40 723 octets −6‎ →‎Plongement de la logique classique dans la logique intuitionniste : suppression terme en doublon (sans signification) annuler

12 décembre 2019

• actudiff 14:5912 décembre 2019 à 14:59‎ Robincantin discuter contributions‎ 40 729 octets +34‎ →‎Articles connexes : Ajout d'un wikilien, ordre alphabétique annuler Balise : Éditeur de source 2017

15 novembre 2019

• actudiff 10:0415 novembre 2019 à 10:04‎ SniperMaské discuter contributions‎ m 40 695 octets +1‎ typographie annuler

3 novembre 2019

• actudiff 23:213 novembre 2019 à 23:21‎ Sebleouf discuter contributions‎ m 40 694 octets +1‎ coquille annuler

20 août 2019

• actudiff 22:3320 août 2019 à 22:33‎ Epsilon0 discuter contributions‎ 40 693 octets +98‎ Annulation de la modification de 2A0C:700:0:21:CE1D:BA34:5F83:4193 (d) + p.-e. plus clair annuler Balise : Annulation
• actudiff 22:2020 août 2019 à 22:20‎ 2a0c:700:0:21:ce1d:ba34:5f83:4193 discuter‎ 40 595 octets −76‎ →‎Plongement de la logique classique dans la logique intuitionniste : . La phrase était fausse et portait à confusion, on ne peut pas démontrer en intuitionniste tout ce qu'on peut démontrer en classique. Par exemple la loi de Peirce est démontrable en classique mais n'est pas démontrable en intuitionniste. annuler Balise : Éditeur visuel

30 juin 2019

• actudiff 21:5530 juin 2019 à 21:55‎ PIerre.Lescanne discuter contributions‎ 40 671 octets +75‎ démontrable -> démontrée annuler
• actudiff 12:1830 juin 2019 à 12:18‎ PIerre.Lescanne discuter contributions‎ 40 596 octets −100‎ Annulation de la modification de Remsirems (d) modification incorrecte (voiir pdd) annuler Balise : Annulation

29 juin 2019

• actudiff 12:3829 juin 2019 à 12:38‎ Remsirems discuter contributions‎ 40 696 octets +100‎ Il y avait une erreur dans l'introduction : l'exemple cité sur la constante d'Euler n'est pas démontré à ce jour, mais on n'est pas certain qu'il ne soit pas démontrable… annuler Balise : Éditeur visuel : basculé

12 juin 2019

• actudiff 21:2212 juin 2019 à 21:22‎ Belbernard discuter contributions‎ 40 596 octets +47‎ →‎Articles connexes : autres logiques annuler Balise : Éditeur visuel : basculé
• actudiff 21:0512 juin 2019 à 21:05‎ Belbernard discuter contributions‎ 40 549 octets −2‎ →‎Quantificateur universel : suppression de négation annuler
• actudiff 19:4612 juin 2019 à 19:46‎ Belbernard discuter contributions‎ 40 551 octets +8‎ →‎Disjonction : pas classique ! annuler
• actudiff 19:0712 juin 2019 à 19:07‎ Belbernard discuter contributions‎ 40 543 octets 0‎ →‎Le quantificateur existentiel : désignation des règles annuler

10 juin 2019

• actudiff 18:0110 juin 2019 à 18:01‎ Belbernard discuter contributions‎ 40 543 octets −2‎ →‎Modèles de Kripke : accord de verbe annuler

22 mars 2019

• actudiff 10:2122 mars 2019 à 10:21‎ PIerre.Lescanne discuter contributions‎ 40 545 octets −252‎ →‎Relations entre les règles : Je supprime la phrase car on explique plus haut la correspondance de Curry-Howard dit que "démontrer c'est calculer". annuler
• actudiff 10:1922 mars 2019 à 10:19‎ PIerre.Lescanne discuter contributions‎ 40 797 octets −536‎ →‎Relations entre les règles : Compliqué et incompréhensible. annuler