human
この論理は、哲学者が最もカバーするトピックの1つであり、アリストテレスなどの西洋の伝統のものだけでなく、論理が数学的分野の基本的な部分となり、最も関連性の高い著者や出版物などの歴史的な時代は何でしたか？
gpt
数学的論理は、19世紀と20世紀に数学的な分野の基本的な部分になったときに重要な発展を遂げました。この時代の最も重要な作家の中で、ジョージ・ブール、オーガスタス・デ・モーガン、ゴットロブ・フリージ、バートランド・ラッセル、ルートヴィヒ・ウィットゲンシュタイン、アロンゾ教会、カート・ゲーデル、アラン・チューリングが言及することができます。

最も重要な出版物の中には、以下を含めることができます。

    ジョージ・ブール（1854）による「思考の法則」は、代数ブレアナを導入し、命題変数の概念を開発しました。

    Gottlob Frege（1879）による「Begriffsschrift」は、数学の論理的形式主義を開発し、機能の概念を導入しました。

    バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッド（1910-1913）による「プリンシピア・マステマティカ」は、数学全体の論理基盤を提供しようとしました。

    Ludwig Wittgenstein（1921）による「論理哲学」Tractatusは、論理表記システムを開発し、哲学のいくつかの根本的な問題を解決しようとしました。

    アランチューリング（1936）による「コンピューター可能な数値では、エントチェイドングプラブラブへのアプリケーション」。チューリングマシンを導入し、計算可能性の理論のベースを提供しました。

これらの作品は、数学的論理と計算可能性の理論の開発に基本的な役割を果たし、セットの理論、デモンストレーションの理論、複雑さの理論などのさらなる開発への道を開きました。