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

Zeitschrift Für Allgemeine Wissenschaftstheorie 20 (2):340-350 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01801483

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The own character of mathematics discussed with consideration of the proof of the four-color theorem.W. A. Verloren van Themaat - 1989 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 20 (2):340-350.
The four-color theorem and mathematical proof.Michael Detlefsen & Mark Luker - 1980 - Journal of Philosophy 77 (12):803-820.
A Simple Proof and Some Difficult Examples for Hindman's Theorem.Henry Towsner - 2012 - Notre Dame Journal of Formal Logic 53 (1):53-65.
A New Theorem introduced by Piyush Goel with Four Proof(Piyush Theorem).Goel Piyush - 2016 - Edupediapublications 3:1-5.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
Gleason's theorem has a constructive proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
Reverse mathematics of prime factorization of ordinals.Jeffry L. Hirst - 1999 - Archive for Mathematical Logic 38 (3):195-201.
Poincaré vs. Russell on the rôle of logic in mathematicst.Michael Detlefsen - 1993 - Philosophia Mathematica 1 (1):24-49.
Kilka uwag o dowodzie w matematyce.Roman Murawski - 2013 - Filozofia Nauki 21 (1).
The polarized Ramsey’s theorem.Damir D. Dzhafarov & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (2):141-157.
A constructive proof of the Peter‐Weyl theorem.Thierry Coquand & Bas Spitters - 2005 - Mathematical Logic Quarterly 51 (4):351-359.
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
Indiscernible Extraction and Morley Sequences.Sebastien Vasey - 2017 - Notre Dame Journal of Formal Logic 58 (1):127-132.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
The scrambling theorem: A simple proof of the logical possibility of spectrum inversion.Donald D. Hoffman - 2006 - Consciousness and Cognition 15 (1):31-45.

Analytics

Added to PP
2017-10-27

Downloads
4 (#1,623,074)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Kritik der reinen Vernunft.Immanuel Kant - 2020 - Walter de Gruyter GmbH & Co KG.
Turing's Man: Western Culture in the Computer Age.J. D. Bolter - 1985 - Australasian Journal of Philosophy 63:520.

Add more references