2013-12-23から1日間の記事一覧

 Professor Masanao Ozawa, Known as the Proposer of the Ozawa's Inequality, Has Written a Paper on Lesniewski.

些細なことながら、個人的にちょっと意外で、少しばかり驚いたことを一つ。 小澤正直先生と言えば、量子力学における不確定性原理をめぐる「小澤の不等式」によって有名な先生です。この不等式に関する新たな事実の発見、確認について、news で報道されてい…

洋書: Hilbert, Logical Inferentialism, the Later Wittgenstein William Ewald and Wilfried Sieg eds. David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933, Springer, David Hilbert's Lectures on the Foundations of Math…