MATHEMATICAL PROOFS Tiếng việt là gì - trong Tiếng việt Dịch

• bằng chứng toán học
• chứng minh toán học

Ví dụ về việc sử dụng Mathematical proofs trong Tiếng anh và bản dịch của chúng sang Tiếng việt

Why is writing down mathematical proofs more fault-proof than writing computer code?
Tại sao viết ra bằng chứng toán học chống lỗi nhiều hơn viết mã máy tính?

Paul Erdős was well-known for his notion of a hypothetical"Book" containing the most elegant or beautiful mathematical proofs.
Paul Erdős nổi tiếng với khái niệm về một" Cuốn sách" giả thuyết có chứa các bằng chứng toán học thanh lịch hoặc đẹp nhất.

But such mathematical proofs are only a part of the story of science.
Nhưng những bằng chứng toán học như vậy chỉ là một phần của câu chuyện khoa học..

The best part of this course is the tons of practical examples and focuses on intuition, rather than formulas and mathematical proofs.
Phần tốt nhất của khóa học này là số lượng ví dụ thực tế và nó tập trung vào trực giác hơn là các công thức và bằng chứng toán học.

HoTT allows mathematical proofs to be translated into a computer programming language for computer proof assistants much more easily than before.
HoTT cho phép các chứng minh toán học được dịch sang ngôn ngữ lập trình máy tính dễ dàng hơn nhiều so với trước đây.

The main idea was to create an independent and decentralized electronic payment system based on mathematical proofs and cryptography.
Ý tưởng chính là tạo ra một hệ thống thanh toán điện tử độc lập và phi tập trung dựa trên các bằng chứng toán học và mật mã học..

Of course physical insight does not always lead to immediately rigorous mathematical proofs but it frequently leads one in the right direction, and technically correct proofs can then hopefully be found.
Tất nhiên sự hiểu biết sâu về vật lý không phải luôn ngay lập tức dẫn đến những chứng minh toán học nghiêm ngặt nhưng nó thường dẫn người ta đi đúng hướng, và những chứng minh chính xác mang tính kỹ thuật là hy vọng có thể đạt được.

It set forth Newton's three laws of motion, and proceeded to set forth the theory of gravitation, and back it up with rigorous mathematical proofs.
Nó phát biểu ba định luật của Newton về chuyển động, và tiếp tục đưa ra lý thuyết về lực hấp dẫn, chống đỡ bằng những chứng minh toán học nghiêm ngặt.

Recently computers have provided a new way to explore the unknown, and even if traditional mathematical proofs are the end product, numerical simulations can provide a source of new intuition that speeds up the process of framing conjectures.
Trong thời gian gần đây, máy vi tính đã đem lại một phương thức mới thăm dò cái chưa biết, và cho dù các minh chứng toán học truyền thống có là sản phẩm cuối cùng hay không, thì các mô phỏng số vẫn có thể cung cấp một nguồn trực giác mới làm tăng tốc quá trình thai nghén các giả thuyết.

At the same time, he began making a transition in his approach to physics, becoming more intuitive and speculative rather than insisting on mathematical proofs.
Cùng lúc đó ông cũng thực hiện một sự chuyển hướng tiếp cận đối với vật lý, trở nên suy nghĩ theo trực giác và ước đoán hơn là nhấn mạnh vào các phép chứng minh toán học.

The flaw in the sVote protocol, developed by technology provider Scytl, has to do with universal verifiability, the mathematical proofs that prevent vote manipulation.
Lỗ hổng trong giao thức sVote, được phát triển bởi nhà cung cấp công nghệ Scytl, phải thực hiện với tính xác minh phổ quát, bằng chứng toán học ngăn chặn thao túng phiếu bầu.

