Philosophy of mathematics asks questions about mathematical theories and practices. It can include questions about the nature or reality of numbers, the ground and limits of formal systems and the nature of the different mathematical disciplines.

learn more… | top users | synonyms (1)

0
votes
0answers
5 views

Question about Imre Hermann's book Parallelismes

Apparently, in his book Parallelismes, Imre Hermann discusses Hilbert, Brouwer en Russell from the viewpoint of psycho-pathology. Does anyone know whether the entire book is about ...
1
vote
3answers
101 views

How does infinity of numbers and of space work?

Is infinity just continuous generation of numbers, or can space be actually infinite? If it is finite can we see it expand if we went to the edge? When I say "I am counting to infinity" does it mean ...
1
vote
1answer
42 views

Is a proof still valid if many people say that is true? [duplicate]

A proof is some explanation to convincing others that a statement is true (or false in case of a counterexample). As Yuri Manin once wrote: "A proof becomes a proof only after the social act of ...
1
vote
1answer
83 views

Definition of “proof”

I read a book of logical puzzles once and there was a little story in it (fictional) about some boy who received an F on his geometry test because his professor said his proof that all angles of a ...
0
votes
2answers
116 views

How to define a number [closed]

What is the positive real number (say less than one) that is not a rational nor an irrational number? I have encountered a mathematical problem that confused me about the definition of real ...
5
votes
9answers
238 views

How should one interpret modern mathematics if one doesn't believe in infinity?

I am an ultrafinitist. http://en.wikipedia.org/wiki/Ultrafinitism I don't believe there is a such thing as infinity. To me, it is obvious that there has to be a largest number; I just don't know what ...
0
votes
0answers
23 views

Introduction Modal Logic with emphasis on metaphysics - free will particularly - and also mathematical logic

I'm reading Timothy O'Connor's 'Persons & Causes The metaphysics of free will' and the first chapter briefly goes into (though without introduction) the application of modal logic and ...
7
votes
5answers
275 views

What are the properties of Mathematical Objects?

I have been thinking a lot about how one knows when an observation contains mathematical elements. Many years ago when I was in school, I found that there was often little time taken out to discuss ...
2
votes
2answers
56 views

Nature of Persons and Mathematics

First, let me define 'Person' as anything complex enough to perceive truths about reality in the level that we do. Now, i'm gonna provide two mutually exclusive options about the nature of persons 1 ...
3
votes
2answers
107 views

Does anyone know pi? Do computers know pi? [closed]

I'm sure that the former's been covered in the literature, what about the latter? Does anyone know the value of pi? Can computers? Allow me to explain... Contrary to popular belief and what ...
7
votes
2answers
235 views

How does Russell's argument refute that of Wittgenstein's?

In My Philosophical Development Russell wrote, I come next to what Wittgenstein had to say about identity, which has an importance that may not be obvious at once. To explain this theory, I must ...
2
votes
6answers
144 views

Is logic built on assumptions?

I'm sorry if this sounds like a stupid question, but how can we know that our logical approach to ideas is not in itself based on assumptions. For example, how can we know that the workings of the ...
2
votes
2answers
100 views

Mathematical theorems and science

