数学と科学の違い - モジログ

分析的（analytic）な言明は、その真偽が言語の無矛盾性のみで決まる。 総合的（synthetic）な言明は、その真偽が現実世界の状態によって決まる。 数学は言語体系なので、すべての言明は分析的である。 よって、数学が現実世界について何かを述べることはない。 数学の言明の真偽を判定するために、現実世界と照合する必要はないし、それは無意味である。 科学は言語体系と世界記述の混合であり、分析的な言明と総合的な言明がある。 よって、科学はその世界記述の側面で、現実世界について何かを述べる。 科学の総合的な言明の真偽を判定するには、現実世界と照合する必要がある。 関連エントリ： 「ＡはＢである」という文についての考察 http://mojix.org/2008/03/20/a_is_b

[jackal0903]

分析的（analytic）な言明は、その真偽が言語の無矛盾性のみで決まる。 総合的（synthetic）な言明は、その真偽が現実世界の状態によって決まる。科学は言語体系と世界記述の混合であり、分析的な言明と総合的な言明が

[hiromark]

面白い、というか深い。コンピュータ・サイエンスはどうなのだろう？

[MOZZ]

面白い文章