Skip to main content

Axiomatic Systems and Finite Geometries

  • Chapter
A Course in Modern Geometries

Part of the book series: Undergraduate Texts in Mathematics ((UTM))

  • 2486 Accesses

Abstract

Finite geometries were developed in the late nineteenth century, in part to demonstrate and test the axiomatic properties of completeness, consistency, and independence. They are introduced in this chapter to fulfill this historical role and to develop both an appreciation for and an understanding of the revolution in mathematical and philosophical thought brought about by the development of non-Euclidean geometry. In addition, finite geometries provide relatively simple axiomatic systems in which we can begin to develop the skills and techniques of geometric reasoning. The finite geometries introduced in Sections 1.3 and 1.5 also illustrate some of the fundamental properties of non-Euclidean and projective geometry.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 84.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Suggestions for Further Reading

  • Albert, A. A., and Sandler, R. (1968). An Introduction to Finite Projective Planes. New York: Holt, Rinehart and Winston. (Contains a thorough group theoretic treatment of finite projective planes.)

    MATH  Google Scholar 

  • Anderson, I. (1974). A First Course in Combinatorial Mathematics. Oxford, England: Clarendon Press. (Chapter 6 discusses block designs and error-correcting codes.)

    MATH  Google Scholar 

  • Beck, A., Bleicher, M. N., and Crowe, D. W. (1972). Excursions into Mathematics. New York: Worth. (Sections 4.9–4.15 give a very readable discussion of finite planes, including the development of analytic models.)

    Google Scholar 

  • Benedicty, M., and Sledge, F. R. (1987). Discrete Mathematical Structures. Orlando, FL: Harcourt Brace Jovanovich. (Chapter 13 gives an elementary presentation of coding theory.)

    Google Scholar 

  • Cipra, B. A. (1988). Computer search solves old math problem. Science 242:1507–1508. (Reports on verification that there is no projective plane of order 10.)

    Article  MathSciNet  Google Scholar 

  • Gallian, J. (1996). Error detection methods. ACM Computing Surveys. Vol. 28, No. 3, pp. 504–517.

    Article  Google Scholar 

  • Gensler, H. J. (1984). Gödel’s Theorem Simplified. Lanham, MD: University Press of America.

    Google Scholar 

  • Hofstadter, D. R. (1984). Analogies and metaphors to explain Gödel’s theorem. In Mathematics: People, Problems, Results. D. M. Campbell and J. C. Higgins (Eds.), Vol. 2, pp. 262–275. Belmont, CA: Wadsworth.

    Google Scholar 

  • Kolata, G. (1982). Does Gödel’s theorem matter to mathematics? Science 218: 779–780.

    Article  MathSciNet  MATH  Google Scholar 

  • Lam, C. W. H. (1991). The Search for a Projective Plane of Order 10. The American Mathematical Monthly. Vol. 98, No. 4, pp. 305–318.

    Article  MathSciNet  MATH  Google Scholar 

  • Lockwood, J. R., and Runion, G. E. (1978). Deductive Systems: Finite and Non-Euclidean Geometries. Reston,VA: NCTM (Chapter 1 contains an elementary discussion of axiomatic systems.)

    Google Scholar 

  • Nagel, E. and Newman, J. R. (1956). Gödel’s proof. In The World of Mathematics. J. R. Newman (Ed.), Vol. 3, pp. 1668–1695. New York: Simon and Schuster.

    Google Scholar 

  • Pless, V. (1982). Introduction to the Theory of Error-Correcting Codes. New York: Wiley. (A well-written explanation of this new discipline and the mathematics involved.)

    MATH  Google Scholar 

  • Smart, J. R. (1998). Modern Geometries, 5th ed. Pacific Grove, CA: Brooks/Cole. (Chapter 1 contains an easily readable discussion of axiomatic systems and several finite geometries.)

    Google Scholar 

  • Thompson, T. M. (1983). From Error-Correcting Codes Through Sphere Packings to Simple Groups. The Carus Mathematical Monographs, No. 21. Ithaca, NY: MAA (Incorporates numerous historical anecdotes while tracing 20th century mathematical developments involved in these topics.)

    MATH  Google Scholar 

Readings on Latin Squares

  • Beck, A., Bleicher, M. N. and Crowe, D. W. (1972). Exccursions into Mathematics, pp. 262–279. New York: Worth.

    Google Scholar 

  • Crowe, D. W., and Thompson, T. M. (1987). Some modern uses of geometry. In Learning and Teaching Geometry, iC-12, 1987 Yearbook, M. M. Lindquist and A. P. Schulte (Eds.), pp. 101–112. Reston, VA: NCTM.

    Google Scholar 

  • Gardner, M. (1959). Euler’s spoilers: The discovery of an order-10 Graeco-Latin square. Scientific American 201: 181–188.

    Article  Google Scholar 

  • Sawyer, W. W. (1971). Finite arithmetics and geometries. In Prelude to Mathematics, Chap. 13. New York: Penguin Books.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer Science+Business Media New York

About this chapter

Cite this chapter

Cederberg, J.N. (2001). Axiomatic Systems and Finite Geometries. In: A Course in Modern Geometries. Undergraduate Texts in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3490-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-3490-4_1

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4419-3193-1

  • Online ISBN: 978-1-4757-3490-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics