4
votes
6answers
160 views

Interviews of famous modern mathematicians

I was wondering, are there any good collections of interviews of famous modern mathematicians? It can be text interviews, or audio or video recordings. I am not sure what exactly I mean by "modern". ...
3
votes
1answer
160 views

Errors of Euler interpretation?

To complement the recent post on Euler's errors, I would pose the following question: what common errors of Euler interpetation appear in the literature? What errors are attributed to Euler's work in ...
2
votes
1answer
55 views

Need help locating a paper

One of the references of the paper Paulo Régis C. Ruffino, A Criticism on "A Mathematician's Apology" by G. H. Hardy (arXiv:1112.4499 [math.HO]) is: Vershik, A. M. – A Dangerous Joke, The ...
0
votes
0answers
32 views

The role of verifiable computing in the formalization of mathematics

I've been thinking about this for a while, and it seems to me that mathematics "works" because (in principle) we can to check proofs very quickly, even though the discovery of that proof may have ...
11
votes
2answers
188 views

Founding Arithmetic on geometry

In the past I found some fleeting references that some (Frege in his later years being one of them) tried to found arithmetic not on set-theory and logic but on geometry and logic. Unfortunedly Frege ...
2
votes
1answer
83 views

Philosophical side of MATH. knowing the path then walk it. [closed]

Can I find a book that gives me the purpose of theorems and definitions without going deep into proofs. It's just like knowing the path then walk it. That's will me the understanding reach the next ...
3
votes
3answers
273 views

How come mathematics is applicable to the real world?

Before the dam breaks, namely, the one that holds the waters of accusations, I want to specify that the question I'm asking is a "reference-request", and therefore does have an answer. Often in ...
3
votes
0answers
38 views

looking for good book on the history of formalism

In 1868 Beltrami published a paper ""Saggio di interpretazione della geometria non-euclidea" that seems to have led to the formalist philosophy of mathematics. But what was written exactly what were ...
1
vote
0answers
74 views

Stylish Academic Writing [duplicate]

I don't know that this question belongs here, but I'd like to know of any references out there anyone here might recommend for writers of mathematical ideas, be it a book, an article, a dissertation, ...
2
votes
2answers
163 views

Books about modal logic?

I've just approached modal logic reading "An Introduction to Non-Classical Logic" of Graham Priest. I am looking for some books that treat this argument in a more extensive way than the book I am ...
4
votes
5answers
441 views

Books on logic, proof theory and set theory?

I graduated in Computer Science at University of Bologna in Italy some years ago. For various reasons now I am discovering a back interest in mathematic logic higher than I was a student. I have only ...
11
votes
9answers
938 views

Mathematicians talking about their identity as a person and as a mathematician?

I was wondering if any of you know of any books, articles, interviews, youtube videos, ... (etc) where a mathematician talks about his or her identity as a person and as a mathematician? Thank you for ...
5
votes
1answer
213 views

Is there an introduction to probability and statistics that balances frequentist and bayesian views?

Perhaps, roughly, I might be described as advanced undergraduate regarding mathematics. However, I have not learned statistics and have only learned elementary probability. Does there exist a book or ...
2
votes
3answers
127 views

Polynomials as concrete structures

Motivation The structuralist point of view on mathematical objects has two aspects: On the one side, a mathematical object is seen as a concrete structure of abstract dots, e.g. a graph. On the ...
5
votes
0answers
306 views

Structuralist slogans

I am afraid to make a bad impression by misusing this forum but I am looking for as-many-as-possible mathematically inspired formulations and references to one (sometimes vague) idea. The idea is ...
3
votes
0answers
181 views

Does the concept of predicativity need to be formalized to go beyond Feferman-Schutte ordinal?

Feferman-Schütte ordinal is sometimes said to be: ....first impredicative ordinal, though this is controversial, partly because there is no generally accepted precise definition of "predicative". ...
2
votes
1answer
86 views

Reference request for Intuitionism

I need to write an essay on Intuitionism for my Philosophy of Science class, and I'm looking for books which cover the following topics: Brouwer's Intuitionism, from both a philosophical and ...
3
votes
5answers
303 views

Essays on the real line?

Are there any essays on real numbers (in general?). Specifically I want to learn more about: The history of (the system of) numbers; their philosophical significance through history; any good ...
7
votes
2answers
144 views

Literature on general paradox?

I suppose this one teeters on the edge of un-mathematical, but here it goes... I've been on something of a logic binge lately and have (surprise, surprise!) especially been interested in the results ...
25
votes
3answers
908 views

Rejecting infinity

I've heard about mathematicians who defend a strictly finite conception of mathematics, with no room for infinity. I wonder, how is it possible for these people to do this? Are there any concepts that ...
15
votes
5answers
665 views

Definition of definition

I was wondering if there is a good way to "define" what definition means exactly in mathematics. Since the answers may be subjective or philosophical, I want to ask only for references on this topic. ...
14
votes
7answers
1k views

Reference request: is mathematics discovered or created?

I have to write a short monograph as an assignment for a course on the philosophy of science. Being a math student, of course I want to opt for something math-related. After some initial ideas which ...
23
votes
9answers
4k views

Good books on Philosophy of Mathematics

Where can I learn more about the implications, meta discussions, history and the foundations of mathematics? Is Russell's Introduction to Mathematical Philosophy a good start?
6
votes
5answers
648 views

Philosophy (Logic)

I was reading my daily reddit and came accross this link to a new double major at Oxford, Computer Science and Philosophy. http://www.comlab.ox.ac.uk/admissions/ugrad/Computer_Science_and_Philosophy ...