Yogyakarta the student city

Euclid’s parallel postulate, in its modern reformulation, holds that, on a plane, given a line and a point not on the line, only one line can be drawn through the point parallel to the line. Gerolamo Saccheri (1667-1733) brilliantly attempted to prove this through a reductio ad absurdum argument. There were two ways to contradict [...]