THE FORMALIZATION OF THE FOUNDATIONS OF GEOMETRY WITHIN THE SYSTEM OF SYMBOLIC LOGIC R

Abstract

An underlying logic is developed of sufficient strength to handle geometry in a set theoretical manner. The logic is formulated so as to use the subordinate proof technique developed by Fitch (The Ronald Press Co., N. Y., 1952). Axioms for plane geometry are added to this logic and the relations of parallelism betweenness, and congruency are treated. Questions of consistency are discussed. (Author)

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1961
Accession Number
AD0264864

Entities

People

  • Michael D. Resnik

Organizations

  • Air Force Cambridge Research Laboratories

Tags

Communities of Interest

  • Air Platforms

DTIC Thesaurus Topics

  • Consistency
  • Geometry
  • Mathematics
  • Plane Geometry
  • Sizes (Dimensions)

Readers

  • Electromagnetic Wave Scattering and Antenna Radiation Engineering
  • Mathematical Modeling and Probability Theory.
  • Military History of the United States in the 20th Century.