Assorted Index for Uchii's Online Articles LOGIC and related fields

• Be Sensitive to the Form [Japanese] New
• Boole, George
• Brouwer, L.E.J.
• Cantor, Georg
• Carnap, Rudolf
• Decision Procedure [Japanese]
• Descartes's Analysis [Japanese]
• De Morgan, Augustus
• Famous logicians and philosophers of mathematics
• Frege, Gottlob
• Goedel, Kurt
• Goedel's Theorem New
• Halting Problem New
• Hilbert, David
• How to make a model [Japanese]
• Jevons, W.S.
• Leibniz, W.G.
• Mill, John Stuart
• Peirce, C.S.
• Quine, W.V.
• Ramsey, Frank
• Recursive definition [Japanese]
• Repetition, implicit or explicit?
• Ronri-jaku, or Logical Ruler
• Russell, Bertrand
• Sherlock Holmes and Probabilistic Induction
• Tarski, Alfred
• Tarski's Theorem New
• Turing, Alan
• A Turing Machine performing a Program New
• Venn, John
• von Neumann, John
• Which is right, Protagoras vs Euatholos [Japanese]

Last modified March 31, 2003. (c) Soshichi Uchii

suchii@bun.kyoto-u.ac.jp