3 citations · 4 across the 4 of their papers we have counts for
5 papers
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}^…
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…
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…
Z-stability in Constructive Analysis
Douglas Bridges, James Dent, Maarten McKubre-Jordens
We introduce Z-stability, a notion capturing the intuition that if a function f maps a metric space into a normed space and if the norm of f(x) is small, then x is close to a zero…
Infinity in computable probability
Maarten McKubre-Jordens, Phillip L. Wilson
Does combining a finite collection of objects infinitely many times guarantee the construction of a particular object? Here we use recursive function theory to examine the popular…