"A proof of a mathematical theorem is a sequence of steps which leads to the desired conclusion. The rules to be followed... were made explicit when logic was formalized early in the this century... These rules can be used to disprove a putative proof by spotting logical errors; they cannot, however, be used to find the missing proof of a... conjecture. ... arguments are a common occurrence in the practice of mathematics. However... The role of heuristic arguments has not been acknowledged in the philosophy of mathematics despite the crucial role they play in mathematical discovery. ...Our purpose is to bring out some of the features of mathematical thinking which are concealed beneath the apparent mechanics of proof."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
, Indiscrete Thoughts (1997) p. 160, ed., F. Palombi.
https://en.wikiquote.org/wiki/Philosophy_of_mathematics
Revision History
No revisions have been submitted for this quote.
Categories
Philosophy of mathematics
14 quotes on TrueQuotesView all quotes by Philosophy of mathematics →
Related Quotes
"According to the dominant view, the reflection on mathematics is the task of a specialized discipline, the philosophy…"
"Philosophy of mathematics has been slow to draw the analogy from the Kuhnian sea-change in philosophy of science, but…"
"We are still in the aftermath of the great foundationist controversies of the early twentieth century. Formalism, and…"
"The doctrine that mathematical knowledge is a priori—mathematical apriorism...—has been articulated in many different…"
"[M]athematical apriorism... has not gone completely unquestioned. J. S. Mill attempted to argue that mathematics is a…"
"Philosophy of mathematics appears to become a microcosm for the most general and central issues in philosophy—issues …"
"The dialogue takes place... The class gets interested in a Problem: Is there a relation between the number of vertice…"
"By "philosophy of mathematics" I mean the specific set of concepts, categories, and theories employed, implicitly or …"
"Philosophers and logicians have been so busy trying to provide mathematics with a "foundation" in the past half-centu…"
"If one excludes the philosophy of science from the ambit of a study of its history, then one is obliged to do history…"