Trained as a logician and a quant. Mathematically inclined even if I'm doing neither of those things.
9 Starting Hilbert's Program on the other end mar 2 '14
8 Given a formal power series ,decide whether there exists a polynomial the series satisfies and if it exists,how to write it down? may 11 '14
8 If y forms Pythagorean triples with two different x, can some other y also form Pythagorean triples with those two x? mar 28 '14
7 Spearing rolling hula hoops mar 15 '14
5 What is known about the boundary between Richardson's theorem and the Tarski-Seidenberg theorem? feb 12