Skip to main content
MathOverflow
David Harris's user avatar
David Harris's user avatar
David Harris's user avatar
David Harris
  • Member for 14 years, 2 months
  • Last seen this week
Profile Activity
Stats
3,475
reputation
112k
reached
37
answers
59
questions
Communities
View all
Badges
View all badges
1
gold badge
26
silver badges
38
bronze badges
Top tags
View all tags
23
Score
17
Posts
18
Posts %
15
Score
8
Posts
8
Posts %
11
Score
4
Posts
4
Posts %
10
Score
6
Posts
6
Posts %
9
Score
18
Posts
19
Posts %
7
Score
21
Posts
22
Posts %
Top posts
View all questions and answers
question
42
Inconsistent theory with long contradiction
Jan 14, 2011
question
33
Non-rigorous reasoning in rigorous mathematics
Nov 30, 2012
question
23
Completeness vs Compactness in logic
Jun 25, 2011
question
20
Expected value as decision criterion in the context of rare events
Dec 31, 2010
question
16
Can randomness add computability?
Mar 10, 2011
question
15
Undecidable theories easier than $Q$
Jul 5, 2011
answer
15
Why are so few operations with arity bigger than 2?
Dec 14, 2010
question
14
Definition of relativization of complexity class
Sep 19, 2011
question
12
Lower bound on # spanning trees in a connected graph
Jun 6, 2011
question
12
Number of spanning trees which contain a given edge
Nov 18, 2011
Top network posts
View all network posts
32
Finite automata that accept binary strings divisible by n
26
How to modify a final draft to reflect that a conjecture in its preprint was refuted?
16
Definition of matrix-multiplication exponent $\omega$
16
Is every busy beaver strictly monotonic asymptotically?
15
Under what circumstances do $O(n^{a + \epsilon})$ algorithms imply $O(n^{a+o(1)})$ algorithms?