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.
Literature
Aitken, A. C. (1954) The Art of Mental Calculation, with Demonstrations.Transactions of the Society of Engineers 44, p. 293.
Appel, K., Haken, W. (1977) Every Planar Map is Four Colorable. Part I: Discharging.Illinois Journal of Mathematics 21, pp. 429–490.
Appel, K., Haken, W., Koch, J. (1977) Every Planar Map is Four Colorable. Part II: Reducibility.Illinois Journal of Mathematics 21, pp. 491–567.
Bolten, J. D. (1984)Turing's Man. Western Culture in the Computer Age, Duckworth, London, XVI+264 pp.
Brouwer, L. E. J. (1907)Over de grondslagen der wiskunde (About the Foundations of Mathematics), Maas & Van Suchtelen, Amsterdam-Leipzig, 183 pp.
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.
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.
Kant, I. (1787)Kritik der reinen Vernunft (Critique of Pure Reason), Inselverlag, Leipzig, 648 pp.
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.
Tymoczko, T. (1977) The Four Color Problem and Its Philosophical Significance.The Journal of Philosophy 76/2, pp. 57–82.
Author information
Authors and Affiliations
Additional information
I thank Dr. R. F. Geyer for correcting my English.
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF01801483