改めて言うまでもないが、以下に記すことは別段目新しいことではないし、何か深くて透徹した哲学的洞察が示されているものでもない。単なるメモである。 FregeのHume's Principleを用いて、この原理を基数の定義と見なすことにより、第二階の論理を使うこと…

Michael Sipser 『計算理論の基礎 [原著第2版] 1．オートマトンと言語』、太田和夫、田中圭介監訳、阿部正幸、植田広樹、藤岡淳、渡辺治訳、共立出版、2008年 新刊。全3巻中の第1巻目。2, 3巻は多分来月、再来月に順次購入すると思う。