1. 目前位置：

完整後設資料紀錄
DC 欄位值語言
dc.contributor.authorYang, Wen_US
dc.date.accessioned2014-12-08T15:42:28Z-
dc.date.available2014-12-08T15:42:28Z-
dc.date.issued2002-05-01en_US
dc.identifier.issn1016-2364en_US
dc.identifier.urihttp://hdl.handle.net/11536/28848-
dc.description.abstractToo 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.en_US
dc.language.isoen_USen_US
dc.subjectadditionen_US
dc.subjectalgorithm correctnessen_US
dc.subjectarithmeticen_US
dc.subjectdecimal additionen_US
dc.subjectdecimal notationen_US
dc.subjectlogicen_US
dc.subjectfoundation of mathematicsen_US
dc.titleWhy is 1+1=2?en_US
dc.typeArticleen_US
dc.identifier.journalJOURNAL OF INFORMATION SCIENCE AND ENGINEERINGen_US
dc.citation.volume18en_US
dc.citation.issue3en_US
dc.citation.spage425en_US
dc.citation.epage443en_US
dc.contributor.department資訊工程學系zh_TW
dc.contributor.departmentDepartment of Computer Scienceen_US
dc.identifier.wosnumberWOS:000176175900007-
dc.citation.woscount0-
顯示於類別：期刊論文


相關內容
Loading...