485 Proclus, Greek mathematician and philosopher (born 412) Proclus, Greek mathematician and philosopher (born 412)