Re: What is Mathematics?
LauLuna
"Mathematics is what mathematicians do".
I'd prefer something a bit less sociological. What about "mathematics
is any theoretical activity which can rely on theorem proving" ?
THR
Then mathematics could not be distinguished from
philosophy.
Tom
Regards
.
Relevant Pages
- Re: What is Mathematics?
... "Mathematics is what mathematicians do". ... is any theoretical activity which can rely on theorem proving"? ... It is usually believed there are no theorems in philosophy. ...
(sci.math) - Re: What is Mathematics?
... "Mathematics is what mathematicians do". ... is any theoretical activity which can rely on theorem proving"? ... It is usually believed there are no theorems in philosophy. ...
(sci.math) - Re: Are recursive functions computable?
... Alonzo Church’s JSL Reviews ... Logistic and Philosophy. ... Die Widerspruchsfreiheit der Stufenlogik. ... The Development of Intuitionistic Mathematics. ...
(sci.math) - Re: Jechs Set Theory
... learning some mathematics, as the mathematics (during this phase of my ... studies) is of more interest to me than is philosophy of mathematics. ... clear mathematical assertions themselves. ... set theory done by a formalist is ...
(sci.math) - Re: Whats the name for this?
... > EN> We have a philosophy of mathematics whether we want to or not, ... > EN> and Platonism produces bugs because of its demand that everything ... >> infinity of proofs that there is a connection between Plato and CS. ... Whatever "encyclopedias of philosophy" or cheat sheets you are reading ...
(comp.programming) |
|
