Enviar pesquisa
Carregar
数学的帰納法は帰納ではない?
•
15 gostaram
•
16,955 visualizações
N
nishio
Seguir
Mathematical Induction
Leia menos
Leia mais
Educação
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 22
Baixar agora
Baixar para ler offline
Recomendados
入門ClojureScript
入門ClojureScript
sohta
#02-01 ZFS によるストレージ仮想化 (2012-04-20)
#02-01 ZFS によるストレージ仮想化 (2012-04-20)
SolarisJPNight
頑張りすぎないScala
頑張りすぎないScala
takezoe
Spark Performance Tuning .pdf
Spark Performance Tuning .pdf
Amit Raj
そのRails Engine、 本当に必要ですか?
そのRails Engine、 本当に必要ですか?
nixiesan
いまさら聞けないselectあれこれ
いまさら聞けないselectあれこれ
lestrrat
静的解析を使った開発ツールの開発
静的解析を使った開発ツールの開発
Takuya Ueda
4年前にRustで新規プロダクトを?!枯れてない技術の採択にまつわるエトセトラ:developers summit 2023 10-d-8
4年前にRustで新規プロダクトを?!枯れてない技術の採択にまつわるエトセトラ:developers summit 2023 10-d-8
Yusuke Mori
Recomendados
入門ClojureScript
入門ClojureScript
sohta
#02-01 ZFS によるストレージ仮想化 (2012-04-20)
#02-01 ZFS によるストレージ仮想化 (2012-04-20)
SolarisJPNight
頑張りすぎないScala
頑張りすぎないScala
takezoe
Spark Performance Tuning .pdf
Spark Performance Tuning .pdf
Amit Raj
そのRails Engine、 本当に必要ですか?
そのRails Engine、 本当に必要ですか?
nixiesan
いまさら聞けないselectあれこれ
いまさら聞けないselectあれこれ
lestrrat
静的解析を使った開発ツールの開発
静的解析を使った開発ツールの開発
Takuya Ueda
4年前にRustで新規プロダクトを?!枯れてない技術の採択にまつわるエトセトラ:developers summit 2023 10-d-8
4年前にRustで新規プロダクトを?!枯れてない技術の採択にまつわるエトセトラ:developers summit 2023 10-d-8
Yusuke Mori
ドメイン駆動設計入門
ドメイン駆動設計入門
増田 亨
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Webアプリを並行開発する際のマイグレーション戦略
Webアプリを並行開発する際のマイグレーション戦略
Takayuki Shimizukawa
Domain Modeling Made Functional (DevTernity 2022)
Domain Modeling Made Functional (DevTernity 2022)
Scott Wlaschin
パーソナル履歴データに対する匿名化と再識別:SCIS2017
パーソナル履歴データに対する匿名化と再識別:SCIS2017
Hiroshi Nakagawa
3週連続DDDその2 深いモデルの探求(ドメイン駆動設計 第3部)
3週連続DDDその2 深いモデルの探求(ドメイン駆動設計 第3部)
増田 亨
DDDはオブジェクト指向を利用してどのようにメンテナブルなコードを書くか
DDDはオブジェクト指向を利用してどのようにメンテナブルなコードを書くか
Koichiro Matsuoka
Go入門
Go入門
Takuya Ueda
左と右の話
左と右の話
Cryolite
WASM(WebAssembly)入門 ペアリング演算やってみた
WASM(WebAssembly)入門 ペアリング演算やってみた
MITSUNARI Shigeo
Laravel × レイヤードアーキテクチャを実践して得られた知見と反省 / Practice of Laravel with layered archi...
Laravel × レイヤードアーキテクチャを実践して得られた知見と反省 / Practice of Laravel with layered archi...
Shohei Okada
ZeroFormatterに見るC#で最速のシリアライザを作成する100億の方法
ZeroFormatterに見るC#で最速のシリアライザを作成する100億の方法
Yoshifumi Kawai
Scala の関数型プログラミングを支える技術
Scala の関数型プログラミングを支える技術
Naoki Aoyama
あなたが知らない リレーショナルモデル
あなたが知らない リレーショナルモデル
Mikiya Okuno
第6回jduc勉強会 dynamics 365 新機能 外部apiと連携できる仮想エンティティの活用方法
第6回jduc勉強会 dynamics 365 新機能 外部apiと連携できる仮想エンティティの活用方法
Kazuya Sugimoto
Firebase Authを Nuxt + Railsの自前サービス に導入してみた
Firebase Authを Nuxt + Railsの自前サービス に導入してみた
Tomoe Sawai
MySQLとPostgreSQLの基本的な実行プラン比較
MySQLとPostgreSQLの基本的な実行プラン比較
Shinya Sugiyama
世界一わかりやすいClean Architecture
世界一わかりやすいClean Architecture
Atsushi Nakamura
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
Yoshifumi Kawai
Linked Data (再)入門
Linked Data (再)入門
National Institute of Informatics (NII)
Introduction to Neural Turning Machine
Introduction to Neural Turning Machine
WEBFARMER. ltd.
Connect_GANs_Actor-Critic
Connect_GANs_Actor-Critic
WEBFARMER. ltd.
Mais conteúdo relacionado
Mais procurados
ドメイン駆動設計入門
ドメイン駆動設計入門
増田 亨
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Webアプリを並行開発する際のマイグレーション戦略
Webアプリを並行開発する際のマイグレーション戦略
Takayuki Shimizukawa
Domain Modeling Made Functional (DevTernity 2022)
Domain Modeling Made Functional (DevTernity 2022)
Scott Wlaschin
パーソナル履歴データに対する匿名化と再識別:SCIS2017
パーソナル履歴データに対する匿名化と再識別:SCIS2017
Hiroshi Nakagawa
3週連続DDDその2 深いモデルの探求(ドメイン駆動設計 第3部)
3週連続DDDその2 深いモデルの探求(ドメイン駆動設計 第3部)
増田 亨
DDDはオブジェクト指向を利用してどのようにメンテナブルなコードを書くか
DDDはオブジェクト指向を利用してどのようにメンテナブルなコードを書くか
Koichiro Matsuoka
Go入門
Go入門
Takuya Ueda
左と右の話
左と右の話
Cryolite
WASM(WebAssembly)入門 ペアリング演算やってみた
WASM(WebAssembly)入門 ペアリング演算やってみた
MITSUNARI Shigeo
Laravel × レイヤードアーキテクチャを実践して得られた知見と反省 / Practice of Laravel with layered archi...
Laravel × レイヤードアーキテクチャを実践して得られた知見と反省 / Practice of Laravel with layered archi...
Shohei Okada
ZeroFormatterに見るC#で最速のシリアライザを作成する100億の方法
ZeroFormatterに見るC#で最速のシリアライザを作成する100億の方法
Yoshifumi Kawai
Scala の関数型プログラミングを支える技術
Scala の関数型プログラミングを支える技術
Naoki Aoyama
あなたが知らない リレーショナルモデル
あなたが知らない リレーショナルモデル
Mikiya Okuno
第6回jduc勉強会 dynamics 365 新機能 外部apiと連携できる仮想エンティティの活用方法
第6回jduc勉強会 dynamics 365 新機能 外部apiと連携できる仮想エンティティの活用方法
Kazuya Sugimoto
Firebase Authを Nuxt + Railsの自前サービス に導入してみた
Firebase Authを Nuxt + Railsの自前サービス に導入してみた
Tomoe Sawai
MySQLとPostgreSQLの基本的な実行プラン比較
MySQLとPostgreSQLの基本的な実行プラン比較
Shinya Sugiyama
世界一わかりやすいClean Architecture
世界一わかりやすいClean Architecture
Atsushi Nakamura
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
Yoshifumi Kawai
Linked Data (再)入門
Linked Data (再)入門
National Institute of Informatics (NII)
Mais procurados
(20)
ドメイン駆動設計入門
ドメイン駆動設計入門
関数プログラミング入門
関数プログラミング入門
Webアプリを並行開発する際のマイグレーション戦略
Webアプリを並行開発する際のマイグレーション戦略
Domain Modeling Made Functional (DevTernity 2022)
Domain Modeling Made Functional (DevTernity 2022)
パーソナル履歴データに対する匿名化と再識別:SCIS2017
パーソナル履歴データに対する匿名化と再識別:SCIS2017
3週連続DDDその2 深いモデルの探求(ドメイン駆動設計 第3部)
3週連続DDDその2 深いモデルの探求(ドメイン駆動設計 第3部)
DDDはオブジェクト指向を利用してどのようにメンテナブルなコードを書くか
DDDはオブジェクト指向を利用してどのようにメンテナブルなコードを書くか
Go入門
Go入門
左と右の話
左と右の話
WASM(WebAssembly)入門 ペアリング演算やってみた
WASM(WebAssembly)入門 ペアリング演算やってみた
Laravel × レイヤードアーキテクチャを実践して得られた知見と反省 / Practice of Laravel with layered archi...
Laravel × レイヤードアーキテクチャを実践して得られた知見と反省 / Practice of Laravel with layered archi...
ZeroFormatterに見るC#で最速のシリアライザを作成する100億の方法
ZeroFormatterに見るC#で最速のシリアライザを作成する100億の方法
Scala の関数型プログラミングを支える技術
Scala の関数型プログラミングを支える技術
あなたが知らない リレーショナルモデル
あなたが知らない リレーショナルモデル
第6回jduc勉強会 dynamics 365 新機能 外部apiと連携できる仮想エンティティの活用方法
第6回jduc勉強会 dynamics 365 新機能 外部apiと連携できる仮想エンティティの活用方法
Firebase Authを Nuxt + Railsの自前サービス に導入してみた
Firebase Authを Nuxt + Railsの自前サービス に導入してみた
MySQLとPostgreSQLの基本的な実行プラン比較
MySQLとPostgreSQLの基本的な実行プラン比較
世界一わかりやすいClean Architecture
世界一わかりやすいClean Architecture
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
CEDEC 2018 最速のC#の書き方 - C#大統一理論へ向けて性能的課題を払拭する
Linked Data (再)入門
Linked Data (再)入門
Destaque
Introduction to Neural Turning Machine
Introduction to Neural Turning Machine
WEBFARMER. ltd.
Connect_GANs_Actor-Critic
Connect_GANs_Actor-Critic
WEBFARMER. ltd.
The introduction to FRMQN model
The introduction to FRMQN model
WEBFARMER. ltd.
Introduction to Prioritized Experience Replay
Introduction to Prioritized Experience Replay
WEBFARMER. ltd.
BLUE*アルゴリズム
BLUE*アルゴリズム
nishio
introduction to Dueling network
introduction to Dueling network
WEBFARMER. ltd.
ディープラーニング・ハンズオン勉強会161229
ディープラーニング・ハンズオン勉強会161229
WEBFARMER. ltd.
Introduction to YOLO detection model
Introduction to YOLO detection model
WEBFARMER. ltd.
introduce to Multimodal Deep Learning for Robust RGB-D Object Recognition
introduce to Multimodal Deep Learning for Robust RGB-D Object Recognition
WEBFARMER. ltd.
Destaque
(9)
Introduction to Neural Turning Machine
Introduction to Neural Turning Machine
Connect_GANs_Actor-Critic
Connect_GANs_Actor-Critic
The introduction to FRMQN model
The introduction to FRMQN model
Introduction to Prioritized Experience Replay
Introduction to Prioritized Experience Replay
BLUE*アルゴリズム
BLUE*アルゴリズム
introduction to Dueling network
introduction to Dueling network
ディープラーニング・ハンズオン勉強会161229
ディープラーニング・ハンズオン勉強会161229
Introduction to YOLO detection model
Introduction to YOLO detection model
introduce to Multimodal Deep Learning for Robust RGB-D Object Recognition
introduce to Multimodal Deep Learning for Robust RGB-D Object Recognition
Mais de nishio
量子アニーリングマシンのプログラミング
量子アニーリングマシンのプログラミング
nishio
夏プロ報告
夏プロ報告
nishio
ITと経営
ITと経営
nishio
部分観測モンテカルロ計画法を用いたガイスターAI
部分観測モンテカルロ計画法を用いたガイスターAI
nishio
交渉力について
交渉力について
nishio
If文から機械学習への道
If文から機械学習への道
nishio
組織横断型研究室構想
組織横断型研究室構想
nishio
2017首都大学東京情報通信特別講義
2017首都大学東京情報通信特別講義
nishio
強化学習その5
強化学習その5
nishio
良いアイデアを出すための方法
良いアイデアを出すための方法
nishio
強化学習その4
強化学習その4
nishio
強化学習その3
強化学習その3
nishio
強化学習その2
強化学習その2
nishio
強化学習その1
強化学習その1
nishio
線形?非線形?
線形?非線形?
nishio
機械学習キャンバス0.1
機械学習キャンバス0.1
nishio
首都大学東京「情報通信特別講義」2016年西尾担当分
首都大学東京「情報通信特別講義」2016年西尾担当分
nishio
勾配降下法の最適化アルゴリズム
勾配降下法の最適化アルゴリズム
nishio
Wifiで位置推定
Wifiで位置推定
nishio
ESP8266EXで位置推定
ESP8266EXで位置推定
nishio
Mais de nishio
(20)
量子アニーリングマシンのプログラミング
量子アニーリングマシンのプログラミング
夏プロ報告
夏プロ報告
ITと経営
ITと経営
部分観測モンテカルロ計画法を用いたガイスターAI
部分観測モンテカルロ計画法を用いたガイスターAI
交渉力について
交渉力について
If文から機械学習への道
If文から機械学習への道
組織横断型研究室構想
組織横断型研究室構想
2017首都大学東京情報通信特別講義
2017首都大学東京情報通信特別講義
強化学習その5
強化学習その5
良いアイデアを出すための方法
良いアイデアを出すための方法
強化学習その4
強化学習その4
強化学習その3
強化学習その3
強化学習その2
強化学習その2
強化学習その1
強化学習その1
線形?非線形?
線形?非線形?
機械学習キャンバス0.1
機械学習キャンバス0.1
首都大学東京「情報通信特別講義」2016年西尾担当分
首都大学東京「情報通信特別講義」2016年西尾担当分
勾配降下法の最適化アルゴリズム
勾配降下法の最適化アルゴリズム
Wifiで位置推定
Wifiで位置推定
ESP8266EXで位置推定
ESP8266EXで位置推定
Último
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
koheioishi1
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
Tokyo Institute of Technology
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
yuitoakatsukijp
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
Takayuki Itoh
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ssusere0a682
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
YukiTerazawa
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ssusere0a682
Último
(7)
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
生成AIの回答内容の修正を課題としたレポートについて:お茶の水女子大学「授業・研究における生成系AIの活用事例」での講演資料
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習106 -価格の交渉ゲーム-#ゲーム理論 #gametheory #数学
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
数学的帰納法は帰納ではない?
1.
数学的帰納法は 帰納ではない? 西尾泰和 114年8月7日木曜日
2.
数学的帰納法 • 「数学的帰納法は帰納ではなくて演繹」 という言葉がひとり歩きしている感が あるので整理してみました 214年8月7日木曜日
3.
演繹の例 • ソクラテスは人である • すべての人は死ぬ •
よって、ソクラテスも死ぬ 314年8月7日木曜日
4.
一般化 特殊化 ソクラテスは人 ソクラテスは死ぬ すべての人は死ぬ 一般的な命題から特殊化を行っている 414年8月7日木曜日
5.
帰納の例 • ソクラテスは人であり、死ぬ • プラトンは人であり、死ぬ •
よって、すべての人はいつか死ぬ 514年8月7日木曜日
6.
一般化 特殊化 ソ=人かつ死ぬ プ=人かつ死ぬ すべての人は死ぬ 特殊な命題から一般化している 614年8月7日木曜日
7.
数学的帰納法 • 1: P(1)は真である •
2: P(k)が真の時P(k+1)も真 • 3: 1に2を無限回適用することで 「P(1)かつP(2)かつP(3)かつ… が真」 • よって任意の自然数nについてP(n)が真 714年8月7日木曜日
8.
一般化 特殊化 P(1) P(2) P(k)→P(k+1) ここは演繹 814年8月7日木曜日
9.
一般化 特殊化 P(1) P(2) P(k)→P(k+1) P(3)
P(4) 演繹を無限に繰り返し… 914年8月7日木曜日
10.
一般化 特殊化 P(1) P(2)
P(3) P(4) 得られた個別の命題から… P(5) P(6) 1014年8月7日木曜日
11.
一般化 特殊化 P(1) P(2)
P(3) P(4) 得られた個別の命題から帰納によって一般化 P(5) P(6) すべての自然数nについてP(n) 1114年8月7日木曜日
12.
数学的帰納法 • 1: 演繹を無限回繰り返すことで 全対象についての命題を網羅し •
2: そこから帰納で全称命題を導く手法 →演繹と帰納を組み合わせた手法 1214年8月7日木曜日
13.
よくある疑問 • 演繹は論理的に正しい • 帰納は論理的に正しくない •
数学は論理的に正しい • よって数学は演繹だけから構成されてい るのでは? 1314年8月7日木曜日
14.
ポアンカレ • 1906年「科学と仮説」でこの問題を考察した • 「数学が演繹でないなら、なぜ正しい結果が 得られるのか?数学が演繹なら、なぜ新しい 一般化された命題が得られるのか?」(要約*) *
以下同様 1414年8月7日木曜日
15.
ポアンカレ • 出直し法*(proof by
recurrence)による加算の 結合性の証明を実例として紹介 • 「物理的な帰納法は我々の外にある秩序への 信念に基いているので、不正確。一方、数学 的な帰納法(出直し法)はそうではない」 • 「両者は異なる基礎に基づくが、同じ向き、 特殊から一般へと進んでいる。」 * 今で言う数学的帰納法は、パスカルによる出直し法が起源 1514年8月7日木曜日
16.
ポアンカレ • つまり「帰納は論理的に正しくない」 は正しくない • それは物理的な帰納法では成立するが、 数学的な帰納法では成立しない •
数学的帰納法が帰納であるがゆえに 新しい一般化した命題を得ることができる 1614年8月7日木曜日
17.
ペアノ • 「いや、そもそも『自然数』って 明確に定義されてないじゃん?」 1714年8月7日木曜日
18.
ペアノ • 自然数の最初の一つが存在する • すべての自然数が「次の自然数」を持つ •
…などのいくつかの公理を導入すること で「自然数」を定義した(1891年) 1814年8月7日木曜日
19.
一般化 特殊化 P(1) P(2)
P(3) P(4) 従来:帰納によって「すべての自然数∼」を導く ペアノ以降:自然数の定義によりこの2つは同値 P(5) P(6) すべての自然数nについてP(n) 1914年8月7日木曜日
20.
ペアノ • ペアノによる公理の導入によって 数学的帰納法の帰納の部分がなくなった • 残るのは演繹だけなので 「ペアノの公理を認めるなら 数学的帰納法は演繹」はTrue 2014年8月7日木曜日
21.
まとめ • 1654年 パスカルが出直し法を発明 これは無限回の演繹と最後の1回の帰納を組み合わせて自然数についての証明を行う技法 •
1900年前後、帰納が使われてる数学的帰納法が 数学として正しいのかどうかの議論が盛んに… • 解決策1:1906年 ポアンカレ 「数学の帰納法は 物理の帰納法と違って論理的に正しいんだ」 • 解決策2:1891年 ペアノ 「『自然数』を定義し て、数学的帰納法の帰納のステップを公理として 認めよう」 2114年8月7日木曜日
22.
参考文献 • ポアンカレ「科学と仮説」 岩波文庫 の第1章「数学的推理の本章」p.20-40 短いので是非一読をオススメします。 http://www.amazon.co.jp/gp/product/ 4003390210/?tag=nishiohirokaz-22 •
もしくは英語版を無償で読む http://www.gutenberg.org/ebooks/37157 2214年8月7日木曜日
Baixar agora