Pages that link to "Biography:Gerhard Gentzen"
From HandWiki
The following pages link to Biography:Gerhard Gentzen:
Displayed 45 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Gödel's incompleteness theorems (← links)
- Goodstein's theorem (← links)
- Hilbert's program (← links)
- Mathematical logic (← links)
- Metalogic (← links)
- Peano axioms (← links)
- Logical connective (← links)
- Material conditional (← links)
- List of mathematical logic topics (← links)
- Proof theory (← links)
- Table of mathematical symbols by introduction date (← links)
- Large countable ordinal (← links)
- Ordinal analysis (← links)
- List of multiple discoveries (← links)
- Universal quantification (← links)
- Disjunction and existence properties (← links)
- System L (← links)
- Gentzen's consistency proof (← links)
- Propositional calculus (← links)
- Sequent (← links)
- Intuitionistic logic (← links)
- Sequent calculus (← links)
- Cut-elimination theorem (← links)
- Universal instantiation (← links)
- Begriffsschrift (← links)
- Turned A (← links)
- Deductive reasoning (← links)
- Hilbert's problems (← links)
- Hilbert's second problem (← links)
- Proof-theoretic semantics (← links)
- Semantics of logic (← links)
- Philosophy:Foundations of mathematics (← links)
- Philosophy:Proof calculus (← links)
- Philosophy:Structural proof theory (← links)
- Philosophy:Double-negation translation (← links)
- Philosophy:Analytic proof (← links)
- Philosophy:History of logic (← links)
- Philosophy:Logical harmony (← links)
- Philosophy:Natural deduction (← links)
- Philosophy:Stanisław Jaśkowski (← links)
- Biography:Paul Bernays (← links)
- Biography:Paul Lorenzen (← links)
- Biography:List of logicians (← links)
- Biography:Stanisław Jaśkowski (← links)
- Organization:Charles University (← links)
