The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento

DOI10.1007/1-4020-3335-4_7zbMath1078.01005OpenAlexW117859111MaRDI QIDQ5465101

Karine Chemla

Publication date: 22 August 2005

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/1-4020-3335-4_7

zbMATH Keywords

Liu HuiJiu zhang suan shu

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) History of Chinese mathematics (01A25)

Related Items (2)

Epistemic justification and operational symbolism ⋮ Different cultures of computation in seventh century China from the viewpoint of square root extraction

This page was built for publication: The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento