第２回 関西日曜数学友の会

パヤシ @Paya_payashi

#kanmath02 哲学に数学を当てはめる。 なんか思想の鍔迫り合い始まりそう pic.twitter.com/Ct4GQEF1fr

拡大

Tomohiro Yamada@9/16-17つどい／10/10-10/13RIMS @tyamada1093

Hacking: これらは一般的な意味論や認識論からでる問いにすぎず、数学についての固有の哲学とは言えないという立場 #kanmath02

パヤシ @Paya_payashi

このご尊顔、数学ではじめて見たかも。 #kanmath02 pic.twitter.com/9D38IfhyCj

拡大

関西日曜数学 友の会 @kansai_nitimath

デカルト的な証明の理論と、ライプニッツ的な証明の理論がある。前者は色んな理論を頭に突っ込んでこれだと理解出来る、後者は論理の羅列。 後者は推論規則とかコンピュータで定理を証明しようとしてる話に思えますねえ。 #kanmath02

パヤシ @Paya_payashi

#kanmath02 科学で用いられる推論法を哲学で解釈。数学で用いられる思考法を別の分野のお言葉に変換する感じかな？🙄 pic.twitter.com/zByN0dOoeM

拡大

関西日曜数学 友の会 @kansai_nitimath

認知歴史学、歴史的な観点から認知。 #kanmath02

関西日曜数学 友の会 @kansai_nitimath

小平先生はプラトニズム論者だったのか。 #kanmath02

パヤシ @Paya_payashi

#kanmath02 二人目は超実数 pic.twitter.com/lS1P04wK13

拡大

関西日曜数学 友の会 @kansai_nitimath

一般講演が始まりました。 最初は、ロイロット博士で「超実数と距離空間」です。 #kanmath02

koushi @koushi_1214

超実数体ではアルキメデス性は不成立 #超実数と距離空間 #kanmath02

koushi @koushi_1214

超実数体は超積を用いて構成可能 #超実数と距離空間 #kanmath02

パヤシ @Paya_payashi

#kanmath02 「超」特盛の発表スライド pic.twitter.com/jhZBiMDE0T

拡大

パヤシ @Paya_payashi

#kanmath02 ロイロット博士の由来はNHK『シャーロックホームズ』に登場する教師かなぁ？

koushi @koushi_1214

f*は一意なのか？ #超実数と距離空間 #kanmath02

関西日曜数学 友の会 @kansai_nitimath

実数と超実数のイメージ図がすごい。 #kanmath02

パヤシ @Paya_payashi

#kanmath02 シンプルな世界観 pic.twitter.com/qbsfyKzZil

拡大

パヤシ @Paya_payashi

#kanmath02 ゆるい感じの数学会をイメージしてるんだけど皆さん結構ガチで数学やってますよね😅

関西日曜数学 友の会 @kansai_nitimath

二人目の発表は、宇佐見 公輔さんで「圏論とHaskell」です！ #kanmath02

関西日曜数学 友の会 @kansai_nitimath

圏の定義 #kanmath02 pic.twitter.com/y4R7k1cjjH

拡大

Tomohiro Yamada@9/16-17つどい／10/10-10/13RIMS @tyamada1093

対象が2つの圏 #kanmath02

koushi @koushi_1214

射gが逆なら圏になるのか？ #圏論とHaskell #kanmath02

koushi @koushi_1214

Haskellでは対象と射は何になるの？ #圏論とHaskell #kanmath02

関西日曜数学 友の会 @kansai_nitimath

引数が複数ある場合は射にならないので、１つの引数から引数を取り込んだ関数を返すようにすれば良いのか。なるほど。 #kanmath02

関西日曜数学 友の会 @kansai_nitimath

3人目の発表は、山田智宏さんで「結晶を不定方程式で解く」です。 #kanmath02

パヤシ @Paya_payashi

#kanmath02 結晶を不定方程式"で"解くという制限プレイみたいな発表 pic.twitter.com/vVvk6qhoZv

拡大