PS
"Goedel and Turing for showing the hard limits of the light of mathematics and logic, but in defining the boundaries, showing how infinite the elysian field is. For building a science that isn't about whats knowable, isn't about whats known, whats been or what will be. Isn't about (properly) thought. But what could be answered and what can't, and what you can and can't even try to answer."
Lest we forget Cantor, who showed that something can be infinite, but still less than some other infinite. For without him, the above paragraph makes no sense ;-)