定義について学ぶために以下を読む。 A.タルスキ 「真理の意味論的観点と意味論の基礎」 同上 「真と証明」 今回再び読んでみて感じたことは、タルスキの真理述語の定義に際しては、いわゆるT型の同値文の個別例において使われている同値記号は、多分少なく…

Michiel Hazewinkel ‘David Hilbert, Paper on ‘Mathematical Problems’(1901)’ I.Grattan-Guinness ‘A.N.Whitehead and Bertrand Russell, Principia Mathematica, First Edition(1910-1913)’ ともにGrattan-Guinness編最新刊から。 この2本目のPM解説にはP…