- In music,
Hauptstimme (German for
primary voice) or
Hauptsatz is the main voice,
chief part; i.e., the
contrapuntal or
melodic line of
primary importance...
- The cut-elimination
theorem (or Gentzen's
Hauptsatz) is the
central result establishing the
significance of the
sequent calculus. It was
originally proved...
-
University of Göttingen Known for Gentzen's
consistency proof Gentzen's
Hauptsatz Gentzen's
natural deduction calculus Gentzen's
sequent calculus Gödel–Gentzen...
-
exams and in
February 1879
defended his
dissertation Über den
zweiten Hauptsatz der
mechanischen Wärmetheorie (On the
Second Law of
Mechanical Heat Theory)...
-
intuitionistic versions, respectively). Gentzen's so-called "Main Theorem" (
Hauptsatz)
about LK and LJ was the cut-elimination theorem, a
result with far-reaching...
-
Hauptsatz for
higher order logic.
Journal of
Symbolic Logic, 33:452–457, 1968.
William W. Tait, 1966. A
nonconstructive proof of Gentzen's
Hauptsatz for...
-
Proof of the cut-elimination
theorem for the
sequent calculus (Gentzen's
Hauptsatz 1934)
Proof of the
undecidability of first-order
predicate logic (Church's...
- pp. 275–370. Boltzmann, L., "Über die
Beziehung zwischen dem
zweiten Hauptsatz der
mechanischen Wärmetheorie und der
Wahrscheinlichkeitsrechnung respektive...
-
required for the
consistency result, the cut
elimination theorem—the
Hauptsatz—directly for
natural deduction. For this
reason he
introduced his alternative...
- (1893). Eine neue
Beziehung der
Strahlung schwarzer Körper zum
zweiten Hauptsatz der Wärmetheorie,
Sitzungberichte der Königlich-Preußischen
Akademie der...
