トップ 2013年 3月 24日 2013年3月24日 mr_konn氏による決定性公理オフ実況 3/23日に行われた「帰ってきた決定性公理オフ」の、@mr_konn氏による実況です。思ったより決定性公理の話がちゃんと出てきていた。 選択公理 ゲーデル 数学の哲学 決定性公理 数学 基礎論 tomcru_ 8331 3 1 0 15 ツイート 3 いいね!0 前へ 1 ・・ 9 10 スマートコン @mr_konn しかし PCF ってすごい名前だな #ad_off 2013-03-23 18:58:07 スマートコン @mr_konn というところで決定性公理、押しに押して終了〜〜〜!!!! 続きは懇親会で! #ad_off 2013-03-23 18:58:45 スマートコン @mr_konn 東大の夜桜がすごい!!! http://t.co/8tWNsIk7Iv 2013-03-23 19:08:56 拡大 前へ 1 ・・ 9 10