返回Google圖書搜尋

Variables in Mathematics and Computer Science

出版	University of Warwick, Department of Computer Science, 1989
URL	http://books.google.com.hk/books?id=UznzMgEACAAJ&hl=&source=gbs_api

註釋Abstract: "There are a wide variety of uses of variables in mathematics which we cope with in practice through various conventions and tacit assumptions. Experience with computers has made us articulate, criticise and develop these assumptions much more carefully. Historically the term 'variable' (or 'variable quantity') was introduced in the context of describing and calculating changing quantities which corresponded to phenomena in the observable world ([e.g.,] the velocity, or fluxion, of a body moving under the inverse square law). The evolution of the concept, and its modern use ([e.g.,] in a first order formal language), has divorced it from these 'roots of reference' and required us to establish the apparatus of interpretation and valuation before being able to deal with change in the 'real world'.