マカロック＝ピッツ・ニューロン
1943年に作られた数理的な神経細胞。二値の入力と閾値からなり、これを組んだネットワークがあらゆる論理命題を計算できることが証明された。
Warren McCulloch は神経生理学者で、Walter Pitts は独学の論理学者だった。二十代前半の Pitts を、McCulloch は自宅に迎え入れていた。二人の1943年の論文「神経活動に内在する観念の論理計算」は、神経細胞を大胆に単純化した。発火するかしないかの二択、つまり論理変数である。入力を合計して閾値と比べ、届けば発火する。抑制性の入力は絶対的な拒否権を持つ。重みも学習もなく、時間も離散的なステップだけだ。
要点は証明にあった。こうした素子から and、or、not が作れ、したがって命題論理のどんな命題も作れる。外部のテープにつなげば、チューリングマシンと同等になる。