Skip to main content
Log in

The own character of mathematics discussed with consideration of the proof of the four-color theorem

  • Aufsätze
  • Published:
Journal for General Philosophy of Science Aims and scope Submit manuscript

Zusammenfassung

Der Beweis des Vierfarbensatzes mit Hilfe eines Computers, der so viel Zeit erforderte, daß ein Mensch die Berechnungen niemals überprüfen könnte, hat Zweifel erregt an vier philosophischen Annahmen über Mathematik. Die Mathematik ist die Lehre der Klassifikation, insoweit als sie vollständig abstrahiert von der Art der zu klassifizierenden Dinge. Diese Auffassung wird vom Beweis des Vierfarbensatzes nicht erschüttert. Wahrscheinlich kann mathematisches Denken nicht vor sich gehen ohne sinnliche Vorstellungen, aber die Eigenschaften mathematischer Gegenstände sind unabhängig von ihrer Weise sinnlicher Vorstellung.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Literature

  • Aitken, A. C. (1954) The Art of Mental Calculation, with Demonstrations.Transactions of the Society of Engineers 44, p. 293.

    Google Scholar 

  • Appel, K., Haken, W. (1977) Every Planar Map is Four Colorable. Part I: Discharging.Illinois Journal of Mathematics 21, pp. 429–490.

    Google Scholar 

  • Appel, K., Haken, W., Koch, J. (1977) Every Planar Map is Four Colorable. Part II: Reducibility.Illinois Journal of Mathematics 21, pp. 491–567.

    Google Scholar 

  • Bolten, J. D. (1984)Turing's Man. Western Culture in the Computer Age, Duckworth, London, XVI+264 pp.

    Google Scholar 

  • Brouwer, L. E. J. (1907)Over de grondslagen der wiskunde (About the Foundations of Mathematics), Maas & Van Suchtelen, Amsterdam-Leipzig, 183 pp.

    Google Scholar 

  • Descartes, R. (1824)Discours de la méthode pour bien conduire sa raison et chercher la vérité des sciences (Treatise About the Method of Reasoning Well and Seeking Truth in Science), Antoine Auguste Benouard, Paris, XXXVIII + 158 pp.

    Google Scholar 

  • Descartes, R. (1670)Meditationes de prima philosophia, in quibus Dei existentia, et animae humanae a corpore distinctio demonstrantur. His adjunctae sunt variae objectiones doctorum in istas de Deo et anima demonstrationes cum Responsionibus Auctoris (Meditations About the Principles of Philosophy, in Which the Existence of God, and the Distinctness of the Human Soul From the Body Are Proved. Added to Them Are Several Objections by Doctors Against Those Proofs About God and the Soul with Answers by the Author), Elsevier, Amsterdam, Netherlands, 191 pp.

  • Gorsline, G. W. (1980)Computer Organization. Hardware/Software, Prentice Hall Inc., Englewood Cliffs, New Jersey, X + 309 pp.

    Google Scholar 

  • Kant, I. (1787)Kritik der reinen Vernunft (Critique of Pure Reason), Inselverlag, Leipzig, 648 pp.

    Google Scholar 

  • Smith, S. B. (1983)The Great Mental Calculators. The Psychology, Methods, and Lives of Calculating Prodigies, Past and Present, Columbia University Press, New York, XVIII + 374 pp.

    Google Scholar 

  • Tymoczko, T. (1977) The Four Color Problem and Its Philosophical Significance.The Journal of Philosophy 76/2, pp. 57–82.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

I thank Dr. R. F. Geyer for correcting my English.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Verloren van Themaat, W.A. The own character of mathematics discussed with consideration of the proof of the four-color theorem. Zeitschrift für Allgemeine Wissenschaftstheorie 20, 340–350 (1989). https://doi.org/10.1007/BF01801483

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01801483

Keywords

Navigation