tamamusi https://blog.hatena.ne.jp/tamamusi/ tamamusi’s diary https://tamamusi.hatenadiary.jp/ 朝のうち雨残るも、昼から晴れ。17℃〜24℃、69%。涼しくて過ごしやすい♪ 本郷方面に進出す： 落語と数学の競演つうのをやってたんす。新作落語の立川吉笑さんと数学の伝道師＠森田真生さん。それなりにおもすろかっただすぅ。吉祥さんの落語は哲学的で常識破り、森田さんは数の謎についての身体性からの解きほぐしでした。 森田はフレ―ゲやウィトゲンシュタイン、チューリングの業績を現代数学の見地から、分かり易く説明した。分かると操るを分離したのが現代数学で、前者は意味論、後者は構文論となる。いわゆるセマンティクスとシンタックスですね。そしてシンタックスのみで数学を位置付けようとしたのがフレ―ゲで、これはアル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftamamusi.hatenadiary.jp%2Fentry%2F20170902%2F1504354663" title="９月２日（土）禾乃登（穀物が実る頃）、お笑いと抽象とは。 - tamamusi’s diary" 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 2017-09-02 21:17:43 rich https://tamamusi.hatenadiary.jp/entry/20170902/1504354663 1.0 100%