ユークリッドの論証のスタイル 少数の原理から出発し,対象の複雑な性質を導いていく. ユークリッドの論証法は,意見の異なる人々を論理で説得する民主主義の基礎でもある. 『方法序説』ルネ・デカルトが掲げた,真理を探究する4つの方法 明証的に真理であると…

連続体仮説 「自然数の集合より大きく,実数の集合より小さい集合は,存在しない」というカントールの予想. ゲーデルの定理とコーエンの定理を組み合わせると,連続体仮説は正しいとも間違っているとも証明できないことがわかる. 肯定しても否定しても,数学の世…

フィルター処理をかけ,特徴をきわだたせ,圧縮を繰り返す 教師あり学習の弱点 人間が教師データを作った範囲内の知識しか学習できない点 人間が知らない「未知の知識」をデータから引き出すことはできない 機械学習とは何か たくさんのデータから,人にとって…

"科学の真理は揺さぶられるが,数学の定理として証明された事柄は,2000年以上たってもその真理としての性格が揺らぐことはない. 事実で検証できることをきちんと検証してきたこと,事実に合わない事を反証をあげて検証してきたことこそが科学の確かさを保証し…