Pages that link to "Gerhard Gentzen"
Showing 50 items.
- Logical connective (links | edit)
- Propositional calculus (links | edit)
- Mathematical logic (links | edit)
- Peano axioms (links | edit)
- 1945 (links | edit)
- Charles University (links | edit)
- Gerhard Gentzen (transclusion) (links | edit)
- Natural deduction (links | edit)
- Gödel's incompleteness theorems (links | edit)
- History of logic (links | edit)
- Deductive reasoning (links | edit)
- Universal quantification (links | edit)
- Greifswald (links | edit)
- Goodstein's theorem (links | edit)
- Hilbert's second problem (links | edit)
- Hilbert's problems (links | edit)
- Intuitionistic logic (links | edit)
- Foundations of mathematics (links | edit)
- Proof theory (links | edit)
- Sequent calculus (links | edit)
- Sequent (links | edit)
- List of mathematical logic topics (links | edit)
- 1909 in science (links | edit)
- List of logicians (links | edit)
- Metalogic (links | edit)
- Index of philosophy articles (D–H) (links | edit)
- 1945 in science (links | edit)
- Hilbert's program (links | edit)
- Gentzen (redirect page) (links | edit)
- Relevance logic (links | edit)
- Curry–Howard correspondence (links | edit)
- Ludics (links | edit)
- Proof procedure (links | edit)
- Evert Willem Beth (links | edit)
- Takeuti's conjecture (links | edit)
- Herbrand's theorem (links | edit)
- Epsilon number (links | edit)
- Logical quality (links | edit)
- Ordinal analysis (links | edit)
- Halting problem (links | edit)
- Kuno Lorenz (links | edit)
- Susanne Bobzien (links | edit)
- Quantifier (logic) (links | edit)
- Talk:Curry–Howard correspondence (links | edit)
- Talk:Charles Sanders Peirce/Archive 5 (links | edit)
- User:Bmorton3/sandbox (links | edit)
- User:Likebox/Incompletness (links | edit)
- User:Korg/cfr2/G (links | edit)
- User talk:Arthur Rubin/Archive 2007 (links | edit)
- Material conditional (links | edit)
- Begriffsschrift (links | edit)
- Semantics of logic (links | edit)
- Cut-elimination theorem (links | edit)
- Proof-theoretic semantics (links | edit)
- Structural proof theory (links | edit)
- Analytic proof (links | edit)
- Disjunction and existence properties (links | edit)
- Proof calculus (links | edit)
- Universal instantiation (links | edit)
- Logical harmony (links | edit)
- Gerhard Karl Erich Gentzen (redirect page) (links | edit)
- List of University of Göttingen people (links | edit)
- Paul Lorenzen (links | edit)
- Paul Bernays (links | edit)
- Timeline of Polish science and technology (links | edit)
- Gentzen's consistency proof (links | edit)
- List of philosophers born in the 20th century (links | edit)
- Stanisław Jaśkowski (links | edit)
- Large countable ordinal (links | edit)
- Deaths of philosophers (links | edit)