We know mathematics is applied constantly in science to solve problems, even if sometimes (e.g: modern physics) there is not always a intuition of why such theorems can be applied (since there isn't ...
0
votes
1answer
110 views

Philosophical interpretation of computability of a finite math problem

There is an interesting debate in the area of Enumerative Combinatorics, a branch of Mathematics. Several mathematician are having a somewhat tongue-in-check debate whether a certain (very large and ...
0
votes
3answers
108 views

Does Math, or analogically Language really have any impact on our “Thoughts”?

Here I see many say, language has an important impact on our thoughts. But according to this question, Foucault in the preface to The Order of Things wrote how he 'laughed out loud' when he ...
2
votes
4answers
124 views

In what way can deductive arguments be held to increase knowledge? [closed]

By definition, the conclusion of any deductive argument follows directly from the premises. For example, consider the following famous syllogism: Premise 1 - All men are mortal. Premise 2 - ...
2
votes
1answer
63 views

Type theory and metaphor

In my experience, textbooks and introductory material on type theory (or constructive logic systems) are remarkably devoid of metaphor. I never found any introductory text in those fields that ...
0
votes
4answers
74 views

Does the mind work with unconscious mathematical underpinnings?

That is, is our mind geared to use math without our knowledge? Reading academic writings from the biological and social sciences, I observed patterns of methods widely used in maths/statistics such ...
3
votes
0answers
62 views

Mathematical Inventions [closed]

I have been shown some interesting results recently, and i want to see whether it is possible for me to change my point of view regarding the ontology of mathematics ( which now sees mathematical ...
0
votes
5answers
106 views

Can there be ugliness in the world of a Mathematical God? [closed]

Let us assume that Mathematics is infinite, represents the multiverse and beyond, and is the deterministic cause of everything we know to exist (the Big Bang and our universe, the formation of the ...
5
votes
2answers
184 views

How does GEB support AI?

Typically, Godel's Incompleteness theorems have been used to argue against the possibility that the human mind is essentially equivalent to a formal system. However, in Daniel Dennett's book "Darwin's ...
1
vote
1answer
41 views

Let A be a finite non-empty set and S a finite symbol set. Show that there are only finitely many S-structures with A as the domain [closed]

Let A be a finite non-empty set and S a finite symbol set. Show that there are only finitely many S-structures with A as the domain Let k be the number of elements in A, for all constant symbols c ...
0
votes
3answers
83 views

How can teleological explanations not fit with modern science?

Source: Prof Michael Sandel, Justice: ..., Episode 09: "ARGUING AFFIRMATIVE ACTION 52:21: We grew up and and we’re talked out of this way thinking about the world. 52:30: But here's a question: ...
1
vote
3answers
94 views

Can a point of space be identified?

Consider a single particle in empty space; by what argument can we say that it always occupies the same position or place? Space itself has no identifying mark or label being everywhere the same. ...
2
votes
1answer
114 views

How can you translate the mathematical statement 5=5 into a second order symbolic logic statement?

Hi I'm trying to describe the statement 5=5 using symbolic logic. I initially attempted to describe this into English as: There is such a thing x and such a thing y, such that x is equivalent to ...
8
votes
3answers
259 views

What are the historic stances on the epistemological status of mathematics?

I know that Plato and Kant thought it was synthetic a priori (although Plato would not have phrased it in that way). What other major thinkers have weighed in on this issue, on both sides of both the ...
7
votes
6answers
190 views

What did Poincaré mean when he said “Mathematicians do not deal in objects, but in relations among objects”?

The mathematician Henri Poincaré had said, "Mathematicians do not deal in objects, but in relations among objects; they are free to replace some object by others so long as the relations remain ...
1
vote
1answer
79 views

Is this enough to conclude that G is false?

Let us assume a logical system with only 3 axioms (laws of thought): Axiom 1: A statement that is true will remain true till a change is made in the system. Axiom 2: A statement may not be true and ...
2
votes
3answers
161 views

Is graph theory a good model for Seven Bridges of Koenigsberg?

I've asked this question on MathSE, but apparently people over there don't like philosophy. Seven Bridges of Koenigsberg is the problem whose solution (by Euler) gave a rise to graph theory and ...
2
votes
3answers
188 views

What is the minimum number of axioms required for a system of axioms?

What is the minimum number of axioms you need, apart from definitions and usage of the notation, such that you have a system that does not contradict itself? I would just think that the answer is ...
3
votes
5answers
135 views

Is there a poset based/category theoretical definition of God?

As a current atheist, who was a former theist, I feel that God is not a logically incoherent concept. However, many definitions of God, especially those that involve omnipotence, omniscience etc. are ...
4
votes
5answers
278 views

The belief that everything is expressible in mathematical terms?

For want of a better word, mathematicism will be defined as the belief that everything is expressible in mathematical terms. I'm not sure if this is a position that anyone affirms, as my thoughts on ...
3
votes
3answers
160 views

What makes generalization of a mathematical notion correct?

As far as I know, the notion of open set has been formulated after the notion of open interval in the real line. Was the goal of generalization to allow the definition to work in higher dimensions? ...
5
votes
9answers
583 views

Should I trust mathematics?

First of all I'm not an expert in this field, please correct me if I'm lacking relevant knowledge here. A few hundreds years ago mathematics was largery based on intuition. People realised we need to ...
0
votes
0answers
23 views

On a question of likeness as elaborated by Parmenides

(This question is a tribute to Grothendieck died recently, and whose obituary is here he was amongst the first to theorise on higher morphisms - likenesses). Socrates in a dialectical debate with ...
0
votes
0answers
33 views

considering the line and circle as not just a contrary, but as a extremes on a continuum

Question: In Greek philosophy, it is generally taken that the line and the circle form a contrary. For example in Aristoteles Physics generally takes that motion can be formed out of this contrary, ...
-4
votes
2answers
85 views

Is knowledge a form of energy? [closed]

To better describe my question, do the following experiment: Calculate x=12+26+67+71 Now you might have spent some time in getting the answer. You burnt sugar, you used up energy to get the ...
2
votes
2answers
110 views

Mathematical Platonism vs Platonic Platonism

According to the summary of Platonism (ie the Forms) by Aristotles Metaphysics: Besides sensible things, and the Forms, there are mathematical objects; of the first (the sensible) they share in ...
0
votes
0answers
35 views

Is the inconsistent (or paraconsistent) line a possibility?

According to the SEP: Another place to find applications of inconsistency in analysis is topology, where one readily observes the practice of cutting and pasting spaces being described as ...
3
votes
4answers
489 views

Is mathematics as pure as originally thought?

It is said that theorems in mathematics cannot be proved or disproved by experimentation. I assert that if a statement is decidable, then it can be proved or disproved in a finite amount of time by a ...
4
votes
3answers
273 views

What is the number 2?

My friend told me that he took a course in the philosophy of mathematics and said that they defined the number 2 to be "the set of all sets with two elements." I may be remembering wrong, but this is ...
2
votes
6answers
297 views

If a cone is divided in a plane parallel to its base, are the surfaces produced by the cut the same or different in size?

Democritus of Abdera, the ancient philosopher of Greece, reasoned over two thousand years ago: If a cut were made through a cone parallel to its base, how should we conceive of the two opposing ...
-3
votes
4answers
308 views

Can we add Pi to Pi [closed]

Can we say we can add Pi plus Pi? (from http://deepturtel.blogspot.in/2015/01/pi-plus-pi.html): Are the rules of addition in Maths defined for such a process? Or do we always add only approximations ...
3
votes
6answers
703 views

Mathematical versus philosophical reasoning (and the mathematics of philosophical arguments)?

What is the difference between mathematical reasoning and philosophical reasoning and why isn't philosophy just considered to be a branch of mathematics? Is any study not a branch of mathematics ...
1
vote
3answers
93 views

How historically grounded is the standard narrative of the Irrationals in Antiquity?

Its commonly said that the Pythagoreans were unbalanced by the discovery of the irrationals; since their philosophy was predicated on ratios; ratios of two finite numbers. Still, it is natural to ...
3
votes
3answers
428 views

Input/output in 'mathematical' programming languages [closed]

More than once I have observed this: A person describes a functional programming language (as opposed to a programming language that makes heavy use of interspersed states), that person will say it is ...
-2
votes
1answer
84 views

Creativity in mathematics [duplicate]

Hello can anyone especially e.g. an actual mathematician, from the horses mouth, explain what role this has in mathematics, both through the whole course of learning skills and mathematics, and ...
6
votes
2answers
332 views

Is mathematical platonism compatible with Platonism?

When calling themselves "Platonists" mathematicians usually mean that they feel they discover ideal facts that eternally exist in some way. My question is if this sentiment is consistent with Plato's ...
2
votes
5answers
277 views

What does Deleuze mean by “the world can be regarded as a 'remainder'”?

Deleuze in Difference & Repetition writes in the chapter named as the Assymetrical synthesis of the sensible: It is therefore true that God makes the world by calculating, but his calculations ...
4
votes
4answers
450 views

What is the intersection of Physics & Philosophy?

(I've already asked this question on Meta, but as one answer (by Joseph Weissman) pointed out this is already a philosophical question; so I thought it worth asking here). I've asked a number of ...