Résultats de la recherche
Un article de Wikipédia, l'encyclopédie libre.
reklama1Recherche de « Gerhard_Gentzen » (pages commençant par « Gerhard_Gentzen » | liens vers « Gerhard_Gentzen »)
Voir aussi la page Aide:Recherche.
Résultats 1 – 13 sur 13
Voir (20 précédentes) (20 suivantes) (20 | 50 | 100 | 250 | 500).
- Gerhard Gentzen Gerhard Gentzen (24 | novembre | 1909 à Greifswald - 4 | août | 1945 à Prague ) fut un mathématicien et logicien allemand . …4 Kio (478 mots) - 4 décembre 2008 à 23:03
- Déduction naturelle La déduction naturelle est un système formel proposé par Gerhard Gentzen en 1934 pour représenter les preuves en logique du premier ordre …12 Kio (1604 mots) - 12 décembre 2008 à 13:08
- Théorie de la démonstration toutefois pas empêché la théorie de la démonstration de se développer, notamment grâce aux travaux de Jacques Herbrand et de Gerhard Gentzen . …4 Kio (407 mots) - 23 septembre 2008 à 22:07
- Théorème d'incomplétude de Gödel On considère généralement que la réponse apportée au second problème de Hilbert est négative. Gerhard Gentzen donna cependant en 1936 une …70 Kio (10091 mots) - 30 novembre 2008 à 17:58
- Logique intuitionniste part, mais fait bien partie de la Logique . Gerhard Gentzen en a formalisé les règles de déduction dans le cadre de la déduction naturelle . …17 Kio (2212 mots) - 8 décembre 2008 à 22:11
- Logique mathématique La théorie de la démonstration de Hilbert a également continué à se développer avec les travaux de Gerhard Gentzen qui a produit la …28 Kio (3692 mots) - 28 décembre 2008 à 19:28
- Instanciation universelle réalisée par la règle d'élimination de la déduction naturelle (énoncée indépendamment par Gerhard Gentzen et Stanislaw Jaskowski en 1934 . …4 Kio (618 mots) - 13 juin 2008 à 10:36
- Modus ponens Le calcul des séquents , dû comme la déduction naturelle à Gerhard Gentzen , n'a pas directement de règle de modus ponens. B. Gentzen a …5 Kio (666 mots) - 4 janvier 2009 à 19:43
- Règle d'inférence Les règles d'inférence ont été définies formellement par Gerhard Gentzen , qui les a appelées des figures ou des figures de déduction …11 Kio (1395 mots) - 8 juin 2008 à 19:47
- Axiomes de Peano Il existe également des preuves de cohérence relative , notamment celle de Gerhard Gentzen qui fournit une mesure précise de la « force …14 Kio (1912 mots) - 7 octobre 2008 à 15:14
- 1909 en science 24 novembre : Gerhard Gentzen , mathématicien (d. 1945 ) Décès : 12 janvier : Hermann Minkowski , physicien (n. 1864 ) 27 août : Emil …2 Kio (233 mots) - 8 novembre 2008 à 13:41
- Système à la Hilbert Dans la déduction naturelle ou le calcul des séquents de Gerhard Gentzen le théorème de la déduction est en quelque sorte intégré comme …6 Kio (791 mots) - 27 novembre 2008 à 11:59
- Problèmes de Hilbert démontré sans sortir de l'arithmétique. Gerhard Gentzen , cependant, donna, en 1936, une réponse affirmative au moyen d'une récurrence transfinie. …13 Kio (1494 mots) - 19 décembre 2008 à 21:26
Voir (20 précédentes) (20 suivantes) (20 | 50 | 100 | 250 | 500).