Symbolic Computation
摘要
Numbers are the basis of computations, but computations are realized through numerals, which are symbolic structures. Computing with symbolic structures without any arithmetical interpretation is the topic of computability. Python programs for these systems are given in this chapter.