axiomatization câu

• The lack of axiom in the past led to the star height problem.
  Thiếu thông axiomatization trong quá khứ đã dẫn đến những vấn đề sao chiều cao.
• Axiomatization of frequent itemsets.
  Các tính chất của frequent itemset
• This axiomatization is due to Felix Hausdorff.
  Tiên đề này là do Felix Hausdorff.
• Peano played a key role in the axiomatization of mathematics and was a leading pioneer in the development of mathematical logic.
  Peano đóng một vai trò quan trọng trong tiên đề toán học và là một nhà tiên phong hàng đầu trong việc phát triển logic toán học.
• After having completed the axiomatization of set theory, von Neumann began to confront the axiomatization of quantum mechanics.
  Sau khi hoàn thành việc tiên đề hóa lý thuyết tập hợp, von Neumann bắt đầu đối đầu với việc tiên đề hóa vật lý lượng tử.
• After having completed the axiomatization of set theory, von Neumann began to confront the axiomatization of quantum mechanics.
  Sau khi hoàn thành việc tiên đề hóa lý thuyết tập hợp, von Neumann bắt đầu đối đầu với việc tiên đề hóa vật lý lượng tử.
• He did this by giving a complete axiomatization of Newtonian mechanics with no reference to numbers or functions at all.
  Ông đã làm điều này bằng cách đưa ra một tiên đề hoàn chỉnh của cơ học Newton mà không liên quan đến các con số hay chức năng nào cả.
• He did this by giving a complete axiomatization of Newtonian mechanics that didn’t reference numbers or functions at all.
  Ông đã làm điều này bằng cách đưa ra một tiên đề hoàn chỉnh của cơ học Newton mà không liên quan đến các con số hay chức năng nào cả.
• He did this by giving a complete axiomatization of Newtonian mechanics that didn't reference numbers or functions at all.
  Ông đã làm điều này bằng cách đưa ra một tiên đề hoàn chỉnh của cơ học Newton mà không liên quan đến các con số hay chức năng nào cả.
• There are several properties that a formal system may have, including completeness, consistency, and the existence of an effective axiomatization.
  Có một vài đặc tính mà một hệ thống chính thức có thể có, bao gồm sự hoàn toàn, sự nhất quán và sự tồn tại của sự tiên đề hóa hiệu quả.
• Another possibility is to start from some rigorous axiomatization of Euclidean geometry (Hilbert, Tarski, etc.) and then define the real number system geometrically.
  Một khả năng khác là bắt đầu từ một số tiên đề nghiêm ngặt của hình học Euclide (Hilbert, Tarski, v.v.) và sau đó xác định hệ thống số thực về mặt hình học.
• Another possibility is to start from some rigorous axiomatization of Euclidean geometry (Hilbert, Tarski etc.) and then define the real number system geometrically.
  Một khả năng khác là bắt đầu từ một số tiên đề nghiêm ngặt của hình học Euclide (Hilbert, Tarski, v.v.) và sau đó xác định hệ thống số thực về mặt hình học.
• A major early proponent of formalism was David Hilbert, whose program was intended to be a complete and consistent axiomatization of all of mathematics.
  Một người đề xướng sớm của chủ nghĩa hình thức là David Hilbert, người có chương trình dự định là một tiên đề hoàn chỉnh và nhất quán của tất cả các toán học.
• A major early proponent of formalism was David Hilbert, whose program was a complete and consistent axiomatization of all of mathematics.
  Một người đề xướng sớm của chủ nghĩa hình thức là David Hilbert, người có chương trình dự định là một tiên đề hoàn chỉnh và nhất quán của tất cả các toán học.
• A major early proponent of formalism was David Hilbert, whose program was intended to be a complete and consistent proof axiomatization of all of mathematics.
  Một người đề xướng sớm của chủ nghĩa hình thức là David Hilbert, người có chương trình dự định là một tiên đề hoàn chỉnh và nhất quán của tất cả các toán học.
• Recall that in the Kolmogorov axiomatization, measurable sets are the sets which have a probability or, in other words, the sets corresponding to yes/no questions that have a probabilistic answer.
  Nhớ lại rằng, trong hệ tiên đề Kolmogorov, các tập hợp đo được là các tập có xác suất, hay nói các khác, là các tập hợp liên quan tới các câu hỏi có/không có một câu trả lời mang tính xác suất.
• Recall that, in the Kolmogorov axiomatization, measurable sets are the sets which have a probability or, in other words, the sets corresponding to yes/no questions that have a probabilistic answer.
  Nhớ lại rằng, trong hệ tiên đề Kolmogorov, các tập hợp đo được là các tập có xác suất, hay nói các khác, là các tập hợp liên quan tới các câu hỏi có/không có một câu trả lời mang tính xác suất.
• But in a system of mathematics, thinkers such as Hilbert had believed that it is just a matter of time to find such an axiomatization that would allow one to either prove or disprove (by proving its negation) each and every mathematical formula.
  Nhưng trong một hệ thống của toán học, những nhà tư tưởng như Hilbert tin rằng đó chỉ là vấn đề thời gian để tìm cách tiên đề hóa cho phép chứng minh hoặc không chứng minh (bằng phủ nhận của nó) mọi công thức toán học.