Pages that link to "Arend Heyting"
Showing 50 items.
- Anti-realism (links | edit)
- Law of excluded middle (links | edit)
- Logical connective (links | edit)
- Intuitionism (links | edit)
- Constructivism (philosophy of mathematics) (links | edit)
- Nonstandard analysis (links | edit)
- Principle of bivalence (links | edit)
- Philosophy of mathematics (links | edit)
- Natural deduction (links | edit)
- History of logic (links | edit)
- List of Dutch people (links | edit)
- Intuition (links | edit)
- Hilbert's problems (links | edit)
- Intuitionistic logic (links | edit)
- L. E. J. Brouwer (links | edit)
- Logical biconditional (links | edit)
- Curry–Howard correspondence (links | edit)
- Heyting algebra (links | edit)
- List of logicians (links | edit)
- Scientific phenomena named after people (links | edit)
- Material conditional (links | edit)
- Begriffsschrift (links | edit)
- Pre-intuitionism (links | edit)
- Institute for Logic, Language and Computation (links | edit)
- Oskar Becker (links | edit)
- Giorgi Japaridze (links | edit)
- Brouwer–Heyting–Kolmogorov interpretation (links | edit)
- László Kalmár (links | edit)
- Evert Willem Beth (links | edit)
- Heyting arithmetic (links | edit)
- Arend heyting (redirect page) (links | edit)
- Problem of future contingents (links | edit)
- History of mathematical notation (links | edit)
- Anne Sjerp Troelstra (links | edit)
- Rice–Shapiro theorem (links | edit)
- Pseudo-order (links | edit)
- Brouwer–Hilbert controversy (links | edit)
- Timeline of category theory and related mathematics (links | edit)
- Timeline of mathematical logic (links | edit)
- Heyting (redirect page) (links | edit)
- Definitions of mathematics (links | edit)
- Dirk van Dalen (links | edit)
- George F. C. Griss (links | edit)
- A. Heyting (redirect page) (links | edit)
- Arend (given name) (links | edit)
- List of mathematicians born in the 19th century (links | edit)
- List of International Congresses of Mathematicians Plenary and Invited Speakers (links | edit)
- List of Dutch discoveries (links | edit)
- Second Conference on the Epistemology of the Exact Sciences (links | edit)
- Talk:Arend Heyting (transclusion) (links | edit)