X-Nico

unusual facts about Emil Post



Euler diagram

Thus the matter would rest until 1952 when Maurice Karnaugh (1924– ) would adapt and expand a method proposed by Edward W. Veitch; this work would rely on the truth table method precisely defined in Emil Post's 1921 PhD thesis "Introduction to a general theory of elementary propositions" and the application of propositional logic to switching logic by (among others) Claude Shannon, George Stibitz, and Alan Turing.

Post canonical system

Emil Post, "Formal Reductions of the General Combinatorial Decision Problem," American Journal of Mathematics 65 (2): 197-215, 1943.


see also