Résultats de la recherche
- Le raisonnement par l’absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique...14 kio (1 789 mots) - 31 mars 2024 à 17:02
- La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve...42 kio (4 949 mots) - 18 mai 2024 à 00:16
- Pour les articles homonymes, voir Constructivisme. Le constructivisme en épistémologie est une théorie de la connaissance qui repose sur l'idée que notre...50 kio (6 108 mots) - 24 juin 2023 à 07:20
- Pour les articles homonymes, voir Constructivisme. Cet article est une ébauche concernant les mathématiques. Vous pouvez partager vos connaissances en...14 kio (1 977 mots) - 18 mai 2024 à 00:20
- Stephen Kleene Stephen Kleene en 1978. Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin)...13 kio (1 457 mots) - 28 avril 2024 à 11:43
- En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" [principe du milieu exclu] ou " tertium non datur" [une troisième possibilité...14 kio (1 903 mots) - 13 décembre 2023 à 17:22
- Pour les articles homonymes, voir Brouwer. Luitzen Egbertus Jan Brouwer Harald Bohr (à gauche) et L. E. J. Brouwer (à droite) au congrès international...27 kio (3 469 mots) - 29 mai 2024 à 22:07
- Pour les autres significations, voir Intuitionnisme (homonymie). Cet article est une ébauche concernant les mathématiques et la logique. Vous pouvez partager...16 kio (2 117 mots) - 27 mai 2023 à 20:21
- Cet article est une ébauche concernant les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...3 kio (313 mots) - 31 juillet 2019 à 09:50
- Pour l’article homonyme, voir Anne Fagot-Largeault. Cet article ne cite pas suffisamment ses sources (juin 2013). Si vous disposez d'ouvrages ou d'articles...4 kio (560 mots) - 24 octobre 2023 à 09:36
- L'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des...30 kio (5 103 mots) - 23 avril 2024 à 00:47
- Cet article est une ébauche concernant un mathématicien. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des...1 kio (152 mots) - 12 mai 2024 à 21:30
- Ne doit pas être confondu avec Intuitionnisme. L'intuitivisme (du russe : интуитиви́зм) est une conception philosophique et religieuse, se rapportant à...11 kio (1 359 mots) - 15 juin 2024 à 10:27
- David van Dantzig David van Dantzig (né le 23 septembre 1900 à Amsterdam; mort le 22 juillet 1959 à Amsterdam) est un mathématicien néerlandais. Van Dantzig...5 kio (601 mots) - 28 janvier 2024 à 17:09
- Cet article est une ébauche concernant la logique et les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...3 kio (356 mots) - 12 janvier 2021 à 18:12