Древнегреческий философ, основатель Академии — философской школы в Афинах. Ввёл математику в число обязательных к изучению предметов. Является одним из основателей логического метода в математике. Предложил термины «анализ» и «синтез», первым обосновал метод наведения и метод доказательства от противного, который теперь широко применяется в геометрии. Занимался решением задачи об удвоении куба.