利用者‐会話:210.254.18.76

07:37 2003年12月16日 数学的直観主義 (top)

ブラウアの直観主義に関して、排中律の否定とか構成主義の一つといった通り一遍の解説だけではない、踏み込んだ解説が本当は必要かと思うが、私の力ではそこまで説明するに至らなかった。

04:53 2003年12月16日 形式主義 (数学) (top)

多くの数学者が排中律の使用を認めていることと、ヒルベルトの形式主義に賛同することとは、区別すべきであると思う。ヒルベルトの形式主義によるヒルベルト・プログラムは、ゲーデルによって否定されてしまったわけだが、それにも関わらず、多くの数学者が排中律を使用するのは、数学的実在を暗黙のうちに認めているからだと考えられる。

04:13 2003年12月16日 形式論理 (top)

カントの”逸話”は面白いと感じたが、「形式論理とは何か？」と思って検索する人にとっては必ずしも有用でないと思い、数理論理学へのリンクを付け加えた。

ようこそ、こちらのトークページへ

トークページとは、Wikipediaにおいて最善のコンテンツ作りをするため、協議を行う場所です。当該のIPアドレスから投稿された編集を話題にするには、このページをご利用ください。トークページへの投稿内容は一般読者に公開されます。IPアドレスの多くは定期的に変化し、しばしば複数の人が共有しています。

新しい議論を始める