ニコラ・ブルバキ - Wikipedia
1934年に解析学の教科書を編纂するプロジェクトが始まり、1935年にブルバキという架空人物が生み出され、論文を発表。後に「1886年生、モルダヴィア出身」というプロフィールが与えられた。 1939年、数学原論を刊行しはじめたとき、論文紹介雑誌Mathematical Review誌にてアイレンベルグのペンネームでもあることが露呈。次第に集団であることが知られ始め、様々な軋轢を生むこととなった[2]。 『集合論』〈数学原論〉の初版表紙 ブルバキの主な業績は、7000ページ以上に及ぶ『数学原論』(Éléments de mathématique) の執筆である。元は微分積分学の現代的な教科書を書くのが彼らの目的だったが、作業が中途で肥大化し、その目的は捨て去られた。最終的には集合論の上に現代数学を厳密かつ公理的に打ち立てることにその目標は向けられる。彼らはそこで、代数構造・順序構造・位相構造
論理学 - Wikipedia
論理学では、モーダスポネンスのような形式的に妥当な推論を研究する。 論理学 (ろんりがく、英語: logic) は、正しい推論の研究である。形式論理学および非形式論理学が含まれる。形式論理学は、演繹的に妥当な推論あるいは論理的真理の研究である。論証の議題や内容とは無関係に、論証の構造のみにより、前提からどのように結論が導かれるかを研究する。非形式論理学は、非形式的誤謬、批判的思考、議論学と関わりがある。非形式論理学は自然言語で記述される論証を研究する一方、形式論理学は形式言語を用いる。各形式論理体系は、証明系（英語版）を表現する。論理学は、哲学、数学、計算機科学、言語学を含む多くの分野で中核をなす。 論理学は、前提の集合および結論からなる論証を研究する。論証の例には、前提「今日は日曜日である」および「今日が日曜日であれば、私は働かなくて良い」から結論「私は働かなくて良い」を導くものがある[
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