While most mathematicians do not think that probabilistic evidence ever counts as a genuine mathematical proof, a few mathematicians and philosophers have argued that at least some types of probabilistic evidence(such as Rabin's probabilistic algorithm for testing primality) are as good as genuine mathematical proofs.
Tuy đa số các nhà toán học không cho rằng bằng chứng xác suất là một chứng minh toán học đúng nghĩa, một số nhà toán học và triết học đã tranh cãi rằng ít nhất thì một số loại bằng chứng xác suất( như giải thuật xác suất của Rabin để kiểm tra tính nguyên tố) cũng tốt như bất cứ chứng minh toán học đúng nghĩa nào.

Bitcoin was first invented by Satoshi Nakamoto in 2009 with the aim to create an independent and decentralized electronic payment system based on mathematical proofs and cryptography.
Bitcoin được giới thiệu vào năm 2009 bởi Satoshi Nakamoto với ý tưởng chính là tạo ra một hệ thống thanh toán điện tử độc lập và phi tập trung dựa trên các bằng chứng toán học và mật mã học..

In mathematical practice, an object is anything that has been(or could be) formally defined, and with which one may do deductive reasoning and mathematical proofs.
Trong hoạt động toán học, một đối tượng là bất cứ cái gì đã được( hoặc có thể được) chính thức xác định, và với nó người ta có thể thực hiện suy diễn logic và các chứng minh toán học.

This can be shown by a perfectly rigorous mathematical proof.
Điều này có thể được cho thấy bằng một chứng minh toán học hoàn toàn nghiêm ngặt.

He repeats some mathematical proof where each time he gains some more certainty that the transaction is indeed valid.
Ông lặp lại một số bằng chứng toán học, nơi mỗi khi ông nhận được một số sự chắc chắn hơn rằng giao dịch thực sự là hợp lệ.

More often than not, the student will look at the majesty of a mathematical proof and ask,“So?”.
Thông thường, học sinh sẽ tìm sự vĩ đại của bằng chứng toán học và hỏi,“ Thế thì sao?”.

This mathematical proof was purely theoretical as no general-purpose computers existed at the time.
Chứng minh toán học này là hoàn toàn lý thuyết vì khi đó chưa có máy tính có mục đích không nhất định nào cả.

In other words it can be viewed as an absolute mathematical proof that all chemical weapons were taken away from Assad.
Có thể coi đó như một chứng minh toán học tuyệt đối rằng vũ khí của ông Assad đã bị tịch thu hoàn toàn.

There is not and there can never be any mathematical proof that a roulette strategy cannot be profitable.
Không có và không bao giờ có thể có bất kỳ bằng chứng toán học rằng một chiến lược roulette không có thể có lợi nhuận.

The development of mathematical proof is primarily the product of early Greek civilization.
Sự phát triển của chứng minh toán học chủ yếu là sản phẩm của nền văn minh Hy Lạp.

Stephen Hawking shot to fame in the world of physics when he provided a mathematical proof for the Big Bang theory.
Hawking nổi tiếng trong giới vật lý khi ông đưa ra bằng chứng toán học cho thuyết Big Bang.

Let's say, a mathematical proof: oftentimes it is a matter of getting from A to B, to putting together bits of logic.
Hãy xét một chứng minh toán học chẳng hạn Thường thường, đi từ A đến B là cả một vấn đề.

Fisher described his theorem as“fundamental,” because he believed he had discovered a mathematical proof for Darwinian evolution.
Fisher mô tả định lý của ông là“ cơ bản”, bởi vì ông tin rằng ông đã phát hiện ra một bằng chứng toán học cho thuyết tiến hóa của Darwin.

The main idea of creating Groestlcoin was to establish an electronic payment model that was purely based on mathematical proof.
Ý tưởng chính của việc tạo Groestlcoin là thiết lập một mô hình thanh toán điện tử hoàn toàn dựa trên bằng chứng toán học.

They see a mathematical proof showing that when two countries trade goods or services, the benefits to the winners outweigh the costs to the losers.
Họ nhìn thấy một bằng chứng toán học rằng khi hai quốc gia buôn bán hàng hoá hoặc dịch vụ, lợi ích dành cho người chiến thắng lớn hơn chi phí mà người thua cuộc phải trả.

A more detailed mathematical proof was given by Tsitsiklis[13] in 1994, and by Bertsekas and Tsitsiklis in their 1996 Neuro-Dynamic Programming book.[14].
Một bằng chứng toán học chi tiết hơn bởi Tsitsiklis[ 3] đưa ra vào năm 1994, và bởi Bertsekas và Tsitsiklis trong cuốn sách Lập trình động học Neuro năm 1996 của họ.[ 4].