MathOverflow
David Harris
  • Member for 11 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
3,289
reputation
94k
reached
37
answers
58
questions
Communities
View all
Badges
View all badges
1
gold badge
21
silver badges
36
bronze badges
Top tags
View all tags
21
Score
17
Posts
18
Posts %
13
Score
8
Posts
8
Posts %
11
Score
4
Posts
4
Posts %
9
Score
6
Posts
6
Posts %
8
Score
18
Posts
19
Posts %
7
Score
21
Posts
22
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
40
Inconsistent theory with long contradiction
Jan 14 '11
34
Non-rigorous reasoning in rigorous mathematics
Nov 30 '12
20
Completeness vs Compactness in logic
Jun 25 '11
19
Expected value as decision criterion in the context of rare events
Dec 31 '10
15
Can randomness add computability?
Mar 10 '11
15
Undecidable theories easier than $Q$
Jul 5 '11
15
Why are so few operations with arity bigger than 2?
Dec 14 '10
14
Definition of relativization of complexity class
Sep 19 '11
12
Number of spanning trees which contain a given edge
Nov 18 '11
11
Am I allowed to do non-rigorous numerical analysis?
Oct 19 '11
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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.