# Questions tagged [philosophy]

Questions involving philosophy of mathematics. Please consider if Philosophy Stack Exchange is a better site to post your question.

797 questions
Filter by
Sorted by
Tagged with
98 views

### Is 0 the absence of something? [closed]

In computer programming, null and 0 values are two different things. I was wondering if the same applied to just mathematics in general. The reason I ask this question is because I don't understand ...
96 views

### 'The Computer and the Brain' - The mathematical language of the brain

I couldn't decide whether this question is more appropriate to post here or at the philosophy SE, but I thought I'd give people with a mathematical perspective the opportunity to help me decide. I'm ...
58 views

### Why and how Mathematicians define unity?

I hope this one (pun intended) post won't get ripped by the community. I wondered what are the most abstract ways to define unity element? Why is there a need for unity element in general? Is it just ...
6k views

### Does advanced math “power” more rudimentary math?

I came across this quote by Eric Weinstein that "when things got supposedly more advanced, they actually got simpler because mathematicians started revealing what was powering all the things that you ...
68 views

### Supposing that numbers are reducible to sets, how would one go about reducing a complex number to one?

I'm aware of the Benacerraf's identification problem, but suppose that numbers are reducible to sets such that the empty set is identified with zero, the power set of the empty set is identifiable ...
2k views

### Are category-theory and set-theory on the equal foundational footing?

Set-theory is widely taken to be foundational to the rest of mathematics. So is category-theory. My question is: Are they two alternative, rival candidates for the role of a foundational theory of ...
57 views

### Logarithm, exponentiation, addition, and multiplication,

If the logarithm converts multiplication to addition, thus simplifying mathematics, does exponentiation, converting addition to multiplication, "complicate" mathematics? I've only ever seen arguments ...
391 views

### Axioms in Gödel's ontological proof are inconsistent?

So, my problem is with Axiom 5 of the proof, where Gödel considers necessary existence as a property. However, by his own definition, a 'property' applies to objects including those whose necessary ...
785 views

### The boundaries of mathematics?

There are five possible answers to a multiple-choice question. Given that the student does not know the answer, what is the probability that the student chooses the first answer? That is not a well ...
300 views

### Are numbers real, in a metaphysical sense? [closed]

I live and work with numbers almost all the time and have done so for most of my 77 years. I can almost feel them. But it is only almost. I have to believe, contra Plato, that they and moreover all of ...
2k views

### What kind of alternative mathematics systems exist? [closed]

What kind of alternative mathematics systems exist? What I mean is, mathematical systems that use a different sort of "basic premises" or e.g. logic(s) than the contemporary "mainstream" mathematics. ...
214 views

### Axiomatic formal language theory

I am struggling with this problem of philosophy of mathematics, that is to apply the axiomatic method to give foundations to the theory of formal languages, without mention explicitly the concepts of "...
96 views

### How can one think conceptually about Type Theory when one explains the differences between ZFC and Type Theory?

It's a big question, this I am quite aware of, so please excuse my little understanding on the subject but with reference to the following question, to which I would rather like to extend a little, ...
100 views

### Russell's “On Denoting,” formalization

So, I was reading Russell's paper 'On Denoting' and stumbled upon the (in)famous paraphrase\analysis of the definite description "x was the father of Charles II." As it is known, Russell's paraphrase ...
267 views

### Can we hope for an elementary proof of a conjecture of Goldbach?

It is written on Wikipedia: "During the 20th century, the theorem of Hadamard and de la Vallée-Poussin also became known as the Prime Number Theorem. Several different proofs of it were found, ...
686 views

### Is a set that consists of a single point connected?

If $S=\{a\}$ then surely for every two points from that set there is a path that joins them, choose $x_1=a$ and $x_2=a$ and define continuous function on $[0,1]$ such that $f(x)=a$. Or, one point ...
89 views

### What counts as a witness in constructive mathematics?

In order for a mathematical object to be accepted by a constructivist, a witness of a such object much be constructed. For example, we may let points be witnesses for natural numbers. For a real ...
26 views

### Expected Value Of A Process - Formalization / Foundations

Consider the question: Let $X$ be the random variable describing the number of rolls of a six-sided die needed till you see a $6$. What is $\mathbb{E}(X)$? Usually the answer given is $6$. What is ...
326 views

### Do mathematical realists believe that the continuum hypothesis is true?

The continuum hypothesis is known to be independent (neither provable nor disprovable) within the ZFC axioms. But as I understand it, mathematical realists (e.g. Platonists) believe that there is a ...
156 views

### How do mathematicians know that they're right? [closed]

How do mathematicians know that they're right? How do they know that there's no flaw in a proof, or know when something has been proved? Is this a welldefined concept, is it is some kind of intuition ...
62 views

### Random process and predictability

We are familiar with random process. For example the result of tossing a coin is considered a random process. So rolling a dice. In this logical scheme, the realization of a random process is ...
1k views

### Things you can't prove in math

In science, we have laws through which we can explain various phenomena. It seems all of it can be reduced to a few basic laws. This is the idea of reductionism. It is also possible that we cannot ...
174 views

189 views

### What is the importance of $\frac{1}{(1/a)+(1/b)}$

I've noticed that this comes up in physics quite a bit, with resistors and has a part in the lensmaker's equation. It also comes up in math with$$a\oplus b:=\frac{1}{\frac{1}{a}+\frac{1}{b}}$$ \...
65 views

### What is “structure” and is it equivalent to its encoding?

I often come across a description of sets, as objects of "zero structure". I always intuitively understood Set Theory as a theory of size, meaning that the only information we get on it's objects of ...
92 views

### Is addition a 'sufficient' operation?

Is addition a sufficient operation? For instance, multiplication can be viewed as 'repeated' addition, and powers repeated multiplication (at least for rational powers), hence powers can also be ...
152 views

### Is mathematics done in an arbitrary model of ZFC?

Following up a previous thread I posted, I have tried to refine my questions. I would be happy with answers simply confirming that I have understood matters correctly, but of course I would also be ...
151 views

### Examples of non-invariant yet “useful” properties of mathematical objects

I am trying to find out whether there are mathematically important or useful properties (of some object(s)) that are nevertheless not invariant under some usual choice of isomorphism? Are there any ...
103 views

### Insight in the diagonal method as explained by Girard

I'm currently reading "The Blind Spot" by J.Y.Girard, and came across this passage about diagonalization: Is this way of describing diagonal arguments in general legitimate? If not is there another ...
182 views

### Balls and vase $-$ A paradox?

Question I have infinity number of balls and a large enough vase. I define an action to be "put ten balls into the vase, and take one out". Now, I start from 11:59 and do one action, and after 30 ...
553 views

### How to think about theories that prove their own inconsistency?

There are consistent first-order theories that prove their own inconsistency. For example, construct one like this: Assuming their is a consistent and sufficiently expressive first-order theory at ...
489 views

### Infinitely many axioms of ZFC vs. finitely many axioms of NBG

It is known that ZFC needs infinitely many axioms, but NBG (Neuman-Bernays-Gödel set theory) is finitely axiomatizable (as first-order theories of course). But both theories agree completely on the ...
749 views

### Is i an integer? If so, i/1, which is i, is rational. 1 is an integer, at least.

There's this maths joke, where $i$ says to $π$, "get rational!" while $π$ says to $i$, "get real!" (I like to say that $e$ says to the both of them, "join me, and we will absolutely be one!" (don't ...