Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 1176

Questions about mathematics which don't fall into the other arXiv categories. If you have a general question about mathematics but it is not research level, it's off-topic but it might be welcomed on Mathematics Stack Exchange.

20 votes

Situations where “naturally occurring” mathematical objects behave very differently from “ty...

In practice, subsets of $\mathbb{R}$ encountered in analysis tend to be measurable, but not all subsets of $\mathbb{R}$ need be measurable, and in fact are not by the Axiom of choice. In practice, p …
91 votes
Accepted

Is rigour just a ritual that most mathematicians wish to get rid of if they could?

I was not going to write anything, as I am a latecomer to this masterful troll question and not many are likely going to scroll all the way down, but Paul Taylor's call for Proof mining and Realizabil …
30 votes

What would remain of current mathematics without axiom of power set?

Words are not magic. Just because you have given something a name it does not necessarily exist, and conversely, a thing may exist without having a name. Let me explain this. You say that the powerse …
Andrej Bauer's user avatar
  • 48.8k
2 votes

If a continuous function is differentiable at a point, is it differentiable in some neighbor...

The answer is negative. Take a bounded nowhere differentiable continuous map $f : \mathbb{R} \to \mathbb{R}$ and consider the map $g(x) = f(x) \cdot x^2$, which is differentiable at $x = 0$, but not a …
Andrej Bauer's user avatar
  • 48.8k