• 新着
• 月別
• テーマ別
• アメンバー限定

• 僕の一日
• ヒューマンエラーのなくなる未来（下書き）
• お三方
• 【ダブルバインド】これとこれどっちが正しいのだろう？
• パソコンの設定
• 瞑想について
• Idrisでゲーデルの不完全性定理を証明しました。
• 不完全性定理をHaskellで
• 停止性問題をHaskellで
• コラッツ予想の新しい証明を考えました
• コラッツのループはあるとしてもとても長い
• サウナトランス　その3
• Agdaのインストール
• サウナトランス　その2
• サウナトランス
• コラッツ予想の証明を修正しました
• どうぶつしょうぎ
• 停止性問題から不完全性定理へ
• ゲーデルの不完全性定理のおすすめ記事
• ゲーデルの不完全性定理

• 1
• 2