دانلود رایگان کتاب Proof and Computation in Geometry – Michael Beeson
◮ Analytic geometry is more systematic than Euclid. It reduces
geometry to calculation.
◮ First-order proofs are objects of beauty in their own right, but
they are hard to come up with.
◮ A computation tells you that something is true.
A proof tells you why it’s true.
◮ We will study the reduction(s) of proof to computation, and
then try to reverse the process, getting proofs from