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

Recursion

Recursion#

we did do some work on Goedel, Escher, Bach … to be resumed at some point …

previous

Arrow’s Theorem

next

Pareto Criterion and Welfare Theorems

By Alexander Kurz and Johanna Speiser

© Copyright 2023.