Amazon.co.jp: 人工市場 (相互作用科学シリーズ): 和泉潔: 本
π-calculus - Wikipedia
In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation. The π-calculus has few terms and is a small, yet expressive language (see § Syntax). Functional prog
ゲーデルの不完全性定理について少し補足 - kururu_goedel’s diary
えーと、この前のひどい言われようですが - くるるの数学ノートでid:roi_dantonさんがbewaadさんのところにつけたコメントでのゲーデルの不完全性定理の使われ方についてコメントしたわけですが(なんだこの読みにくい文は！）。読み返してみると削りすぎて本来言おうとしたことが完全になくなってしまっている(爆)ので、ちょっと補足しておきます。 ゲーデルの第一不完全性定理は以下のように表せます。 公理系Γが 自然数論を含み 帰納的に定義可能な ときには、論理式φで、Γからφも¬φも証明できないようなものが存在する。 いや、まあ厳密じゃないですが。第一が「証明って何よ」ってことをきちんとやらなければどうしようもないわけで。とりあえずってことで。 私が気にしているのはΓが満たさなければいけない二つの条件のことです。 自然数論 ここでの自然数論というのは、自然数全体の集合にに足し算と掛け算とい
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: 計算機シミュレーションのための確率分布乱数生成法: 四辻哲章: 本
＜プログラマー＞………“譜師”“函譜師”“譜家”おま訳“算譜師”引用訳 - おまえなんか、訳してやる！
http://www.ueda.info.waseda.ac.jp/~takashi/kakehi.html
JRF の私見：雑記