- 期刊
- OpenAccess
Why is 1+1=2?
並列摘要
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.
被引用紀錄
Chi, Y. C. (2007). 在非公平central demon計算模式下運作的可以尋找所有橋的自我穩定演算法 [master's thesis, Yuan Ze University]. Airiti Library. https://doi.org/10.6838/YZU.2007.00013
Chen, H. J. (1997). 在樹狀網路找雙中心點的自我穩定演算法 [master's thesis, Yuan Ze University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0009-0112200611291145
延伸閱讀
- Wong, S. L. (2006). Keeping an ’I’ out [master's thesis, The University of Hong Kong]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0029-1812201200013821
- 池上善彥、鄭納無（2012）。After 311。台灣社會研究季刊，(89)，241-249。https://doi.org/10.29816/TARQSS.201212.0010
- 許閎揚（2020）。An elementary proof of [3√n+3√n+1]=[3√8n+3]=[3√8n+4]。科學教育月刊，(435)，63-65。https://doi.org/10.6216/SEM.202012_(435).0005
- 陳佩勤（2016）。Fun with Math。四季兒童教育專刊，(45)，45-50。https://www.airitilibrary.com/Article/Detail?DocID=18166695-201601-201602220004-201602220004-45-50
- 黃士強（2021）。The Answer Wouldn't Be Right If the Question Is Wrong。鵝湖月刊，(554)，13-17。https://www.airitilibrary.com/Article/Detail?DocID=18133738-202108-202109100010-202109100010-13-17