Skip to main content

Ctrl+K

Mathematics for Philosophers

Introduction

Preliminaries

Introduction
Recursion
Propositional Logic
Set Theory
Model Theory

Under Construction (Logic)

Equivalence Relations
Set Theory
Model Theory
Modal Logic
Algebraic Logic

Planned

Information Theory
Paradoxes
Numbers
Arrow’s Theorem
Recursion
Pareto Criterion and Welfare Theorems

Possibly of Interest

Geometry
Analysis
Non-Standard Analysis
Infinity
Intuitionistic Logic
Galois Theory
Topology

Repository
Open issue

.md

Intuitionistic Logic

Intuitionistic Logic#

axiom of choice, excluded middle, Brouwer, …

previous

Infinity

next

Galois Theory

By Alexander Kurz and Johanna Speiser

© Copyright 2023.