Togetter - 国内最大級のTwitterまとめメディア - Togetter
まとめる
ログイン / 会員登録
トップ
ランキング
オリジナル
クチコミ
注目
今週の人気
新着まとめ
復活
Twilogを統合
イチオシ
編集部厳選!
y.
@waidotto
フォローしている
フォローされている
ブロックする
数理論理学(数学基礎論)と群論,数論.計算可能性理論と形式言語理論,モデル理論.詳細はURL参照.
iso.2022.jp
フォローする
まとめ
5
お気に入り
1
コメント
2
数学
kansaimath
関西すうがく徒のつどい
kantomath
関東すうがく徒のつどい
作成日の新しい順
作成日の古い順
更新日の新しい順
更新日の古い順
View数の多い順
View数の少ない順
タイトル順(A->Z)
タイトル逆順(Z->A)
【第12回関西すうがく徒のつどい2日目】Friedberg-Muchnikの定理と有限害優先論法 #kansaimath
1624
pv
14
更新 2019年10月29日
作成 2019年10月27日
【第3回関東すうがく徒のつどい2日目】2018年の決定不能問題ギャラリーを振り返る #kantomath
1773
pv
3
2019年3月30日
【第11回関西すうがく徒のつどい2日目】有限オートマトンとPresburger算術 #kansaimath
1505
pv
2018年10月28日
【第10回関西すうがく徒のつどい1日目】決定不能問題の話 #kansaimath
1924
pv
8
2017年9月16日
メタ定理の証明はどこでなされているか?
9678
pv
11
1 user
2016年6月17日
1
いま話題のタグ
アニメ
47497
艦これ
9022
ファッション
3720
プラモデル
1859
古塔つみ
16
ゼルダの伝説
246
ニンゲンのせい
8
DAIGO
152
子猫
274
資本主義
224
骨格診断
11
防犯
327
システムエンジニア
50
エルフ
228
古谷徹
29