What is the translation of " TRIẾT HỌC TOÁN HỌC " in English?

• philosophy of mathematics

Examples of using Triết học toán học in Vietnamese and their translations into English

Khái niệm này được nghiên cứu trong triết học toán học.
The concept is studied in philosophy of mathematics.

Có những truyền thống về triết học toán học trong cả triết học phương Tây và triết học phương Đông.
There are traditions of mathematical philosophy in both Western philosophy and Eastern philosophy..

Điều này gây ra một đánh giá lại đáng kể về triết học toán học Hy Lạp.
This caused a significant re-evaluation of Greek philosophy of mathematics.

Một đóng góp còn mới mẻ nhưng rất quan trọng cho triết học toán học có thể được phát hiện trong công trình của Deleuze và Guattari( 1994, chương 5).
A very recent but important contribution to the philosophy of mathematics can be found in the work of Deleuze and Guattari 1994, chap.

Cuốn sách có rất nhiều điều hay để bàn, và nó muốn làm sống lại cuộc tranh luận về triết học toán học”.
It has many good things to say, and it has the ambition to reshape the debate on the philosophy of mathematics.

Một vấn đề lâu năm trong triết học toán học liên quan đến mối quan hệ giữa logic và toán học tại các nền tảng chung của họ.
A perennial issue in the philosophy of mathematics concerns the relationship between logic and mathematics at their joint foundations.

Anna mở rộng vốn hiểu biết về văn học cổ đại, hùng biện, lịch sử, triết học, toán học, thiên văn và y dược.
Anna expanded her studies to classical literature, rhetoric, history, philosophy, mathematics, astronomy, and medicine.

Tuy nhiên, bởi cùng một mã thông báo, các nhà triết học toán học đã tìm cách mô tả những gì làm cho một bằng chứng được mong muốn hơn một bằng chứng khác khi cả hai đều hợp lý.
By the same token, however, philosophers of mathematics have sought to characterize what makes one proof more desirable than another when both are logically sound.

Logic được sử dụng trong hầu hết các hoạt động trí tuệ, nhưng được nghiên cứu chủ yếu trong các lĩnh vực triết học, toán học, ngữ nghĩa, và khoa học máy tính.
Logic is used in most intellectual activity, but is studied primarily in the disciplines of philosophy, mathematics, and computer science.

Đại diện cho một phạm trù triết học, toán học, tâm lý và cuộc sống phức tạp, khái niệm về sự vô lý không phải lúc nào cũng có thể truy cập để hiểu sau khi đọc định nghĩa.
Representing a complex philosophical, mathematical, psychological and life category, the concept of absurdity is not always accessible to understanding after reading the definition.

Trạng thái bản thể luận của các đối tượng toán học đã là chủ đề của nhiều nghiên cứu và tranh luận của các nhà triết học toán học.[ 1].
The ontological status of mathematical objects has been the subject of much investigation and debate by philosophers of mathematics.[1].

Viễn cảnh này thống trị triết học toán học qua thời Frege và Russell, nhưng đã bị đặt câu hỏi bởi những phát triển vào cuối thế kỷ 19 và đầu thế kỷ 20.
This perspective dominated the philosophy of mathematics through the time of Frege and of Russell, but was brought into question by developments in the late 19th and early 20th centuries.

Năm 1960, ông được bổ nhiệm vào một vị trí trong Trường Kinh tế Luân Đôn, nơi ông viết về triết học toán học và triết học khoa học..
In 1960, he was appointed to a position in the London School of Economics, where he wrote on the philosophy of mathematics and the philosophy of science.

Tâm lý học trong triết học toán học là vị trí mà các khái niệm và/ hoặc sự thật toán học được đặt nền tảng, xuất phát từ hoặc giải thích bởi các sự kiện tâm lý( hoặc luật).
Psychologism in the philosophy of mathematics is the position that mathematical concepts and/or truths are grounded in, derived from or explained by psychological facts(or laws).

