bio | website | diamondstone.me |
---|---|---|
location | San Francisco | |
age | ||
visits | member for | 5 years, 7 months |
seen | Aug 22 at 21:46 | |
stats | profile views | 365 |
I am a software engineer with a PhD in mathematics. My thesis area was mathematical logic, specifically computability theory and effective randomness.
Aug
2 |
awarded | Popular Question |
Dec
26 |
awarded | Popular Question |
Sep
19 |
awarded | Nice Question |
Jun
9 |
awarded | Yearling |
Jun
9 |
awarded | Nice Question |
Jun
8 |
accepted | Are there examples of nonconstructive metaproofs? |
Jun
8 |
comment |
Are there examples of nonconstructive metaproofs?
Great answer. But I would still be interested in more examples, if anyone has some more. |
Jun
8 |
awarded | Supporter |
Jun
8 |
comment |
Are there examples of nonconstructive metaproofs?
This can hardly be seen as a constructive proof, as the "constructive" part is entirely divorced from the "proof" part. |
Jun
8 |
comment |
Are there examples of nonconstructive metaproofs?
Isn't there a story where a famous mathematician was assigned an open problem as homework by a devious professor, and ended up solving it? |
Jun
8 |
asked | Are there examples of nonconstructive metaproofs? |
May
16 |
comment |
Can Cantor set be the zero set of a continuous function?
Each bump in the bump function has width 1/3^n. If the height is h(n), then the largest value of the kth derivative of of the stage n bumps will be 3^{kn}h(n) times the largest value of the kth derivative of the original bump function. If you want these to converge uniformly, the exact condition you need is that 3^{kn}h(n) converges to 0. So the necessary and sufficient condition on h to make the construction work is that for all a>0, h(n) is eventually less than a^n. So yes, 2^{-2^n} will work. |
May
18 |
accepted | Given n k-element subsets of n, is there a small subset A of n which intersects them all? |
May
18 |
comment |
Given n k-element subsets of n, is there a small subset A of n which intersects them all?
Thank you very much. |
May
17 |
asked | Given n k-element subsets of n, is there a small subset A of n which intersects them all? |
May
6 |
awarded | Fanatic |
Feb
25 |
awarded | Enthusiast |
Jan
21 |
awarded | Autobiographer |
Jan
20 |
awarded | Scholar |
Jan
20 |
accepted | Is there a computable model of ZFC? |