3 papers
math.LO2020
Naïve Infinitesimal Analysis: Its Construction and Its Properties
Anggha Nugraha, Maarten McKubre-Jordens, Hannes Diener
This paper aims to build a new understanding of the nonstandard mathematical analysis. The main contribution of this paper is the construction of a new set of numbers, $\mathbb{R}^…
math.LO2018
The Drinker Paradox and its Dual
Louis Warren, Hannes Diener, Maarten McKubre-Jordens
The Drinker Paradox is as follows. In every nonempty tavern, there is a person such that if that person is drinking, then everyone in the tavern is drinking. Formally, \[ \exists x…
math.LO2016
Classifying Material Implications over Minimal Logic
Hannes Diener, Maarten McKubre-Jordens
The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years \cite{aA75,nB77,aA89,gP89,sH96}. In this note, we investi…