Résultats de la recherche
- Ne doit pas être confondu avec Théorème de complétude de Gödel. Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique...77 kio (10 563 mots) - 15 août 2024 à 18:02
- Cet article traite des significations particulières qu'a pris le terme « décidabilité » en mathématiques et en informatique. Pour une approche plus générale...20 kio (2 689 mots) - 15 mai 2023 à 20:17
Pour les articles homonymes, voir Démonstration. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement...16 kio (1 861 mots) - 14 mai 2024 à 16:37- Articles connexes : Fermeture (informatique) et logique combinatoire. Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans...41 kio (6 186 mots) - 13 juillet 2024 à 17:20
- 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) - 19 juillet 2024 à 08:56
- En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques...7 kio (783 mots) - 18 juillet 2024 à 03:31
- Cet article concernant les mathématiques doit être recyclé (mars 2017). Une réorganisation et une clarification du contenu paraissent nécessaires. Améliorez-le...8 kio (1 014 mots) - 27 mai 2024 à 14:36
- La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type...10 kio (1 028 mots) - 23 juin 2024 à 18:28
- Pour les articles homonymes, voir Déduction. En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations...24 kio (3 024 mots) - 27 juin 2024 à 22:27
- Cet article est une ébauche concernant les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...5 kio (618 mots) - 5 mai 2020 à 19:19
- Pour les articles homonymes, voir inférence. Cet article est une ébauche concernant la philosophie et la logique. Vous pouvez partager vos connaissances...6 kio (631 mots) - 4 mars 2023 à 20:10
- Ne doit pas être confondu avec Théorèmes d'incomplétude de Gödel. En logique mathématique, le théorème de complétude du calcul des prédicats du premier...23 kio (3 431 mots) - 6 juillet 2024 à 22:10
En logique mathématique et plus précisément en théorie de la démonstration, la logique linéaire est un système formel inventé par le logicien Jean-Yves...19 kio (1 924 mots) - 23 juin 2024 à 18:43- Pour les articles homonymes, voir Modus. Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l'implication. Elle consiste...7 kio (894 mots) - 19 juillet 2024 à 14:19
Pour les articles homonymes, voir Coq (homonymie). Cet article est une ébauche concernant les mathématiques et un logiciel libre. Vous pouvez partager...11 kio (1 095 mots) - 9 août 2024 à 14:42- Cet article est une ébauche concernant la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets...11 kio (1 499 mots) - 22 juillet 2024 à 10:31
- Pour les articles homonymes, voir Cohérence. Cet article est une ébauche concernant les mathématiques et la logique. Vous pouvez partager vos connaissances...11 kio (1 490 mots) - 14 août 2024 à 07:38
- Pour les articles homonymes, voir combinatoire (homonymie). Cet article traite de la logique combinatoire, au sens qu'a ce mot en logique mathématique...24 kio (3 492 mots) - 11 août 2024 à 13:46
- Cet article est une ébauche concernant la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets...998 octet (124 mots) - 24 décembre 2016 à 20:34
Cette page contient des caractères spéciaux ou non latins. S’ils s’affichent mal (▯, ?, etc.), consultez la page d’aide Unicode. L'idéographie (Begriffsschrift)...10 kio (968 mots) - 19 juillet 2024 à 08:52
