Showing 1–10 of 10 results for author: Mandelkern, M

The Logic of Sequences

Authors: Cian Dorr, Matt Mandelkern

Abstract: In the course of proving a tenability result about the probabilities of conditionals, van Fraassen (1976) introduced a semantics for conditionals based on omega-sequences of worlds, which amounts to a particularly simple special case of ordering semantics for conditionals. On that semantics, 'If p, then q' is true at an omega-sequence just in case q is true at the first tail of the sequence where… ▽ More In the course of proving a tenability result about the probabilities of conditionals, van Fraassen (1976) introduced a semantics for conditionals based on omega-sequences of worlds, which amounts to a particularly simple special case of ordering semantics for conditionals. On that semantics, 'If p, then q' is true at an omega-sequence just in case q is true at the first tail of the sequence where p is true (if such a tail exists). This approach has become increasingly popular in recent years. However, its logic has never been explored. We axiomatize the logic of omega-sequence semantics, showing that it is the result of adding two new axioms to Stalnaker's logic C2: one, Flattening, which is prima facie attractive, and, and a second, Sequentiality, which is complex and difficult to assess, but, we argue, likely invalid. But we also show that when sequence semantics is generalized from omega-sequences to arbitrary (transfinite) ordinal sequences, the result is a more attractive logic that adds only Flattening to C2. We also explore the logics of a few other interesting restrictions of ordinal sequence semantics. Finally, we address the question of whether sequence semantics is motivated by probabilistic considerations, answering, pace van Fraassen, in the negative. △ Less

Submitted 25 November, 2024; originally announced November 2024.

A Constructive Real Projective Plane

Authors: Mark Mandelkern

Abstract: The classical theory of plane projective geometry is examined constructively, using both synthetic and analytic methods. The topics include Desargues's Theorem, harmonic conjugates, projectivities, involutions, conics, Pascal's Theorem, poles and polars. The axioms used for the synthetic treatment are constructive versions of the traditional axioms. The analytic construction is used to verify the… ▽ More The classical theory of plane projective geometry is examined constructively, using both synthetic and analytic methods. The topics include Desargues's Theorem, harmonic conjugates, projectivities, involutions, conics, Pascal's Theorem, poles and polars. The axioms used for the synthetic treatment are constructive versions of the traditional axioms. The analytic construction is used to verify the consistency of the axioms; it is based on the usual model in three-dimensional Euclidean space, using only constructive properties of the real numbers. The methods of strict constructivism, following principles put forward by Errett Bishop, reveal the hidden constructive content of a portion of classical geometry. A number of open problems remain for future studies. △ Less

Submitted 25 April, 2024; originally announced April 2024.

