François G. Dorais's user avatar
François G. Dorais's user avatar
François G. Dorais's user avatar
François G. Dorais
  • Member for 14 years, 4 months
  • Last seen this week
129 votes
Accepted

explicit big linearly independent sets

127 votes
Accepted

Proof that pi is transcendental that doesn't use the infinitude of primes

106 votes

What are some examples of colorful language in serious mathematics papers?

80 votes
Accepted

What is the high-concept explanation on why real numbers are useful in number theory?

77 votes

Which mathematicians have influenced you the most?

72 votes
Accepted

How many orders of infinity are there?

61 votes

What are some examples of colorful language in serious mathematics papers?

49 votes

What is the definition of "canonical"?

48 votes
Accepted

In what rigorous sense are Sperner's Lemma and the Brouwer Fixed Point Theorem equivalent?

43 votes
Accepted

"Transitivity" of the Stone-Cech compactification

43 votes
Accepted

Which spaces are inverse limits of discrete spaces ?

42 votes
Accepted

Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?

40 votes
Accepted

How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?

38 votes

Most 'unintuitive' application of the Axiom of Choice?

37 votes

Why is this new result such a big deal?

35 votes
Accepted

Internal logic of the topos of simplicial sets

35 votes

Who needs Replacement anyway?

35 votes
Accepted

Propositional Logic, First-Order Logic, and Higher-Order Logics

34 votes
Accepted

Does $\operatorname{Con}\sf(ZF)$ imply $\operatorname{Con}\sf(ZF + \operatorname{Aut}{\bf C = Z/\mathrm 2Z})$?

32 votes

Reasons to believe Vopenka's principle/huge cardinals are consistent

32 votes
Accepted

Inverse Ackermann - primitive recursive or not?

31 votes

What can be proven in Peano arithmetic but not Heyting arithmetic?

31 votes
Accepted

Forcing as a new chapter of Galois Theory?

30 votes

Has decidability got something to do with primes?

30 votes

Are $\mathbb{C}$ and $\overline{\mathbb{Q}}_p$ isomorphic?

30 votes

Reductio ad absurdum or the contrapositive?

30 votes
Accepted

Using consistency to create new axioms in set theory

30 votes

Why do roots of polynomials tend to have absolute value close to 1?

29 votes

Nelson's program to show inconsistency of ZF

29 votes

What are some mathematical concepts that were (pretty much) created from scratch and do not owe a debt to previous work?

1
2 3 4 5
14