158

Answers
votes newest views recent
89
How To Present Mathematics To Non-Mathematicians?
49
Consequences of technically proving anything in Coq (on at least Linux) exploiting a bug?
39
Au revoir, law of excluded middle?
34
Set theory and Model Theory
33
Applications of nonconstructive mathematics
31
Is rigour just a ritual that most mathematicians wish to get rid of if they could?
28
In What Way are Set Theorists' ‘Experiences’ in the CH Worlds Flawed, if Any?
27
What is the shortest program for which halting is unknown?
25
Depressed graduate student.
24
Impredicativity
23
Awfully sophisticated proof for simple facts
23
What are your favorite instructional counterexamples?
22
How constructive is Doyle-Conway’s ‘Division by three’? (2)
21
“Let $x \in A$”, beginning a proof of “$\forall x \in A$ …”, if A were empty
20
Does “compact iff projections are closed” require some form of choice?
20
Why is Kleene’s notion of computability better than Banach-Mazur’s? (2)
20
Why Lawvere theories have finite products? and more
19
Logic in mathematics and philosophy
19
What are the worst notations, in your opinion ?
18
Should functions be assumed to behave like the identity function when evaluated outside their domain?
17
Choice vs. countable choice
15
Mathematicians whose works were criticized by contemporaries but became widely accepted later
14
A Model where Dedekind Reals and Cauchy Reals are Different
14
Axiom of Computable Choice versus Axiom of Choice
14
How many binary operations are associative?
14
Usage of set theory in undergraduate studies
13
Why pullback only defined up-to-isomorphism but nevertheless presented as functor?
13
Category and the axiom of choice
13
Are the Foundations of Mathematical Logic Shaky?
13
Can we unify addition and multiplication into one binary operation? To what extent can we find universal binary operations?
1 2 3 4 5 6 next