kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

2019-03-30から1日間の記事一覧

数学の証明の無駄の省き方 (LK におけるカット消去)

この数学知恵ノートでは, 数学の証明の無駄の省き方について, 数学基礎論の立場で, 紹介します. ここでは, 例として ZFC の公理系について論じますが, 他の形式的体系についても同様です. 実は, 数学では, ZFC から命題 A を証明した時に, その証明に無駄が…

中国語の勉強〜食べ物〜

中国語を勉強していて、なんか面白いと思ったこと。 スパゲッティを意味する中国語を、日本語に直訳すると、 『イタリア麺』 なるほどねえ。