The History of Mathematical Proof in Ancient Traditions

Demonstration in Chinese and Vietnamese mathematics 543 cannot be applied to all [the functionaries]. Th is is why [one] does no ...

544 alexei volkov [6] the parts-multiples of each rank. Th at is, fi rst of all, I shall take the seven parts of each [functiona ...

Demonstration in Chinese and Vietnamese mathematics 545 [9] to it. Was it correct or wrong? Hope that those in charge will make ...

Title in Chinese Pinyin transliteration Wade-Giles transliteration Translation adopted in this paper Translation adopted in Mart ...

Suan shu shu Suan shu shu Writing on computations with counting rods [No translation suggested] Suan xue qi meng Suan hsüeh ch’i ...

548 alexei volkov Bibliography Primary sources CMLT – Phan Huy Khuông. Chỉ minh lập thành toán pháp (Guidance for understanding ...

Demonstration in Chinese and Vietnamese mathematics 549 Berezkina , E. ( 1975 ) ‘ Matematicheskii traktat o prodolzhenii drevnik ...

550 alexei volkov Martzloff , J.-C. ( 1997 ) A History of Chinese Mathematics. Berlin. Mikami Yoshio ( 1913 ) Th e Development o ...

Demonstration in Chinese and Vietnamese mathematics 551 (forthcoming). ‘Didactical dimensions of mathematical problems: “weighte ...

16 A formal system of the Gougu method: a study on Li Rui’s Detailed Outline of Mathematical Procedures for the Right-Angled Tri ...

A formal system of the Gougu method 553 1. Detailed Outline of Mathematical Procedures for the Right-Angled Triangle : a formal ...

554 tian miao Th e diff erence between gou and the hypotenuse Th e sum of gu and the hypotenuse Th e diff erence between gu and ...

A formal system of the Gougu method 555 Here is a translation of the fi rst part of the table of contents, 6 in which gou is ren ...

556 tian miao ә b , c − b (being given), add b to the diff erence, the sum is c , enter into this by the procedure of b and c ә ...

A formal system of the Gougu method 557 want, we can fi gure out the position of a problem by the items given in the problem.^8 ...

558 tian miao not the only argument on which we rely to reach the conclusion that the GGSX has a formal structure. An examinatio ...

A formal system of the Gougu method 559 Adding the two squares yields 144 0 1 , which makes the square of the hypotenuse. (Put i ...

560 tian miao problems in the GGSX have the same layout in general, but also the parts of every problem are similarly arranged i ...

A formal system of the Gougu method 561 is: if a , gou , is not known in the problem, he sets a as the unknown. If a is known, a ...

562 tian miao for the hypotenuse, and squares it. Finally, by eliminating the square of the hypotenuse and the expression put on ...