Comments on: Elements of Programming http://www.mcjones.org/dustydecks/archives/2009/06/20/104/ Preserving historic software Sat, 26 Jun 2010 10:50:54 +0000 http://wordpress.org/?v=2.9 hourly 1 By: Paul McJones http://www.mcjones.org/dustydecks/archives/2009/06/20/104/comment-page-1/#comment-104442 Paul McJones Mon, 01 Mar 2010 17:54:36 +0000 http://www.mcjones.org/dustydecks/?p=104#comment-104442 Gene, You are of course correct. In the book, we introduce the notion of a partial model of a theory, such as integers of a given word size. Paul Gene,

You are of course correct. In the book, we introduce the notion of a partial model of a theory, such as integers of a given word size.

Paul

]]> By: Eugene Miya http://www.mcjones.org/dustydecks/archives/2009/06/20/104/comment-page-1/#comment-104441 Eugene Miya Mon, 01 Mar 2010 17:44:51 +0000 http://www.mcjones.org/dustydecks/?p=104#comment-104441 Actually, floating point addition in computers isn't associative. Algebraically it is associative, but the results of each addition will be dependent on the size and sign of the numbers being added. It's associative on integers only for the range of integers on a given memory word size these days Actually, floating point addition in computers isn’t associative. Algebraically it is associative, but the results of each addition will be dependent on the size and sign of the numbers being added. It’s associative on integers only for the range of integers on a given memory word size these days

]]>