Herodotus, who lived approximately sixty years after Thales, also wrote about him, as did Eudemus, the first major historian of mathematics. Proclus, who wrote in about 450 AD, cited Eudemus' History of Geometry, now lost, as his source. Thales is credited with introducing the concepts of logical proof for abstract propositions.