Accueil - Boutique - Contact - Assistance
HAUPTSATZ, logique mathématique
Ce sujet est traité dans les articles suivants :
- 1. DÉMONSTRATION THÉORIE DE LA
Écrit par : Jean-Yves GIRARD
Dans le chapitre "SystèmeLK " : … LK est équivalent au calcul des prédicats. Théorème d'élimination des coupures (*Hauptsatz de Gentzen). Dans LK, la règle de coupure (C) est inutile, autrement dit tout théorème de LK est démontrable sans coupures.La démonstration de ce résultat, assez longue et délicate, consiste à remplacer toute… Lire la suite
Accueil - Contact - À propos
Consulter les articles d'Encyclopædia Universalis :
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Consulter les articles d'Encyclopædia Britannica.
© 2012, Encyclopædia Universalis France S.A. Tous droits de propriété industrielle et intellectuelle réservés.
