「プログラム と論理」関連ページ

論理学と数学的証明 集合論入門　 集合論は、19世紀後半に、ドイツの数学者ゲオルグ・カントールが創り出した数学の一分野です。集合論の登場は、現代数学の一つの特徴である「抽象化」の歴史的な第一歩といっていいと思います。集合 […]