nthrn https://blog.hatena.ne.jp/nthrn/ ひらのの日記 https://nthrn.hatenadiary.org/ memo 数日前、友人から、 「数学の記号の『 』ってどういう意味？」 と質問されました。 数学基礎論の授業でこの記号を見た覚えがあったので、「\vdash 基礎論」で google 検索をかけて、この記号が「証明可能」という意味だということを思い出したんだけど *1、これは結構ハードルが高い作業だと思います。 実際、「 」の意味をネットで検索するためには、 数式は TeX で書かれるのが一般的で 「」は TeX では「\vdash」と書くことで表示される ということが分かっていないと出来ないはずです。 (誰か、これ以外のアイデアでこの記号の意味を調べることが出来た人はいますか？) ぼくは前々から「数学… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnthrn.hatenadiary.org%2Fentry%2F20090121%2F1232494669" title=" 数学の記号 - ひらのの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-01-21 08:37:49 rich https://nthrn.hatenadiary.org/entry/20090121/1232494669 1.0 100%