The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento
From MaRDI portal
Publication:5465101
DOI10.1007/1-4020-3335-4_7zbMath1078.01005OpenAlexW117859111MaRDI QIDQ5465101
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
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