サクサク読めて、アプリ限定の機能も多数!
「排中律と同等の原理である背理法」「のような論法を避けて、解の存在が証明できたらその計算方法も必ずわかるような形で数学を展開してみよう、という考え方で展開される数学を「構成的数学」と呼んでおり」
arajin のブックマーク 2019/05/05 16:58
20世紀の数学が直面した計算することの限界—神様のコンピュータは止まらない?— | サイエンス&テクノロジー | 研究・社会連携 | 京都産業大学[数学][コンピュータ]「排中律と同等の原理である背理法」「のような論法を避けて、解の存在が証明できたらその計算方法も必ずわかるような形で数学を展開してみよう、という考え方で展開される数学を「構成的数学」と呼んでおり」2019/05/05 16:58
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.kyoto-su.ac.jp2015/03/29
コンピュータ理工学部 インテリジェントシステム学科 小林 聡 教授 神様のコンピュータは止まらない? 背理法による証明はみなさんよくご存知だと思います。「Aではないと仮定すると矛盾が導かれる。よってAであ...
9 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
「排中律と同等の原理である背理法」「のような論法を避けて、解の存在が証明できたらその計算方法も必ずわかるような形で数学を展開してみよう、という考え方で展開される数学を「構成的数学」と呼んでおり」
このブックマークにはスターがありません。
最初のスターをつけてみよう!
20世紀の数学が直面した計算することの限界—神様のコンピュータは止まらない?— | サイエンス&テクノロジー | 研究・社会連携 | 京都産業大学
コンピュータ理工学部 インテリジェントシステム学科 小林 聡 教授 神様のコンピュータは止まらない? 背理法による証明はみなさんよくご存知だと思います。「Aではないと仮定すると矛盾が導かれる。よってAであ...
9 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /