"Greek philosopher and mathematician who proved the Pythagorean theorem; considered to be the first true mathematician (circa 580-500 BC)" . "Wordnet Synset 11270046-n" . .