We’re rewarding the question askers & reputations are being recalculated! Read more.

 17 “$x$ is a brother of $y$.” Why is this not transitive? 9 Power towers of $2$ and $3$ - looking for a proof 7 proof relating to limit definition of e 6 Real equivalent of the surreal number {0.5|} 6 if $|f(n+1)-f(n)|\leq 2001$, $|g(n+1)-g(n)|\leq 2001$, $|(fg)(n+1)-(fg)(n)|\leq 2001$ then $\min\{f(n),g(n)\}$ is bounded

### Reputation (1,994)

This user has no recent positive reputation changes

### Questions (3)

 10 A sentence asserting about itself that if it is provable, then it is true 5 Turing's 1939 paper on ordinal logic 3 Exercise in Kunen (IV.10)

### Tags (62)

 17 relations 12 calculus × 3 17 equivalence-relations 9 conjectures 15 sequences-and-series × 5 9 power-towers 15 algorithms × 3 9 oeis 12 real-analysis × 3 8 proof-verification × 2

### Accounts (4)

 Mathematics 1,994 rep 88 silver badges1414 bronze badges Stack Overflow 113 rep 33 bronze badges MathOverflow 101 rep English Language & Usage 101 rep 11 bronze badge