ノート:数理論理学
出典: フリー百科事典『ウィキペディア(Wikipedia)』
論理学の記事とも関わる問題ですが、あちらはゴチャゴチャしているのでこちらに書きます。素人の素朴な感覚でいくと、記号論理学は論理学の一分野という認識です。ところが本記事数理論理学では、論理学が数学に取り込まれ、記号論理学(=数理論理学)に進化したとなっています。これは書き手の認識の問題であって、記事を書く上でどちらも可能な立場です。ここに典型的な中立性の問題が現れているわけですが、数理論理学と論理学に関わる何回かのリバートは、この点を忘れています。Enharmonion 13:01 2004年4月27日 (UTC)
現在の証明論では、無限分岐をもつ式や証明図も扱います。したがって、記号列を有限に限定することは現状に反します。Wd 2006年1月27日 (金) 09:52 (UTC)