The Origins of Cyberspace collection described as lots 1-255 will first be offered as a single lot, subject to a reserve price. If this price is not reached, the collection will be immediately offered as individual lots as described in the catalogue as lots 1-255.
QUINE, Willard Van Orman (1908-2000). (1) "The problem of simplifying truth functions." In The American Mathematical Monthly 59 (October 1952): 521-31. Original blue printed wrappers. (2) "A way to simplify truth functions." In The American Mathematical Monthly 62 (November 1955): 627-31. Original blue printed wrappers. Together two items, boxed.
Details
QUINE, Willard Van Orman (1908-2000). (1) "The problem of simplifying truth functions." In The American Mathematical Monthly 59 (October 1952): 521-31. Original blue printed wrappers. (2) "A way to simplify truth functions." In The American Mathematical Monthly 62 (November 1955): 627-31. Original blue printed wrappers. Together two items, boxed.
These two papers represent the basis of the Quine-McCluskey method, a means of simplifying Boolean expressions. The method is used in the computing field to automate the design of logical circuits and chips so as to minimize the number of gates or interconnections. Quine, one of the most influential American philosophers and logicians of the twentieth century, described the method as follows: "I do not do anything with computers, although one of my little results in mathematical logic has become a tool of the computer theory, the Quine McCluskey principle. And corresponds to terminals in series, or to those in parallel, so that if you simplify mathematical logical steps, you have simplified your wiring. I arrived at it not from an interest in computers, but as a pedagogical device, a slick way of introducing that way of teaching mathematical logic" (quoted in https://www-history.mcs.st-and.ac.uk/history/Mathematicians/Quine.html). OOC 845.
These two papers represent the basis of the Quine-McCluskey method, a means of simplifying Boolean expressions. The method is used in the computing field to automate the design of logical circuits and chips so as to minimize the number of gates or interconnections. Quine, one of the most influential American philosophers and logicians of the twentieth century, described the method as follows: "I do not do anything with computers, although one of my little results in mathematical logic has become a tool of the computer theory, the Quine McCluskey principle. And corresponds to terminals in series, or to those in parallel, so that if you simplify mathematical logical steps, you have simplified your wiring. I arrived at it not from an interest in computers, but as a pedagogical device, a slick way of introducing that way of teaching mathematical logic" (quoted in https://www-history.mcs.st-and.ac.uk/history/Mathematicians/Quine.html). OOC 845.
Further details
For further information about The Origins of Cyberspace Library and to view the reference catalogue, please visit https://www.historyofscience.com.