Hjelmslev's geometry of reality

During the first half of the 20th century the Danish geometer Johannes Hjelmslev developed what he called a geometry of reality. It was presented as an alternative to the idealized Euclidean paradigm that had recently been completed by Hilbert. Hjelmslev argued that his geometry of reality was superior to the Euclidean geometry both didactically, scientifically and in practice: Didactically, because it was closer to experience and intuition, in practice because it was in accordance with the real geometrical drawing practice of the engineer, and scientifically because it was based on a smaller axiomatic basis than Hilbertian Euclidean geometry but still included the important theorems of ordinary geometry. In this paper, I shall primarily analyze the scientific aspect of Hjelmslev's new approach to geometry that gave rise to the so-called Hjelmslev (incidence) geometry or ring geometry.     

On Mascheroni's La geometria del compasso at the beginning of the 19th century

Lorenzo Mascheroni's 1797 work La geometria del compasso, which develops a geometry based solely on compass constructions, is considered by the author as stepping back behind the “demarcation line” of Euclidean geometry. In this work Mascheroni emphasizes the practical aspects of this geometry over a theoretical approach. A century later, in 1899, David Hilbert and his student Michael Feldblum proposed a totally different approach – algebraic and axiomatic – concerning geometric constructions based on various instruments. Taking into account that, at the end of the 18th century, straightedge geometry was also developed, one may ask what happened to the image of instrument-based geometry during the 19th century? By focusing on Mascheroni's book and its reception, this article aims to examine the various views and conceptions of mathematicians with respect to this geometry.     

Ternary operations as primitive notions for constructive plane geometry III

This paper continues the investigations begun in [6] and continued in [7] about quantifier-free axiomatizations of plane Euclidean geometry using ternary operations. We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized using only two ternary operations if one allows axioms that are not first-order but universal L_w1,w sentences. The operations are: the transport of a segment on a halfline that starts at one of the endpoints of the given segment, and the operation which produces one of the intersection points of a perpendicular on a diameter of a circle (which intersects that diameter at a point inside the circle) with that circle. MSC: 03F65, 51M05, 51M15.     

The reflection effect for constant risk averse agents

Assume a decision maker has a preference relation over monetary lotteries. The reflection effect, first observed by Kahneman and Tversky, states that the preference order for two lotteries is reversed once they are multiplied by −1. The decision maker is constant risk averse (CRA) if adding the same constant to two distributions, or multiplying them by the same positive constant, will not change the preference relation between them. We combine these two axioms with the betweenness axiom and continuity, and prove a representation theorem. A technical curiosity is that the functions we get satisfy the betweenness axiom, yet are not necessarily Gâteaux (nor Fréchet) differentiable.     

Algebras, Projective Geometry, Mathematical Logic, and Constructing the World: Intersections in the Philosophy of Mathematics of A. N. Whitehead

A. N. Whitehead (1861–1947) contributed notably to the foundations of pure and applied mathematics, especially from the late 1890s to the mid 1920s. An algebraist by mathematical tendency, he surveyed several algebras in his book Universal Algebra (1898). Then in the 1900s he joined Bertrand Russell in an attempt to ground many parts of mathematics in the newly developing mathematical logic. In this connection he published in 1906 a long paper on geometry, space and time, and matter. The main outcome of the collaboration was a three-volume work, Principia Mathematica (1910–1913): he was supposed to write a fourth volume on parts of geometries, but he abandoned it after much of it was done. By then his interests had switched to educational issues, and especially to space and time and relativity theory, where his earlier dependence upon logic was extended to an ontology of events and to a general notion of “process,” especially in human experience. These innovations led to somewhat revised conceptions of logic and of the philosophy of mathematics. © 2002 Elsevier Science (USA).A. N. Whitehead (1861–1947) contribuiu de forma marcante para os Fundamentos da Matemática Pura e Aplicada, especialmente entre o fim da década de 1890 e meados da década de 1920. Sendo um algebrista na sua vertente matemática, fez um levantamento de diversas álgebras no seu livro Universal Algebra (1898). Pouco depois de 1900 juntou-se a Bertrand Russell numa tentativa para basear várias partes da matemática sobre a lógica matemática, que se começava então a desenvolver. Nesse âmbito publicou em 1906 um longo artigo sobre geometria, espaço e tempo, e matéria. O principal resultado da colaboração foi um trabalho em três volumes, Principia Mathematica (1910–1913): estava previsto que Whitehead escrevesse um quarto volume sobre aspectos das geometrias, mas abandonou-o depois de uma boa parte já estar escrita. Por essa altura os seus interesses tinham-se voltado para questões educacionais; especialmente para o espaço e o tempo e para a teoria da relatividade, onde a sua anterior dependência da lógica se estendeu a uma ontologia de acontecimentos e a uma noção geral de “processo” especialmente na experiência humana. Estas inovações levaram a concepções um pouco revistas da lógica e da filosofia da matemática. © 2002 Elsevier Science (USA).MSC 1991 subject classifications: 00A30; 01A60; 03-03; 03A05.     

