タグ

編集と数学に関するiwwのブックマーク (2)

  • ニコラ・ブルバキ - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2015年7月) ニコラ・ブルバキ(仏: Nicolas Bourbaki, ブールバキとも)は、架空の数学者であり、主にフランスの若手の数学者集団のペンネームである。当初この数学者集団は秘密結社として活動し、ブルバキを一個人として活動させ続けた。日で出版された38冊に及ぶ[1]数学原論や、定期的に開催されるセミネール・ブルバキ(英語版)で有名。 概要[編集] 1934年に解析学の教科書を編纂するプロジェクトが始まり、1935年にブルバキという架空人物が生み出され、論文を発表。後に「1886年生、モルダヴィア出身」というプロフィールが与えられた。 1939年、数学原論を刊行しはじめたとき、論文紹介雑誌Mathe

    iww
    iww 2020/07/03
    秘密結社
  • 論理学 - Wikipedia

    論理学(ろんりがく、英: logic、ロジック)とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。 現代においては、アリストテレス的な論理学#伝統的論理学、古典論理学、直観主義の論理学などに分かれており、古典論理以降は数理論理学として扱われる。これ以外に、応用分野で多岐に分類されている(ファジィ論理など) 概要[編集] ここでいう論理とは、思考の形式及び法則である。これに加えて、思考のつながり、推理の仕方や論証のつながりを指す。よく言われる「論理的に話す、書く」という言葉は、つながりを明確にし、論証を過不足なく行うということである。 論理学は、伝統的には哲学の一分野である[1]。数学的演算の導入により、数理論理学(記号論理学)という分野ができた。現在では、数理論理学は数学と論理学のどちらかであると(時にどちらでもないと)される。現在の論理学は、(それを論理学であるとする

    論理学 - Wikipedia
    iww
    iww 2015/05/20
    『論理学は、伝統的には哲学の一分野である。』 知らなかった。
  • 1