38

# Questions

11
15
5
3k
views

### What are some proofs of Godel’s Theorem which are *essentially different* from the original proof?

aug 5 11 at 20:54 Ron Maimon 564812

6
20
8
1k
views

### Self-containing structures

mar 29 at 3:13 Noah S 3,885627

3
12
4
990
views

### Fermat’s Last Theorem and Computability Theory

dec 23 10 at 21:51 Pete L. Clark 39.6k3102226

3
9
3
717
views

### When can we detect forcing?

nov 15 10 at 0:09 Andres Caicedo 14.4k14279

7
16
0
563
views

### Supercompact and Reinhardt cardinals without choice

jun 6 at 15:26 Noah S 3,885627

1
9
3
533
views

### Polygons arising from knot diagrams

dec 24 10 at 21:36 Noah S 3,885627

2
10
2
521
views

### A limit to Shoenfield Absoluteness

aug 3 11 at 16:49 Noah S 3,885627

2
9
1
521
views

### Characterization of Stone-Cech compactifications

sep 23 at 7:54 Simon Henry 96539

11
2
452
views

### Can we collapse $\omega_1$ to $\omega$ without adding a dominating real?

oct 12 11 at 21:54 Todd Eisworth 1,193311

4
12