標題: Why is 1+1=2?
作者: Yang, W
資訊工程學系
Department of Computer Science
關鍵字: addition;algorithm correctness;arithmetic;decimal addition;decimal notation;logic;foundation of mathematics
公開日期: 1-May-2002
摘要: Too often we take the method of decimal addition to be the definition of addition. We clarify this misunderstanding by first giving a definition of addition and then proving that the decimal addition method is both sound and complete with respect to the given definition. By showing the soundness and completeness of decimal addition with respect to the addition of natural numbers, we actually propose a new approach to algorithm correctness. We also discuss the differences between our logic approach and the traditional axiomatic approach.
URI: http://hdl.handle.net/11536/28848
ISSN: 1016-2364
期刊: JOURNAL OF INFORMATION SCIENCE AND ENGINEERING
Volume: 18
Issue: 3
起始頁: 425
結束頁: 443
Appears in Collections:Articles