フォーマルサイエンスとは何ですか？

「フォーマルサイエンス」は、フォーマルシステムを使用して知識を生成する研究分野です。 数学はプロトタイプの例です。 その他には、論理、統計、情報理論、および理論的なコンピューターサイエンスが含まれます。 現実の実験の欠如を考慮して、これらが本当に「科学」であるかどうかは時々疑問視されていますが、これらの分野はしばしば科学にまとまってしまいます。 経験的根拠の欠如にもかかわらず、形式科学は一般的に非常に重要であると考えられており、実際、量的科学はすべてそれらに依存しています。 正式な科学が真の科学であるかどうかについては、現在進行中の議論です。

数学のテキストは、紀元前1800年頃の古代史に登場しました。メソポタミアは、当時世界最大の都市であったバビロンの場所でした。 当初の目的は、奴隷や穀物などの商品を定量化することでした。 中国の紀元前600年頃と紀元前400年のギリシャでは、論理の初期開発、推論方法の明示的な分析が行われました。 ギリシャには、ピタゴラス、ソクラテス、アリストテレスなどの偉大な古代ギリシャの哲学者がいました。彼らの論理と科学に関する直観と信念は、現代まで、ピエールドフェルマー、ブレーズパスカル、クリスティアンホイヘンスなどの17世紀までの西洋世界を支配していました近代的な形で数学の開発を開始しました。

情報理論、理論的コンピューターサイエンス、現代（ベイジアン）統計は、20世紀半ばにクロードシャノンとジョンフォンノイマンに遡ります。 アラン・チューリングも重要な貢献をしました。 コンピューター、無線信号、およびアンテナ設計に関する理論はすべて、これらの思想家によって達成されたマイルストーンに依存しています。 これらの領域はすべて、正式な科学の重要な部分です。

何十年もの実験的方法と分析の混乱の後、最近「ソフト科学」（社会科学、政治科学など）はより定量的になり、物事のやり方の根本的な変化を予告しました。 心理学はより実験的になり、これらの結果の多くは、フロイトなどの古い思想家の伝統的な知恵を一掃しています。 実験心理学はしばしば「認知心理学」の旗印に該当します。

理論物理学は、数学の進歩に大きく依存しているようです。 理論物理学では、その日の最新の利用可能な数学を使用し、その結果と予測をこれらの用語で説明します。