エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
形式化数学入門1 - Qiita
私が趣味で研究している形式化数学について書いていこうと思います。研究の進捗に伴い改稿される予定で... 私が趣味で研究している形式化数学について書いていこうと思います。研究の進捗に伴い改稿される予定です。脱稿するのは数十年後の予定です。 履歴 2015/11/03 初版 形式化数学とは 形式化数学(formalized mathematics)とは、一言で言えば、形式化された数学のことです。そのため、形式化数学とは何かということを説明するためには、形式化(formalization)とは何かということと、数学(mathematics)とは何かということを説明しなければなりません。 数学とは 数学とは何かということを説明するのは非常に難しい問題です。なので、潔く、ここでは説明を諦めることにします。ちなみに、数学とは何かという問題は数学の哲学(philosophy of mathematics)の問題の1つです。数学とは何かということについての哲学的な議論が知りたい場合には、数学の哲学の文献を参