数学的論理学 in Vietnamese

Kana: すうがくてきろんりがく mathematical logic

Sentence patterns related to "数学的論理学"

1. ゲーデルとタルスキの名前が1930年代、メタ数学-数学的手法を用いてメタ理論、つまり他の数学的理論に関する数学的理論、を作り出す数学-の発展において決定的な時代を支配した。

2. 専門は数理マルクス経済学、厚生経済学、社会選択理論、ゲーム理論。

3. この時期は、全ての数学的・科学的談話の論理を一つの統一された体系にまとめ上げることを狙いとし、全ての数学的真理が論理的であるということ根本的原理として非論理的な語法を認めない論理主義者によって支配されていた。

4. ライムンドゥス・ルルスから300年の後に、あらゆる論理学・推論は加法と減法という数学的作業に還元できるとイギリスの哲学者・論理学者のトマス・ホッブズが主張した。

5. 数多くの特徴によって現代論理学が旧来のアリストテレス論理学や伝統的論理学から区別されるが、中でもとくに重要なものは以下: 現代論理学は根本的には「計算」であって、この計算を遂行する規則は、用いられる記号の「意味」によってではなく、数学と同様に記号の「形式」によって決まる。

6. この観点では、数学的対象は述語論理の言語で表現された形式理論の公理を満たす実体である。

7. 数学歴史家のF. Woepckeは、アル=カラジを「最初に代数的な微分積分学の理論を導入した者」として賞賛した。

Nhà nghiên cứu lịch sử toán học, F. Woepcke, đã ca ngợi Al-Karaji là "người đầu tiên giới thiệu các định lý của các phép tính đại số."

8. 『プリンキピア』は記号論理学においてよく定義された一連の公理と推論規則からすべての数学的真理を引き出そうという試みであった。

9. 公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。

10. 論理プログラミングの基本は数理論理学のスタイルをコンピュータのプログラミングに持ち込むことにある。

11. 十分な理解力を有していませんが 進化論的な選択は 少なくとも 真の数学や論理学から 退化する方向には向かっていません

12. 権威主義的倫理学はメタ倫理学的理論であり、神や法などの権威から倫理的知識を獲得する。

13. タルスキはワルシャワ大学にて最年少で博士号を取得した後、ポーランド教育大学で講師として論理学、ワルシャワ大学でも講師として数学と論理学を教える傍ら、ヤン・ウカシェヴィチの助手を務めた。

14. 2004年10月2日、オックスフォード大学の理論物理学の建物は「サー・ルドルフ・パイエルス理論物理学センター」と命名された。

15. フーリエ変換は応用数学、特に物理学や符号理論において有用な積分作用素である。

16. 批判的合理主義者ハンス・アルバート (Hans Albert) によると、論理学や数学においてさえ、どの真理であろうと確実に証明することは不可能である。

17. ルートヴィヒ・ウィトゲンシュタイン『論理哲学論考』。

18. 数理論理学では、最小不動点は何らかの再帰的定義を構築することに関連している。

19. 歴史的に、ETHは化学、数学、物理学の分野で評判が高かった。

Theo lịch sử, ETH nổi tiếng trong các lãnh vực hóa học, toán học và vật lý.

20. その間にも,理論家の中には,自然界の力を統一するために“超弦理論”なる新しい数学的理論を発展させようとしている人もいます。

21. 数学的構造の観念はモデル理論に関するあらゆる本に厳密に定義されている。

22. 物理では理想的なパターンです 数学的に説明のつく理論が作られ それが後に 別の現象を説明に使われるのです

23. トーマス・ヒル・グリーン『倫理学序説』(Prolegomena to Ethics, 1883) フランシス・ブラッドリ『倫理学研究』(Ethical Studies, 1876)、『現象と真実在』(Appearance and Reality, 1893) バーナード・ボザンケ『論理学――知識の形態学』(Logic, or the Morphology of Knowledge, 1888) トーマス・ヒル・グリーン『政治的義務の原理』(Principles of Political Obligation, 1901) バーナード・ボザンケ『国家の哲学的理論』(The Philosophical Theory of the State, 1899) レオナルド・ホブハウス『国家の形而上学的理論』(The Metaphysical Theory of the State, 1918) 明治時代においては、多くの哲学研究者がトーマス・ヒル・グリーンから人格主義の考え方を学ぼうとしていた。

24. 国語運動の理論的・科学的な方向付けを行った。

25. ギブズははじめに、1873年にコネティカット州芸術科学アカデミー論文誌に発表された2報の論文『流体の熱力学における図式解法(Graphical methods in the thermodynamics of fluids)』、『物体の熱力学的諸性質の曲面による幾何学的表示(A method of geometrical representation of the thermodynamic properties of substances by means of surfaces)』によって数理物理学に貢献した。