以下を終わり近くまで読み返す。 Peter Simons “The Next Best Thing to Sense in Begriffsschrift”, in: Frege: Sense and Reference One Hundred Years Later, Dordrecht, Kluwer Academic Publishers, 1995 読んだところまでを大雑把にまとめると、以下の…

Solomon Feferman “Tarski’s influence on computer science”, The invited lecture for the LICS 2005 meeting held in Chicago June 26-29, 2005 Tarski became recognized as one of the most important logicians of the 20th century through his many …