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