Chapter 9 Reasoning: The Kalin-Burkhart — Logical-Truth Calculator
So far we have talked about mechanical brains that are mathematicians. They are fond of numbers; their main work is with numbers; and the other kinds of thinking they do are secondary. We now come to a mechanical brain that is a logician. It is fond of reasoning—logic; its main work is with what is logically true and what is logically false; and it does not handle numbers. This mechanical brain was finished in June 1947. It is called the Kalin-Burkhart Logical-Truth Calculator. As its name tells, it calculates logical truth. Now what do we mean by that?