Hippasus, a Pythagorean philosopher is believed to have proven the existence of numbers that are not rational. However, this is not quite the same as "known for". Many (most?) mathematicians would not know who Hippasus was or what he did.
Chat with our AI personalities