#25. 愛も思考も数式化できるか？ブールとフレーゲの挑戦【AI歴史編#5】
Failed to add items
Add to basket failed.
Add to Wish List failed.
Remove from Wish List failed.
Follow podcast failed
Unfollow podcast failed
#25. 愛も思考も数式化できるか？ブールとフレーゲの挑戦【AI歴史編#5】
-
Narrated by:
-
By:
About this listen
📖 内容
今回のエピソードでは、「AIという言葉が生まれる前」の歴史をさらに一歩進め、思考が“数式として扱えるようになった瞬間に焦点を当てます。
アリストテレスによる思考の形式化、スコラ哲学による普遍化、ライプニッツによる記号化を経て、
ついに19世紀、思考は「計算可能な構造」へと進化します。
その中心にいたのが、
ジョージ・ブールとゴットロープ・フレーゲ。
現代AIの基礎となる「論理」「計算」「表現」の骨格が、どのように築かれたのかを解き明かします。
① 思考はついに「計算できるもの」になった
ブールにより、論理（AND / OR / NOT）が数式として扱えるように
真偽（True / False）をベースにした「ブール代数」が誕生
思考＝操作可能な構造へ
② フレーゲが“意味のある論理”を完成させた
「すべての」「ある〜」といった量化概念を導入
関数・関係・命題を扱える体系へ拡張
「誰もが誰かを愛している」すら数式で表現可能に
③ 数式化された思考は、まだ“機械”には届かなかった
計算ルールは整備されたが、実行する装置が未成熟
数学・哲学と工学（機械）が分断されていた時代
④ それでも“コンピュータの原型”は動き始めていた
チャールズ・バベッジによる計算機構想
計算の自動化という別軸の進化が並行して進行
⑤ AIへつながる“決定的な橋渡し”が見えてくる
クロード・シャノンがブール代数を電気回路へ応用
0/1（ON/OFF）＝論理演算という対応関係が確立
ニューラルネットの原型（マカロック＆ピッツ）にも接続
⑥ なぜここからすぐAIにならなかったのか？
思考の数式化と、機械による実行が結びついていなかった
この“断絶”を埋めるのが次回：チューリングの登場
🔖 おすすめポイント
「思考＝計算」という現代AIの核心が理解できる
ブール代数とAIのつながりが直感的に掴める
哲学 → 数学 → 工学という進化の連鎖が見える
なぜAI誕生までに“あと50年必要だったのか”が腑に落ちる
次回「機械化編（チューリング）」への強力な導線
🎙️ パーソナリティ
ISHIKAWA @ISHIKAWA696736
浪花祐貴 @naniwan721