Good schools for theoretical math?

<p>I was wondering if anyone out there knows some good schoools for theoretical math? Most schools I've seen have math classes that seem geared to backing up science: that is, almost all calculus and not much proof-work except maybe a couple of classes for seniors. I'm particularly into mathematical logic, set theory and computability which are often not even offered, and when they are they are often in less rigorous forms meant for ppl whose real interest is philosophy (the lines between math and philosophy get a little hazy sometimes). The only schools I've seen with lots of bizarre theoretical stuff are U of Chicago and Harvard, neither of which I can count on getting into. So if you know of any others, do tell. Less-than stirling schools that still have lots of good math are particularly appreciated.</p>

<p>NYU, the Ivies, MIT, Cal Tech, Michigan, Berkeley, Illinois, Wisconsin, Minnesota, Chicago, Stanford</p>

<p>definetely chicago, my good friend is a math major there</p>

<p>I know Reed College is like... all theoretical math. :P</p>

<p>Harvey Mudd College is excellent as well.</p>

<p>Princeton's got some great mathematicians.</p>