スペンサー・ブラウンなんていらない
スペンサー・ブラウンなんていらない 黒木 玄 最終更新：2001年2月4日 (作成：2000年10月19日) 危ないスペンサー・ブラウンに関するリンク集／花野報告へのコメント 目次 批判全体の要約 掲示板上で行なわれた解説 ガードナーとクヌースとコンウェイによる最低の評価 数学ゲームからの抜粋 コンウェイのコメント 1970年代のスペンサー・ブラウン 『形式の法則』受容の歴史 批判全体の要約 A. George Spencer-Brown 著の『形式の法則』における primary arithmetic と primary algebra の理論は古典命題論理もしくはブール代数の理論の風変わりな記号法による再構成に過ぎない。『形式の法則』における re-entry の導入は、組み合わせ論理回路 (ブール代数の理論で扱える) を内部にフィードバックを含む順序論理回路に一般化することに対応して
Open Logic Project
The Open Logic Project is a collection of teaching materials on mathematical logic aimed at a non-mathematical audience, intended for use in advanced logic courses as taught in many philosophy departments. It is open-source: you can download the LaTeX code. It is open: you’re free to change it whichever way you like, and share your changes. It is collaborative: a team of people is working on it, u
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
NumPy reference — NumPy v2.1 Manual
