設計によるセレンディピティ

"The most powerful force in the universe is compound interest."

logic

とてもわかりやすいプログラミングの本を見つけた

『10才からはじめるプログラミング図鑑』という本がとても良い本だったので, この本で学ぶ子供,親向けに,Python のコードを写経する. 詰んだ時などに参考にしてもらえたら嬉しい. 10才からはじめるプログラミング図鑑:たのしくまなぶスクラッチ&Python…

数学ド素人が独学する際のノウハウ

数学ド素人が独学しながら考えた事,気づいた事

停止問題の決定不能性

停止問題が計算できない = 停止問題を解くプログラムが作れないということ = 不完全性定理 これを,停止問題の決定不能性という. xは,判定したいチューリング・マシンのことで,A(x)のテープに,xのプログラムとして入力するという意味. このとき, A(x):{xが無…

数学の証明についてメモ

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

誤解しやすい論理の基礎

命題とは 真偽が定まる数学的主張 命題の間の演算が定義でき,演算の結果も命題である. pとqが命題であるとき,「pまたは(∨)q」には注意が必要 それは,pとqの少なくとも一方が真のときに真であり, 両方が偽であるときにのみ偽となる命題のこと. 日常語で 「A君…