Deduction, Computation, Experiment: Exploring the Effectiveness of Proof by Ross
116,00 €
What is a proof for?. eld bringing together mat- matics, logic, natural science and philosophy. What makes a symbolic constr- tion signi?cant?. What makes an assumption reasonable?. G¨ odel, Church and Turing, in di?erent ways, achieve a deep und- standing of the notion of e?ective calculability involved in the nature of proof.
Jetzt bei Ebay:
