Related papers: Exploring Felix Klein's contested modernism
A succinct chronology is given around Nov 1915, when the explicit field equations of General Relativity have been found. Evidence, unearthed by D.Wuensch, that a decisive document of Hilbert has been mutilated in recent years with the…
This paper introduces a refinement of the sequent calculus approach called cirquent calculus. While in Gentzen-style proof trees sibling (or cousin, etc.) sequents are disjoint sequences of formulas, in cirquent calculus they are permitted…
A short review of the motivations for supersymmetry in astrophysics and particle physics is given. Despite the amount of theoretical research conducted in the past decades, no observational evidence for supersymmetry has yet been found.…
The literature dealing with G\"{o}del's legacy is largely preoccupied with challenging his philosophical views, regarding them as outdated. We believe that such an approach prevents us from seeing G\"{o}del's views in the right light and…
We present an English translation of a 1918 paper by Felix Klein.
I argue that Immanuel Kant's critical philosophy -- in particular the doctrine of transcendental idealism which grounds it -- is best understood as an `epistemic' or `metaphilosophical' doctrine. As such it aims to show how one may engage…
In this article we survey and describe various aspects of the geometry and arithmetic of Kleinian groups - discrete nonelementary groups of isometries of hyperbolic $3$-space. In particular we make a detailed study of two-generator groups…
Through a constructive method it is shown that the claim advanced in recent times about a clash that should occur between the Freud and the Bianchi identities in Einstein's general theory of relativity is based on a faulty argument.
The Curry-Howard correspondence is often described as relating proofs (in intutionistic natural deduction) to programs (terms in simply-typed lambda calculus). However this narrative is hardly a perfect fit, due to the computational content…
Even if Einstein brought major contributions as a founder of quantum mechanics, he remained deeply unsatisfied with the bases of this structure he knew to be so efficient for physics. His critics are often known through his numerous…
We recall major findings of a systematic investigation of the mathematization of the individual sciences, conducted by the author in Bielefeld some 35 years ago under the direction of Klaus Krickeberg, and confront them with recent…
As a celebration of the \emph{Tractatus} 100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that ``everyone is aware of the holistic character of…
We survey some aspects of the pseudo-differential Weyl calculus for irreducible unitary representations of nilpotent Lie groups, ranging from the classical ideas to recently obtained results. The classical Weyl-H\"ormander calculus is…
A comparison is made of the traditional Loschmidt (reversibility) and Zermelo (recurrence) objections to Boltzmann's H-theorem, and its simplified variant in the Ehrenfests' 1912 wind-tree model. The little-cited 1896 (pre-recurrence)…
There are three classical divergence measures known in the literature on information theory and statistics. These are namely, Jeffryes-Kullback-Leiber \cite{jef} \cite{kul} \textit{J-divergence}. Sibson-Burbea-Rao \cite{sib} \cite{bur1,…
The present paper proposes a new introductory treatment of the very well known Sahlqvist correspondence theory for classical modal logic. The first motivation for the present treatment is {\em pedagogical}: classical Sahlqvist…
We discuss local supercurrents as sources of the super-Einstein equations in the superconformal approach in the old and new minimal (auxiliary fields) formulation. Modifications of the Ward identity giving the covariant divergence of the…
Hilbert's first problem is of importance in relation to work being done in computational systems. It is the question of equipollence of natural and real numbers. By construction equipollence is established for real numbers in open interval…
The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are…
We establish a novel improvement of the classical discrete Hardy inequality, which gives the discrete version of a recent (continuous) inequality of Frank, Laptev, and Weidl. Our arguments build on certain weighted inequalities based on…