3 citations · 5 across the 3 of their papers we have counts for
6 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}^…
(Seemingly) Impossible Theorems in Constructive Mathematics
Hannes Diener, Matthew Hendtlass
We prove some constructive results that on first and maybe even on second glance seem impossible.
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…
Constructive Reverse Mathematics
Hannes Diener
An introduction and overview of constructive reverse mathematics.
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…
Constructive aspects of Riemann's permutation theorem for series
J. Berger, D. Bridges, H. Diener +1
The notions of permutable and weak-permutable convergence of a series of real numbers are introduced. Classically, these two notions are equivalent, and,…