Ideas of Gerhard Gentzen, by Theme

[German, 1909 - 1945, Pupil of Weyl. Professor at Prague. A Nazi, starved to death after the war.]

idea number gives full details    |    back to list of philosophers    |     expand these ideas
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Gentzen introduced a natural deduction calculus (NK) in 1934
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The inferential role of a logical constant constitutes its meaning
The logical connectives are 'defined' by their introduction rules
Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool)
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Number / g. Incompleteness of Arithmetic
Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic