• Corpus ID: 28882093

From Geometry to Algebra

@inproceedings{Baldwin2014FromGT,
  title={From Geometry to Algebra},
  author={John T. Baldwin},
  year={2014}
}
Our aim is to see which practices of Greek geometry can be expressed in various logics. Thus we refine Detlefsen’s notion of descriptive complexity by providing a scheme of increasing more descriptive formalizations of geometry Following Hilbert we argue that defining a field structure on a line in ‘Euclidean geometry’ provides a foundation for both geometry and algebra. In particular we prove from first principles: √ 2 · √ 3 = √ 6, similar triangles have proportional sides, Euclid’s 3rd axiom… 

Figures from this paper

Axiomatizing changing conceptions of the geometric continuuum
We begin with a general account of the goals of axiomatization, introducing a variant (modest) on Detlefsen’s notion of ‘complete descriptive axiomatization’. We examine the distinctions between the
Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert
We begin with a general account of the goals of axiomatization, introducing a variant (modest) on Detlefsen’s notion of ‘complete descriptive axiomatization’. We examine the distinctions between the

References

SHOWING 1-10 OF 30 REFERENCES
Geometry and Proof
We discuss the relation between the specific axiomatizations, specifically Hilbert’s [Hil71] reformulation of geometry at the beginning of the last century, and the way elementary geometry has been
FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY
  • J. Baldwin
  • Mathematics
    The Review of Symbolic Logic
  • 2012
TLDR
It is argued that although both involve explicit definition, the proof of the embedding theorem is pure while Hilbert’s is not, and the determination of whether an argument is pure turns on the content of the particular proof.
On the Elementary Theory of Restricted Elementary Functions
TLDR
Every formula ϕ in the natural language of ( R RE, constants) is equivalent to an existential formula with the extra property that for each x ∈ R m such that ϕ ( x ) is true in R RE there is exactly one y ∉ R n such thatψ ( x, y ) istrue in RRE .
The Foundations of Geometry
  • E. L.
  • Philosophy
    Nature
  • 1891
Abstract“OUGHT there not to be a perfect subjective geometry, as well as an applied objective one, the applicability of the former to the latter being a matter to be determined by induction from
Purity of Methods
ly considered from such construction; and which doth accompany it though otherwise constructed than is supposed.7 Wallis thus saw geometrical knowledge as more concerned with construction-invariant
Corrigendum to: “Real closed fields and models of arithmetic”
TLDR
It is shown that a countable real closed field has an integer part that is a model of PA just in case it is either Archimedean or recursively saturated, and the following well-known fact is used to prove this.
The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
TLDR
The simplicity hierarchical features of No are brought to the fore and play central roles in the aforementioned unification of systems of numbers great and small and in some of the more revealing characterizations of No as an absolute continuum.
Tame Complex Analysis and o-minimality
We describe here a theory of holomorphic functions and analytic manifolds, restricted to the category of definable objects in an o-minimal structure which expands a real closed field R. In this
Tarski's System of Geometry
Abstract This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of
COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM*
  • J. Baldwin
  • Philosophy, Mathematics
    The Bulletin of Symbolic Logic
  • 2014
TLDR
The interaction of model theory and traditional mathematics is examined by considering the views of such as Bourbaki, Hrushovski, Kazhdan, and Shelah to flesh out the argument that the main impact of formal methods on mathematics is using formal definability to obtain results in ‘mainstream’ mathematics.
...
...