MoL-2018-08: Heerkens, Noor (2018) Studies in Minimal Mathematics. [Report]
Preview |
Text
MoL-2018-08.text.pdf Download (802kB) | Preview |
Abstract
This thesis is a study of minimal mathematics, i.e., mathematics on the basis of minimal logic. We will explore different methods of working in mathematical systems that are based on minimal logic. Special emphasis will be given to finding out which results of and about intuitionistic mathematics still hold in the context of minimal logic, and where the differences lie compared to intuitionistic mathematics.
Item Type: | Report |
---|---|
Report Nr: | MoL-2018-08 |
Series Name: | Master of Logic Thesis (MoL) Series |
Year: | 2018 |
Subjects: | Logic Mathematics |
Depositing User: | Dr Marco Vervoort |
Date Deposited: | 16 Aug 2018 13:55 |
Last Modified: | 16 Aug 2018 13:55 |
URI: | https://eprints.illc.uva.nl/id/eprint/1621 |
Actions (login required)
View Item |