David Harris's user avatar
David Harris's user avatar
David Harris's user avatar
David Harris
  • Member for 13 years, 5 months
  • Last seen more than 2 years ago
42 votes
4 answers
2k views

Inconsistent theory with long contradiction

34 votes
18 answers
6k views

Non-rigorous reasoning in rigorous mathematics

20 votes
10 answers
5k views

Completeness vs Compactness in logic

19 votes
10 answers
4k views

Expected value as decision criterion in the context of rare events

16 votes
2 answers
2k views

Can randomness add computability?

15 votes
1 answer
806 views

Undecidable theories easier than $Q$

14 votes
3 answers
3k views

Definition of relativization of complexity class

12 votes
3 answers
3k views

Number of spanning trees which contain a given edge

11 votes
2 answers
1k views

Am I allowed to do non-rigorous numerical analysis?

11 votes
1 answer
1k views

Machine model for primitive recursion?

11 votes
3 answers
3k views

Lower bound on # spanning trees in a connected graph

7 votes
2 answers
1k views

Models of computation with decidable halting problem?

7 votes
1 answer
346 views

RAM simulating another RAM

7 votes
3 answers
413 views

Increasing tower of subsets of ${1, ..., k}$

7 votes
2 answers
707 views

How close to an integer can a polynomial root be?

7 votes
0 answers
213 views

Bound on chromatic number for a class of graphs

5 votes
0 answers
147 views

Fractional chromatic number for triangle-free d-degenerate graphs

5 votes
0 answers
485 views

# roots of polynomials over GF(2)

5 votes
1 answer
312 views

Block design question

5 votes
3 answers
987 views

Branching process survival probability

5 votes
0 answers
561 views

When is polytope compatible with network flow?

5 votes
2 answers
821 views

Semantic definition of sentence

4 votes
1 answer
716 views

Proof system with same complexity as "informal mathematics"?

4 votes
2 answers
652 views

# bridges in random connected graph

4 votes
1 answer
1k views

Spanning trees of $k$-edge-connected graphs

3 votes
2 answers
355 views

Bounds on spanning tree for sparse graphs

3 votes
4 answers
282 views

Spanning trees of $H \cup e$ in terms of $H$

3 votes
0 answers
363 views

Amortized analysis of data structure via potential function

3 votes
3 answers
779 views

An Optimization problem

3 votes
0 answers
222 views

Bounds on number of small minimal cut-sets in graph?