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 14 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
356
reputation
3k
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
answer
15
Constructively efficient algorithms without efficient correctness and efficiency proof
Apr 5, 2013
answer
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
130
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?
81
Why is compactness in logic called compactness?
80
What is the high-concept explanation on why real numbers are useful in number theory?