谷口一平 A.k.a.hani-an @Taroupho
TANI_Röhei⚡ 令和の鄙儒、赤羽七賢の一、号して赭埴庵映士。 📌独立哲学者 / 不登校中卒ニート哲学修士・NPO哲学道場(活動歴18年以上) 📌文学・数学(Logic)・プログラミング(Perl) / 群発頭痛・強迫性障害(OCD) 📌単著準備中・『新紀要』同人共宰 @shinkiyou_
-
Springerから本が色々無料DLできるようになったらしい
109215pv 766 279 users 459 -
「無矛盾を表す文」とクライゼルの注意について
5367pv 2 2 users -
mr_konn氏による決定性公理オフ実況
8380pv 18 1 user
-
あみだくじと群論(あるいは一刻館に関する考察)
9189pv 8 2 -
2chの数学徒を観察するトゥギャ
23285pv 32 1 user -
数学クラスタ殺人事件
7050pv 40 1 user -
「x,y,zを自然数とする。このとき、x=3ならばy=5になる。あるいは、y=5ならばz=8になる」をめぐって
16704pv 124 36 users 9 -
アルファベット変数割当
9993pv 5 1 user -
法を砲に変えて一番強そうなアルゴリズムが優勝
3252pv 25 -
標準的自然数と超自然数
6136pv 4 1 user -
非可算順序数の順序位相が距離づけ不可能であること
6219pv 10 2 users -
ブルバキの論理体系と「選択公理」
10371pv 39 7 users 1 -
パラドックスをパラドックスのまま寓話にされても、という話
13922pv 128 39 users -
岩波講座 基礎おっぱい数学
5952pv 82 3 users -
選択公理ちゃんマジ公理
39797pv 60 5 users 4 -
集合論のオススメ教科書からゲーデルTLまで
26311pv 27 36 users