Skip to main content
MathOverflow
David Harris's user avatar
David Harris's user avatar
David Harris's user avatar
David Harris
  • Member for 15 years, 6 months
  • Last seen more than a month ago
Profile Activity

Stats

3,597
reputation
124k
reached
37
answers
59
questions
Communities
View all

Badges

View all badges
1
gold badge
29
silver badges
39
bronze badges

Top tags

View all tags
24
Score
17
Posts
18
Posts %
15
Score
9
Posts
9
Posts %
12
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
43
Inconsistent theory with long contradiction
Jan 14, 2011
33
Non-rigorous reasoning in rigorous mathematics
Nov 30, 2012
26
Completeness vs Compactness in logic
Jun 25, 2011
20
Expected value as decision criterion in the context of rare events
Dec 31, 2010
16
Can randomness add computability?
Mar 10, 2011
15
Why are so few operations with arity bigger than 2?
Dec 14, 2010
15
Undecidable theories easier than $Q$
Jul 5, 2011
14
Definition of relativization of complexity class
Sep 19, 2011
12
Lower bound on # spanning trees in a connected graph
Jun 6, 2011
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?