SnO₂WMaN

Gödelの不完全性定理についてのきちんとした証明（可証性述語を与えるところまでの膨大な構成），Chaitinの不完全性定理，Quineからの流れによるGrzegorczykの算術を介さない不完全性証明，その他のパラドックスの形式化，証明可能性論理などの諸々の話題をTypstでメモ書きすることにした

github.com/SnO2WMaN/incomplete

1
SnO₂WMaN
フォロー

Typstの文書をGitHub Actionsでコンパイルして自動でGitHub Pagesにデプロイするアクションも組んだので，いつでも最新版を読むことが出来ます

sno2wman.github.io/incompleten

· · Web · 0 · 0 · 0
ログインして会話に参加
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。

トレンドタグ

リソース

開発者向け

Mastodon とは？

fedibird.com

さらに…