|
Who are Boole, Fitch, and Tarski?
Brief biographies of the logicians whose names appear in Barwise and Etchemendy's textbook Language, Proof and Logic.
http://www.ucalgary.ca/~rzach/279/logician...
|
Sub Topics:
|
Leibniz, Gottfried Wilhelm
|
|
Prior, Arthur Norman
|
|
Russell, Bertrand
|
|
Aristotle
|
|
Augustine of Hippo
|
|
McCarthy, John
|
|
Quine, Willard van Orman
|
|
Aquinas, Thomas
|
|
Husserl, Edmund
|
|
Wittgenstein, Ludwig
|
|
Cantor, Georg
|
|
Turing, Alan Mathison
|
|
Frege, Gottlob
|
|
Gödel, Kurt
|
|
Church, Alonzo
|
|
Boole, George
|
|
Peirce, Charles Sanders
|
|
Hilbert, David
|
|
Lukasiewicz, Jan
|
|
Tarski, Alfred
|
|
Post, Emil L.
|
|
Skolem, Thoralf
|
|
Bernays, Paul
|
|
Zermelo, Ernst
|
Related Topics:
|