MathOverflow
David Harris's user avatar
David Harris's user avatar
David Harris's user avatar
David Harris
  • Member for 12 years, 3 months
  • Last seen more than 1 year ago
Profile Activity
Stats
3,337
reputation
98k
reached
37
answers
58
questions
Communities
View all
Badges
View all badges
1
gold badge
22
silver badges
36
bronze badges
Top tags
View all tags
20
Score
17
Posts
18
Posts %
13
Score
8
Posts
8
Posts %
10
Score
6
Posts
6
Posts %
10
Score
4
Posts
4
Posts %
9
Score
18
Posts
19
Posts %
7
Score
21
Posts
22
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
40
Inconsistent theory with long contradiction
Jan 14, 2011
question
34
Non-rigorous reasoning in rigorous mathematics
Nov 30, 2012
question
20
Completeness vs Compactness in logic
Jun 25, 2011
question
19
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
Number of spanning trees which contain a given edge
Nov 18, 2011
question
11
Machine model for primitive recursion?
Aug 17, 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?

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.