6005
Previous names on stackexchange: Goos, CS
Current:
- PhD Computer Science, University of Pennsylvania
Past:
- ScB Mathematics - Computer Science, Brown University
Unresolved Questions
An alternative set theory with 3 axioms
Can we encode Hausdorff measure and dimension with a function-valued "measure"?
Resolved Questions
Is there a computable model of ZFC?
A generalization of AM-GM using elementary symmetric polynomials
Is there a universal mapping property satisfied by the disjoint union of totally ordered sets?
Infinite chomp boards where player two wins
On clones containing all the constant functions
Answers
Any theory for which $\mathbb{N}$ is a model is $\omega$-consistent
Only 7 odd integers $n$ such that $\phi(n)$ and $\phi(n+1)$ are both powers of two
Optimal way to copy and paste the same character many times
At least 31 geometric progressions required to cover $\{1, 2, 3, \ldots, 100\}$
When is a polynomial always divisible by some integer?
Product of two Cesaro-summable sequences may not be Cesaro-summable
-
Philadelphia, PA, United States
-
Member for 6 years, 10 months
-
271 profile views
-
Last seen 2 days ago
