Skip to main content
Theoretical Computer Science
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 13 years, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
356
reputation
2k
reached
2
answers
0
questions
Communities
View all
About

Treasurer for MathOveflow

Department of Mathematics & Statistics, University of Vermont

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
15
Score
1
Posts
50
Posts %
15
Score
1
Posts
50
Posts %
15
Score
1
Posts
50
Posts %
15
Score
1
Posts
50
Posts %
15
Score
1
Posts
50
Posts %
9
Score
1
Posts
50
Posts %
Top posts
15
Constructively efficient algorithms without efficient correctness and efficiency proof
Apr 5, 2013
9
Explicit mu-recursive expression for Ackerman function
Jun 9, 2011
Top Meta posts
1
2
13
On modifying our scope: A proposal
5
How-To Use/Tips & Tricks
3
2014 Moderator Election Q&A - Question Collection
Top network posts
View all network posts
129
explicit big linearly independent sets
127
Proof that pi is transcendental that doesn't use the infinitude of primes
106
What are some examples of colorful language in serious mathematics papers?
80
What is the high-concept explanation on why real numbers are useful in number theory?
79
Why is compactness in logic called compactness?