howm wiki - 不完全性定理
This Wiki is frozen. Use GitHub for reports, discussions, etc. 不完全性定理のLisp, Mathematicaによる記述 の ゲーデルの証明 が理解できませんでした(is-unprovable なんて「実装」できるわけないやん). そこで, 「こんな解釈なのかなあ?」というメモを晒してみます. 口調は解説風ですが山勘で書いているだけですから, つっこみをお待ちしています. (理解のあやしさは, 同趣旨のモナドと比べてもずっとひどいです) ※ lisp と言いつつ文法が scheme 風なのは, 私の趣味 仮想言語 lisp+ 一般に, 論理式を S 式に翻訳して表現することができます. a∨b …… (or a b) ¬(a∨b) → (¬a)∧(¬b) …… (imply (not (or a b)) (and (not a
howm: Hitori Otegaru Wiki Modoki
English howm: 一人お手軽 Wiki もどき Emacs で断片的なメモをどんどんとるための環境です. 分類機能はあえてつけません. かわりに, 全文検索とメモ間リンクが手軽にできるようにしました. 自由書式なので改宗も不要 :-) ダウンロード: 1.5.0 (更新記録) [2022-12-27] 使い方: UNIX USER 誌の記事 / チュートリアル / 詳細 / → いろいろ(howm wiki) → Meadow memo での紹介 ( バグの指摘をくださる方へ / ChangeLog Memo と howm ) スナップショット版 / git (https://github.com/kaorahi/howm.git) 旧版: 1.4.8 / 1.3.9.2 / 1.3.2 / 1.2.4 / 1.2.1 / 1.1.2.1 / 1.1.1.3 / 1.1.0.4
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
