древнегреческий математик который доказал что корени из 2 не является рациональным.
Это был Эратосфен. Он доказал, что √ 2 не является рациональным числом.