Related papers: Lindenbaum Method
Bringing forward the concept of convergence in moments from classical random variables to quantum random variables is what leads to what can be called algebraic central limit theorem for (classical and) quantum random variables. I reflect…
The Eigenvalue Theorem shows that solving a zero-dimensional polynomial system can be recast as an eigenvalue problem. This paper explores the relation between the Eigenvalue Theorem and the work of Ludwig Stickelberger (1850-1936).
The first seeds of mathematical intuitionism germinated in Europe over a century ago in the constructive tendencies of Borel, Baire, Lebesque, Poincar\'e, Kronecker and others. The flowering was the work of one man, Luitzen Egbertus Jan…
The aim of this paper is to give an overview and to compare the different deformation theories of algebraic structures. We describe in each case the corresponding notions of degeneration and rigidity. We illustrate these notions with…
I provide an overview of some of Sundholm's remarks on the history and philosophy of logic. In particular, I focus on Sundholm's proposal to explain meaning with no object-language/metalanguage distinction, and to provide a consequently…
Baaz's operator $\Delta$ was introduced (by Baaz) in order to extend G\"odel logics, after that this operator was used to expand fuzzy logics by H\'ajek in his celebrated book. These logics were called $\Delta$-fuzzy logics. On the other…
Recent Leibniz scholarship has sought to gauge which foundational framework provides the most successful account of the procedures of the Leibnizian calculus (LC). While many scholars (e.g., Ishiguro, Levey) opt for a default Weierstrassian…
A number of elite thinkers in Europe during the 16th and 17th centuries pursued an agenda which historian Paolo Rossi calls the "quest for a universal language," a quest which was deeply interwoven with the emergence of the scientific…
In 1693, Gottfried Whilhelm Leibniz published in the Acta Eruditorum a geometrical proof of the fundamental theorem of the calculus. During his notorious dispute with Isaac Newton on the development of the calculus, Leibniz denied any…
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…
An examination of George Boole's mysterious use of the Algebra of Numbers to create an Algebra of Logic, and subsequent research connected to this.
Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka (1962). Despite its various successful applications in theoretical computer science, AI, and game theory, the technical…
This document is meant as a pedagogical introduction to the modern language used to talk about quantum theory, especially in the field of quantum information. It assumes that the reader has taken a first traditional course on quantum…
The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap. These connections have been seminally observed and…
We apply Lindeberg's method, invented to prove a central limit theorem, to analyze the moderate deviations around such a central limit theorem. In particular, we will show moderate deviation principles for martingales as well as for random…
In modern algebra it is well-known that one cannot, in general, apply ordinary equational reasoning when dealing with partial algebras. However Boole did not know this, and he took the opposite to be a fundamental truth, which he called the…
In this paper, I present a critical discussion of mathematical arguments employed in the philosophy of event of Alain Badiou. On the basis of "Being and Event" as well as his other writings, I analyze the main notions of his philosophy such…
The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to…
From 1873 to 1897, Georg Cantor worked on developing set theory, and despite a strong initial resistance, it rapidly became accepted as the foundation of mathematics. In this work, however, we'll demonstrate that Cantor's use of infinity is…
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Coalgebras, understood as generic transition systems, can serve as semantic structures for various kinds of modal logics. A…