MSC Class: 51A05 (Primary); 03F65 (Secondary

Journal ref: J. Geom. 107 (2016), 19-60

Constructive Mathematics

Authors: Mark Mandelkern

Abstract: An age-old controversy in mathematics concerns the necessity and the possibility of constructive proofs. The controversy has been rekindled by recent advances which demonstrate the feasibility of a fully constructive mathematics. This nontechnical article discusses the motivating ideas behind the constructive approach to mathematics and the implications of constructive mathematics for the history… ▽ More An age-old controversy in mathematics concerns the necessity and the possibility of constructive proofs. The controversy has been rekindled by recent advances which demonstrate the feasibility of a fully constructive mathematics. This nontechnical article discusses the motivating ideas behind the constructive approach to mathematics and the implications of constructive mathematics for the history of mathematics. △ Less

Submitted 2 April, 2024; originally announced April 2024.

MSC Class: 03F60

Journal ref: Math. Mag. 58:272-280, 1985

Convexity and Osculation in Normed Spaces

Authors: Mark Mandelkern

Abstract: Constructive properties of uniform convexity, strict convexity, near convexity, and metric convexity in real normed linear spaces are considered. Examples show that certain classical theorems, such as the existence of points of osculation, are constructively invalid. The methods used are in accord with principles introduced by Errett Bishop Constructive properties of uniform convexity, strict convexity, near convexity, and metric convexity in real normed linear spaces are considered. Examples show that certain classical theorems, such as the existence of points of osculation, are constructively invalid. The methods used are in accord with principles introduced by Errett Bishop △ Less

Submitted 3 April, 2024; originally announced April 2024.

MSC Class: 46B20 (Primary)

Journal ref: Rocky Mountain J. Math. 43(2013), 551-561

The altitudes of a triangle

Authors: Mark Mandelkern

Abstract: A long-standing, unanswered question regarding Euclid's Elements concerns the absence of a theorem for the concurrence of the altitudes of a triangle, and the possible reasons for this omission. In the centuries following Euclid, a remarkable number of proofs have been put forward; this suggests a search for the most elementary and direct proof. This paper provides a simple, direct, elementary pro… ▽ More A long-standing, unanswered question regarding Euclid's Elements concerns the absence of a theorem for the concurrence of the altitudes of a triangle, and the possible reasons for this omission. In the centuries following Euclid, a remarkable number of proofs have been put forward; this suggests a search for the most elementary and direct proof. This paper provides a simple, direct, elementary proof of the theorem; it is based solely on the Elements. △ Less

Submitted 15 February, 2024; originally announced March 2024.

MSC Class: Primary 51M04

Journal ref: Amer. Math. Monthly 131 (2024), 162-163

Constructive Coordinatization of Desarguesian Planes

Authors: Mark Mandelkern

Abstract: A classical theory of Desarguesian geometry, originating with D. Hilbert in his 1899 treatise, Grundlagen der Geometrie, leads from axioms to the construction of a division ring from which coordinates may be assigned to points, and equations to lines; this theory is highly nonconstructive. The present paper develops this coordinatization theory constructively, in accordance with the principles int… ▽ More A classical theory of Desarguesian geometry, originating with D. Hilbert in his 1899 treatise, Grundlagen der Geometrie, leads from axioms to the construction of a division ring from which coordinates may be assigned to points, and equations to lines; this theory is highly nonconstructive. The present paper develops this coordinatization theory constructively, in accordance with the principles introduced by Errett Bishop in his 1967 book, Foundations of Constructive Analysis. The traditional geometric axioms are adopted, together with two supplementary axioms which are constructively stronger versions of portions of the usual axioms. Stronger definitions, with enhanced constructive meaning, are also selected; these are based on a single primitive notion, and are classically equivalent to the traditional definitions. Brouwerian counterexamples are included; these point out specific nonconstructivities in the classical theory, and the consequent need for strengthened definitions and results in a constructive theory. All the major results of the classical theory are established, in their original form, revealing their hidden constructive content. △ Less

Submitted 11 February, 2024; originally announced February 2024.

MSC Class: 51A30

Journal ref: Beitrage Algebra Geom. 48 (2007), 547-589

A constructive version of the Sylvester-Gallai Theorem

Authors: Mark Mandelkern

Abstract: The Sylvester-Gallai Theorem, stated as a problem by J. J. Sylvester in 1893, asserts that for any finite, noncollinear set of points on a plane, there exists a line passing through exactly two points of the set. First, it is shown that for the real plane, the theorem is constructively invalid. Then, a well-known classical proof is examined from a constructive standpoint, locating the nonconstruct… ▽ More The Sylvester-Gallai Theorem, stated as a problem by J. J. Sylvester in 1893, asserts that for any finite, noncollinear set of points on a plane, there exists a line passing through exactly two points of the set. First, it is shown that for the real plane, the theorem is constructively invalid. Then, a well-known classical proof is examined from a constructive standpoint, locating the nonconstructivities. Finally, a constructive version of the theorem is established for the plane; this reveals the hidden constructive content of the classical theorem. The constructive methods used are those proposed by Errett Bishop. △ Less

Submitted 5 February, 2024; originally announced February 2024.

MSC Class: primary: 51M04; secondary: 03F65

Journal ref: Acta Math. Hungar. 150 (2016), 121-130

Constructive projective extension of an incidence plane

Authors: Mark Mandelkern

Abstract: A standard procedure in classical projective geometry, using pencils of lines to extend an incidence plane to a projective plane, is examined from a constructive viewpoint. Brouwerian counterexamples reveal the limitations of traditional pencils. Generalized definitions are adopted to construct a projective extension. The main axioms of projective geometry are verified. The methods used are in acc… ▽ More A standard procedure in classical projective geometry, using pencils of lines to extend an incidence plane to a projective plane, is examined from a constructive viewpoint. Brouwerian counterexamples reveal the limitations of traditional pencils. Generalized definitions are adopted to construct a projective extension. The main axioms of projective geometry are verified. The methods used are in accord with Bishop-type modern constructivism. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Journal ref: Trans. Amer. Math. Soc. 366 (2014), 691-706

Constructive Projective Geometry

Authors: Mark Mandelkern

Abstract: Of the great theories of classical mathematics, projective geometry, with its powerful concepts of symmetry and duality, has been exceptional in continuing to intrigue investigators. The challenge put forth by Errett Bishop (1928-1983), "Every theorem proved with nonconstructive methods presents a challenge: to find a constructive version, and to give it a constructive proof", motivates a large po… ▽ More Of the great theories of classical mathematics, projective geometry, with its powerful concepts of symmetry and duality, has been exceptional in continuing to intrigue investigators. The challenge put forth by Errett Bishop (1928-1983), "Every theorem proved with nonconstructive methods presents a challenge: to find a constructive version, and to give it a constructive proof", motivates a large portion of current constructive work. This challenge can be answered by discovering the hidden constructive content of classical projective geometry. Here we briefly outline, with few details, recent constructive work on the real projective plane, and projective extensions of affine planes. Special note is taken of a number of interesting open problems that remain; these show that constructive projective geometry is still a theory very much in need of further effort. The Bishop-type constructive mathematics discussed in the present paper proceeds from a viewpoint well-nigh opposite that of either formal logic or recursive function theory. △ Less

Submitted 31 January, 2024; originally announced February 2024.

MSC Class: Primary 51A05; Secondary 03F65

Journal ref: Constructive projective geometry, in Handbook of Constructive Mathematics, ed., D. Bridges, et al, Cambridge University Press, 2023, Chapter 7, pp. 168-198

Constructive Harmonic Conjugates

Authors: Mark Mandelkern

Abstract: In the study of the real projective plane, harmonic conjugates have an essential role, with applications to projectivities, involutions, and polarity. The construction of a harmonic conjugate requires the selection of auxiliary elements; it must be verified, with an invariance theorem, that the result is independent of the choice of these auxiliary elements. A constructive proof of the invariance… ▽ More In the study of the real projective plane, harmonic conjugates have an essential role, with applications to projectivities, involutions, and polarity. The construction of a harmonic conjugate requires the selection of auxiliary elements; it must be verified, with an invariance theorem, that the result is independent of the choice of these auxiliary elements. A constructive proof of the invariance theorem is given here; the methods used follow principles put forward by Errett Bishop. △ Less

Submitted 9 May, 2018; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: No significant changes. Rearrangement of results, for clarity

MSC Class: Primary 51A05; Secondary 03F65