Modification of a theorem named for this man with ordinal indices can be used to prove the Erdos-Rado theorem.
Modification of a theorem named for this man with ordinal indices can be used to prove the Erdos-Rado theorem. Schanuel's conjecture leads to a result co-named for this man stating that a set of independent algebraic integers will also have independent exponentials. Another theorem named for this man and an Italian describes the density of analytic functions near essential singularities in a complex space. Those theorems are co-named for Lindemann and Casorati. This mathematician developed the M-test for uniform convergence. He states that every continuous function can be modeled arbitrarily closely by a polynomial, a result improved upon by Marshall Stone. For 10 points, name this German mathematician whose namesake function is continuous everywhere but differentiable nowhere.
Modification of a theorem named for this man with ordinal indices can be used to prove the Erdos-Rado theorem.
Karl Weierstrass [accept "Bolzano-Weierstrass theorem" or "Bernard Bolzano" before "result"; accept Lindemann-Weierstrass theorem before mentioned; accept Casorati-Weierstrass theorem before mentioned]