Vào năm 1905, Couturat xuất bản một tác phẩm về logic và nền tảng toán học( với phụ lục về triết học toán học của Kant) vốn được hình thành như một bản dịch Russell' s Principles of Mathematics.
In 1905, Couturat published a work on logic and the foundations of mathematics(with an appendix on Kant's philosophy of mathematics) which was originally conceived as a translation of Russell's Principles of Mathematics..

Triết học toán học ngày nay tiến hành theo nhiều dòng nghiên cứu khác nhau, bởi các nhà triết học toán học, logic và toán học, và có nhiều trường phái tư tưởng về chủ đề này.
Philosophy of mathematics today proceeds along several different lines of inquiry, by philosophers of mathematics, logicians, and mathematicians, and there are many schools of thought on the subject.

Trong khi các nhà triết học thế kỷ 20 tiếp tục đặt câu hỏi được đề cập ở đầu bài viết này, thì triết học toán học trong thế kỷ 20 được đặc trưng bởi sự quan tâm chủ yếu đến logic hình thức, lý thuyết tập hợp và các vấn đề cơ bản.
While 20th-century philosophers continued to ask the questions mentioned at the outset of this article, the philosophy of mathematics in the 20th century was characterized by a predominant interest in formal logic, set theory, and foundational issues.

Trong triết học toán học, người ta thường coi một bằng chứng được công bố là một xấp xỉ của một bằng chứng chính thức lý tưởng, có khả năng về nguyên tắc được xác minh bởi một máy tính áp dụng các quy tắc của hệ thống chính thức.
In philosophy of mathematics it's customary to treat a published proof as an approximation of an ideal formalized proof, capable in principle of being verified by a computer applying the rules of the formal system.

Sau đó Gödel nghiên cứu lý thuyết số, nhưng khi ông tham gia vào một hội thảo chuyên đề do Moritz Schlick lãnh đạo, nghiên cứu cuốn“ Introduction to Mathematical Philosophy”( Nhập đề Triết học Toán học) của Bertrand Russell, Gödel bị lôi cuốn vào logic toán học.
Gödel then studied number theory, but when he took part in a seminar run by Moritz Schlick which studied Bertrand Russell's Introduction to Mathematical Philosophy, he became interested in mathematical logic.

Hôm nay, một số[ ai nói?] nhà triết học toán học nhằm đưa ra các tài khoản của hình thức điều tra này và các sản phẩm của nó khi họ đứng, trong khi những người khác nhấn mạnh vai trò của chính họ vượt xa sự giải thích đơn giản để phân tích phê phán.
Today, some philosophers of mathematics aim to give accounts of this form of inquiry and its products as they stand, while others emphasize a role for themselves that goes beyond simple interpretation to critical analysis.

Các chủ đề thường xảy ra nhất của hội thảo là thiết lập lý thuyết và lý thuyết mô hình trong các kết nối triết học, triết học toán học nói chung, chính thức hóa các lý thuyết vật lý, chẳng hạn như thuyết tương đối đặc biệt và tổng quát trong các khuôn khổ logic khác nhau.
The most often occurring topics of the seminar are set theory and model theory in their philosophical connections, philosophy of mathematics in general, formalization of physical theories, such as special and general relativity within different logical frameworks.

Vào đầu thế kỷ 20, các nhà triết học toán học đã bắt đầu phân chia thành nhiều trường phái tư tưởng khác nhau về tất cả những câu hỏi này, được phân biệt rộng rãi bằng hình ảnh của họ về nhận thức luận và bản thể học toán học..
At the start of the century, philosophers of mathematics were already beginning to divide into various schools of thought about all these questions, broadly distinguished by their pictures of mathematical epistemology and ontology.

Mặc dù công trình của Kurt Gödel tiết lộ hy vọng này là chimerical, nhiều nhà triết học toán học, cũng như một số nhà logic học( một thiểu số nhỏ nhưng có tiếng nói, theo nhà lý thuyết tập hợp), vẫn coi ZFC và các yêu cầu được liệt kê ở trên là một loại hiến pháp cho toán học..
Although Kurt Gödel's work revealed this hope to be chimerical, many philosophers of mathematics, as well as some logicians(a small but vocal minority, according to the set theorist), still regard ZFC and the requirements listed above as a kind of constitution for mathematics..

Triết học toán học là nhánh của triết học nghiên cứu các giả định, nền tảng và ý nghĩa của toán học, và các mục đích để đưa ra quan điểm về bản chất và phương pháp toán học, và để hiểu vị trí của toán học trong cuộc sống của mọi người.
Philosophy of mathematics is a branch of philosophy that studies the assumptions, foundations, and implications of mathematics, and purports to provide a viewpoint of the nature and methodology of mathematics, and to understand the place of mathematics in relation to people.

Hilary Whitehall Putnam( sinh ngày 31 tháng 7 năm 1926) là một nhà triết học, toán học, và khoa học máy tính Hoa Kỳ gốc Do Thái, người có vai trò trung tâm trong triết học phân tích kể từ những năm 1960, đặc biệt trong lĩnh vực triết học tinh thần, triết học ngôn ngữ, triết học toán học, và triết học khoa học..
Hilary Whitehall Putnam(born July 31, 1926) is an American philosopher, mathematician and computer scientist, who has been a central figure in analytic philosophy since the 1960s, especially in philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science.

Rene Descartes- Nhà triết học và toán học có ảnh hưởng, Descartes được mệnh danh là cha đẻ của triết học hiện đại.
Rene Descartes- Influential philosopher and mathematician, Descartes is dubbed the father of modern philosophy.

Giống như Russell, Couturat thấy logic toán như một công cụ để thúc đẩy cả toán học và triết học về toán học.
Like Russell, Couturat saw symbolic logic as a tool to advance both mathematics and the philosophy of mathematics.

Những định lý được Kurt Gödel xuất bản vào năm 1931, rất quan trọng trong logic toán học và triết học của toán học.
The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics.

Chứng minh chỉ sử dụng cho một số rất ít lĩnh vực triết học và toán học.
Proof is only applicable to very rarefied areas of philosophy and mathematics….