Kurt Gödel - Small Whale