Showing 1–9 of 9 results for author: Diener, H

Naïve Infinitesimal Analysis: Its Construction and Its Properties

Authors: Anggha Nugraha, Maarten McKubre-Jordens, Hannes Diener

Abstract: 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}^{\mathbb{Z}_< }$, which includes infinities and infinitesimals. The construction of this new set is done naïvely in the sense that it does not require any heavy mathematical machinery, and so it will be much less problem… ▽ More 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}^{\mathbb{Z}_< }$, which includes infinities and infinitesimals. The construction of this new set is done naïvely in the sense that it does not require any heavy mathematical machinery, and so it will be much less problematic in a long term. Despite its naïvety character, the set $\mathbb{R}^{\mathbb{Z}_< }$ is still a robust and rewarding set to work in. We further develop some analysis and topological properties of it, where not only we recover most of the basic theories that we have classically, but we also introduce some new enthralling notions in them. The computability issue of this set is also explored. The works presented here can be seen as a contribution to bridge constructive analysis and nonstandard analysis, which has been extensively (and intensively) discussed in the past few years. △ Less

Submitted 23 September, 2020; originally announced September 2020.

Comments: 48 pages, 4 figures

(Seemingly) Impossible Theorems in Constructive Mathematics

Authors: Hannes Diener, Matthew Hendtlass

Abstract: We prove some constructive results that on first and maybe even on second glance seem impossible. We prove some constructive results that on first and maybe even on second glance seem impossible. △ Less

Submitted 11 April, 2019; originally announced April 2019.

The Drinker Paradox and its Dual

Authors: Louis Warren, Hannes Diener, Maarten McKubre-Jordens

Abstract: 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 \big(\varphi \rightarrow \forall y \varphi[x/y]\big) \ . \] Due to its counterintuitive nature it is called a paradox, even though it actually is a classical tautology. However, it is not minimally (or even intuit… ▽ More 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 \big(\varphi \rightarrow \forall y \varphi[x/y]\big) \ . \] Due to its counterintuitive nature it is called a paradox, even though it actually is a classical tautology. However, it is not minimally (or even intuitionistically) provable. The same can be said of its dual, which is (equivalent to) the well-known principle of \emph{independence of premise}, \[ \varphi \rightarrow \exists x ψ \ \vdash \ \exists x (\varphi \rightarrow ψ) \] where $x$ is not free in $\varphi$. In this paper we study the implications of adding these and other formula schemata to minimal logic. We show first that these principles are independent of the law of excluded middle and of each other, and second how these schemata relate to other well-known principles, such as Markov's Principle of unbounded search, providing proofs and semantic models where appropriate. △ Less

Submitted 29 November, 2018; v1 submitted 16 May, 2018; originally announced May 2018.

Constructive Reverse Mathematics

Authors: Hannes Diener

Abstract: An introduction and overview of constructive reverse mathematics. An introduction and overview of constructive reverse mathematics. △ Less

Submitted 4 April, 2020; v1 submitted 15 April, 2018; originally announced April 2018.

Comments: version 1.3

The Third Trick

Authors: Hannes Diener, Matthew Hendtlass

Abstract: We prove a result, similar to the ones known as Ishihara's First and Second Trick, for sequences of functions. We prove a result, similar to the ones known as Ishihara's First and Second Trick, for sequences of functions. △ Less

Submitted 8 August, 2022; v1 submitted 30 January, 2018; originally announced January 2018.

MSC Class: 03F60

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 3 (August 9, 2022) lmcs:4255

Classifying Material Implications over Minimal Logic

Authors: Hannes Diener, Maarten McKubre-Jordens

Abstract: 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 investigate some of these paradoxes and classify them, over minimal logic. We provide proofs of equivalence and semantic models separating the paradoxes where appropriate. A number of equivalent groups arise, all of which colla… ▽ More 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 investigate some of these paradoxes and classify them, over minimal logic. We provide proofs of equivalence and semantic models separating the paradoxes where appropriate. A number of equivalent groups arise, all of which collapse with unrestricted use of double negation elimination. Interestingly, the principle \emph{ex falso quodlibet}, and several weaker principles, turn out to be distinguishable, giving perhaps supporting motivation for adopting minimal logic as the ambient logic for reasoning in the possible presence of inconsistency. △ Less

Submitted 26 June, 2016; originally announced June 2016.

Separating the Fan Theorem and Its Weakenings

Authors: Robert S. Lubarsky, Hannes Diener

Abstract: Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be strict, others strict in a weak context, and yet others not at all, using disparate techniques. Here we present a family of related Kripke models which separates a… ▽ More Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be strict, others strict in a weak context, and yet others not at all, using disparate techniques. Here we present a family of related Kripke models which separates all of the as yet identified fan theorems. △ Less

Submitted 7 October, 2015; originally announced October 2015.

MSC Class: 03C90; 03F50; 03F60; 03H05

Journal ref: Journal of Symbolic Logic, 79, No. 3 (2014), pp. 792-813

Principles Weaker than BD-N

Authors: Robert S. Lubarsky, Hannes Diener

Abstract: BD-N is a weak principle of constructive analysis. Several interesting principles implied by BD-N have already been identified, namely the closure of the anti-Specker spaces under product, the Riemann Permutation Theorem, and the Cauchyness of all partially Cauchy sequences. Here these are shown to be strictly weaker than BD-N, yet not provable in set theory alone under constructive logic. BD-N is a weak principle of constructive analysis. Several interesting principles implied by BD-N have already been identified, namely the closure of the anti-Specker spaces under product, the Riemann Permutation Theorem, and the Cauchyness of all partially Cauchy sequences. Here these are shown to be strictly weaker than BD-N, yet not provable in set theory alone under constructive logic. △ Less

Submitted 7 October, 2015; originally announced October 2015.

MSC Class: 03F60; 03F50; 03C90; 26E40

Journal ref: Journal of Symbolic Logic, 78, No. 3 (2013), pp. 873-885

Constructive aspects of Riemann's permutation theorem for series

Authors: J. Berger, D. Bridges, H. Diener, H. Schwichtenberg

Abstract: The notions of permutable and weak-permutable convergence of a series $\sum_{n=1}^{\infty}a_{n}$ of real numbers are introduced. Classically, these two notions are equivalent, and, by Riemann's two main theorems on the convergence of series, a convergent series is permutably convergent if and only if it is absolutely convergent. Working within Bishop-style constructive mathematics, we prove that I… ▽ More The notions of permutable and weak-permutable convergence of a series $\sum_{n=1}^{\infty}a_{n}$ of real numbers are introduced. Classically, these two notions are equivalent, and, by Riemann's two main theorems on the convergence of series, a convergent series is permutably convergent if and only if it is absolutely convergent. Working within Bishop-style constructive mathematics, we prove that Ishihara's principle \BDN implies that every permutably convergent series is absolutely convergent. Since there are models of constructive mathematics in which the Riemann permutation theorem for series holds but \BDN does not, the best we can hope for as a partial converse to our first theorem is that the absolute convergence of series with a permutability property classically equivalent to that of Riemann implies \BDN. We show that this is the case when the property is weak-permutable convergence. △ Less

Submitted 28 March, 2013; originally announced March 2013.

MSC Class: 03F60; 26A03; 26E40