#25. 愛も思考も数式化できるか？ブールとフレーゲの挑戦【AI歴史編#5】 cover art

#25. 愛も思考も数式化できるか？ブールとフレーゲの挑戦【AI歴史編#5】

#25. 愛も思考も数式化できるか？ブールとフレーゲの挑戦【AI歴史編#5】

Listen for free

View show details

About this listen

📖 内容
今回のエピソードでは、「AIという言葉が生まれる前」の歴史をさらに一歩進め、思考が“数式として扱えるようになった瞬間に焦点を当てます。

アリストテレスによる思考の形式化、スコラ哲学による普遍化、ライプニッツによる記号化を経て、
ついに19世紀、思考は「計算可能な構造」へと進化します。

その中心にいたのが、
ジョージ・ブールとゴットロープ・フレーゲ。

現代AIの基礎となる「論理」「計算」「表現」の骨格が、どのように築かれたのかを解き明かします。

① 思考はついに「計算できるもの」になった

  • ブールにより、論理（AND / OR / NOT）が数式として扱えるように

  • 真偽（True / False）をベースにした「ブール代数」が誕生

  • 思考＝操作可能な構造へ

② フレーゲが“意味のある論理”を完成させた

  • 「すべての」「ある〜」といった量化概念を導入

  • 関数・関係・命題を扱える体系へ拡張

  • 「誰もが誰かを愛している」すら数式で表現可能に

③ 数式化された思考は、まだ“機械”には届かなかった

  • 計算ルールは整備されたが、実行する装置が未成熟

  • 数学・哲学と工学（機械）が分断されていた時代

④ それでも“コンピュータの原型”は動き始めていた

  • チャールズ・バベッジによる計算機構想

  • 計算の自動化という別軸の進化が並行して進行

⑤ AIへつながる“決定的な橋渡し”が見えてくる

  • クロード・シャノンがブール代数を電気回路へ応用

  • 0/1（ON/OFF）＝論理演算という対応関係が確立

  • ニューラルネットの原型（マカロック＆ピッツ）にも接続

⑥ なぜここからすぐAIにならなかったのか？

  • 思考の数式化と、機械による実行が結びついていなかった

  • この“断絶”を埋めるのが次回：チューリングの登場

🔖 おすすめポイント

  • 「思考＝計算」という現代AIの核心が理解できる

  • ブール代数とAIのつながりが直感的に掴める

  • 哲学 → 数学 → 工学という進化の連鎖が見える

  • なぜAI誕生までに“あと50年必要だったのか”が腑に落ちる

  • 次回「機械化編（チューリング）」への強力な導線

🎙️ パーソナリティ
ISHIKAWA　@ISHIKAWA696736
浪花祐貴　@naniwan721
No reviews yet