I trained as a mathematician, a logician, and a quant, and then chose other career paths.
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 Is compass and straight edge geometry complete? Apr 18 '14