The History of Mathematical Proof in Ancient Traditions

Mathematical proof: a research programme 43 derive a result. Even though he discards this method as inappropriate for a proof, a ...

44 karine chemla such as embedding them into other algorithms or modifying their lists of operations, could be established on th ...

Mathematical proof: a research programme 45 numbers. 51 Once the computation of a reciprocal has been recorded on the tablet, th ...

46 karine chemla interpreted as related to the statement of rules which ground the correct- ness of the algorithm. Proust thereb ...

Mathematical proof: a research programme 47 application to the result. On that count, her conclusion is that the overall structu ...

48 karine chemla exists. 54 As alluded to above, Th e Nine Chapters , like Babylonian tablets, describes some of the algorithms ...

Mathematical proof: a research programme 49 in the classic. Further analysis reveals that, beyond the similarity which we sugges ...

50 karine chemla transformed. We would then have a form of algebraic proof in an algorith- mic format. Th e second part of my cl ...

Mathematical proof: a research programme 51 wonder whether the algebraic proof in an algorithmic context as demon- strated in an ...

52 karine chemla acts. Moreover, she delineates the techniques used by the commentator to account for an algorithm. Here, simila ...

Mathematical proof: a research programme 53 ‘explanation’ which are referenced with specifi c terms. Once the ‘explana- tion’ is ...

54 karine chemla main reason for including them in the book is that they reveal historically interesting modes of continuity wit ...

Mathematical proof: a research programme 55 books exerted a strong infl uence. It is in such a Vietnamese source that Volkov fou ...

56 karine chemla that the late history of practices of proof bears witness to circulations and preservations that challenge the ...

Mathematical proof: a research programme 57 solution to any problem depended only on those before it. Th e proofs of the correct ...

58 karine chemla the equation with full generality. Th is distinction between cases relates to a concern about the validity of t ...

Mathematical proof: a research programme 59 composes a new type of text with which to carry out proofs, one that inte- grates di ...

60 karine chemla into the nature of algebraic proofs, on the one hand, and the process of their emergence, on the other? If a hi ...

Mathematical proof: a research programme 61 generally. On the one hand, proving is an activity that takes place in specifi c soc ...

62 karine chemla beginning. Indeed, the main question then raised is to identify how the way in which the proof is conducted or ...