An axiomatic foundation of Cayley-Klein geometries

We present a common axiomatic characterization of Cayley-Klein geometries over fields of characteristic \({\neq 2}\). To this end the axiom system of Bachmann (Aufbau der Geometrie aus dem Spiegelungsbegriff, 2nd edn. Springer, Heidelberg1973) for plane absolute geometry, which allows a common axiomatization of Euclidean, hyperbolic and elliptic geometry, is generalized. The notion of plane absolute geometry is broadened in several aspects. The most important one is that the principle of duality holds: the dual of a Cayley-Klein geometry is also a Cayley-Klein geometry. The various Cayley-Klein geometries are singled out by additional axioms like the Euclidean or hyperbolic parallel axiom or their dual statements.     

Discounting axioms imply risk neutrality

Although most applications of discounting occur in risky settings, the best-known axiomatic justifications are deterministic. This paper provides an axiomatic rationale for discounting in a stochastic framework. Consider a representation of time and risk preferences with a binary relation on a real vector space of vector-valued discrete-time stochastic processes on a probability space. Four axioms imply that there are unique discount factors such that preferences among stochastic processes correspond to preferences among present value random vectors. The familiar axioms are weak ordering, continuity and nontriviality. The fourth axiom, decomposition, is non-standard and key. These axioms and the converse of decomposition are assumed in previous axiomatic justifications for discounting with nonlinear intraperiod utility functions in deterministic frameworks. Thus, the results here provide the weakest known sufficient conditions for discounting in deterministic or stochastic settings. In addition to the four axioms, if there exists a von Neumann-Morgenstern utility function corresponding to the binary relation, then that function is risk neutral (i.e., affine). In this sense, discounting axioms imply risk neutrality.     

TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.     

The projective geometry of Mario Pieri: A legacy of Georg Karl Christian von Staudt

The research of Mario Pieri (1860–1913) can be classified into three main areas: metric differential and algebraic geometry and vector analysis; foundations of geometry and arithmetic; logic and the philosophy of science. In writing this article, I intend to reveal some important aspects of his contributions to the foundations of projective geometry, notably those that emanated from his intensive study of the works of Georg Karl Christian von Staudt (1798–1867). Pieri was the first geometer to successfully establish projective geometry as an independent subject (rigorous mathematical theory), freed from all ties to Euclidean geometry. The path to this achievement began with Staudt, and involved the reformulation of the classical ideas of cross ratio and projectivity in terms of harmonic sets, as well as a critical analysis of the proof of a fundamental theorem that connects these ideas. Included is a brief overview of Pieri's life and work.     

Neo-Kantian foundations of geometry in the German Romantic period

While mathematics received relatively little attention in the idealistic systems of most of the German Romantics, it served as the foundation in the thought of the Neo-Kantian philosopher/mathematician Jakob Friedrich Fries (1773–1843). It fell to Fries to work out in detail the implications of Kant's declaration that all mathematical knowledge was synthetic a priori. In the process Fries called for a new science of the philosophy of mathematics, which he worked out in greatest detail in his Mathematische Naturphilosophie of 1822. In this work he analyzed the foundations of geometry with an eye to clearing up the historical controversy over Euclid's theory of parallels. Contrary to what might be expected, Fries' Kantian perspective provoked rather than inhibited a reexamination of Euclid's axioms. Fries' attempt to make explicit through axioms what was being implicitly assumed by Euclid while at the same time wishing to eliminate unnecessary axioms belies the claim that there was no concern to improve Euclid prior to the discovery of non-Euclidean geometry. Fries' work therefore serves as an important historical example of the difficulties facing those who wanted to provide geometry with a logically secure foundation in the era prior to the published work of Gauss, Bolyai, and others.