291 reputation
15
bio website twitter.com/lucaswiman
location Mountain View, CA
age 31
visits member for 2 years, 1 month
seen May 11 at 21:35

I work on building intelligent web applications to help people find and manage information.

I'm especially interested in information extraction and data mining, but I like working on the whole stack of a feature: from the analytics to the front-end.


Feb
9
awarded  Nice Answer
Jun
21
awarded  Yearling
Jan
21
revised Is it possible to prove a mathematical statement by proving that a proof exists?
Fix incorrect argument related to the characteristic of the field
Jan
18
comment Is it possible to prove a mathematical statement by proving that a proof exists?
Rudin's proof seems more powerful than the model-theory proof above, and it elucidates better why the theorem is true. Still, this is a standard proof which directly addresses the original question.
Jan
18
comment Is it possible to prove a mathematical statement by proving that a proof exists?
Not off the top of my head. I'm guessing it goes something like this: Since every function on finite fields is a polynomial function, there should be an upper bound $U(n, d, p)$ on the degree of the inverse for every $n$. If that function can be made independent of $p$, then just use "$\phi_{d,n}$ AND there is a polynomial of degree at most $U(n,d)$ which is an inverse of $f$" instead of just $\phi_{d,n}$. The proof would go the same. I don't know how to make the upper bound on the degree independent of $p$, however. (Is it possible?)
Jan
18
revised Is it possible to prove a mathematical statement by proving that a proof exists?
Clean up sentence.
Jan
18
awarded  Editor
Jan
18
revised Is it possible to prove a mathematical statement by proving that a proof exists?
Improve confusing choice of variable name.
Jan
18
answered Is it possible to prove a mathematical statement by proving that a proof exists?
Jan
11
awarded  Teacher
Jan
11
answered How does a non-mathematician go about publishing a proof in a way that ensures it to be up to the mathematical community's standards?
Jan
11
awarded  Supporter
Jun
21
awarded  Autobiographer