Đối với Ngày Pretzel Quốc gia: 8 Bộ trưởng Khoa học và Toán học chưa được giải quyết

$config[ads_kvadrat] not found

Gwyneth Paltrow đọ dáng với Zoe Saldana

Gwyneth Paltrow đọ dáng với Zoe Saldana
Anonim

Hôm nay là ngày Pretzel quốc gia. Tại sao? Tôi không có ý tưởng trần thế, nhưng nó là, và chúng ta ở đây. Mọi người (một số, dù sao đi nữa) đều thích một câu đố hay, và vì vậy để tôn vinh ngày này, chúng tôi đã dành một phần để ăn mừng bột nhão một cách hài hước Nghịch đảo đã biên soạn tám (8 là con số trông giống bánh quy nhất có sẵn) của những câu hỏi hóc búa, bí ẩn, khó hiểu nhất từ ​​các lĩnh vực toán học và khoa học. Hy vọng rằng bạn có thể thưởng thức món bánh quy não này cùng với bánh quy cây thực sự, ít gây phẫn nộ hơn.

1. P so với NP

MIT gọi đây là điều khét tiếng nhất trong tất cả các câu hỏi hóc búa về khoa học máy tính: Tất cả các vấn đề mà các giải pháp có thể được xác minh bằng máy tính cũng có thể được giải quyết nhanh chóng bằng máy tính? Vậy, P = NP? Hầu hết các nhà khoa học dường như tin rằng P không bằng NP, nhưng không ai có thể chứng minh điều này bằng cách này hay cách khác. Đây là một trong sáu vấn đề về giải thưởng thiên niên kỷ còn lại, đó là một cách thú vị để nói rằng Viện toán học Clay sẽ trả cho bạn 1 triệu đô la để giải quyết vấn đề này.

2. Hình vuông ma thuật

Hai mươi năm trước, Martin sner đã cung cấp số tiền 100 đô la gọn gàng cho bất cứ ai có thể giải được phép lặp này của câu đố hình vuông ma thuật hàng thế kỷ. Không ai có, vì vậy chúng tôi chỉ có thể hy vọng giải thưởng 100 đô la của bạn sẽ bao gồm lãi suất.

3. Phỏng đoán Vaught từ

Điều này liên quan đến lý thuyết mô hình. Giả thuyết Vaught hàn giữ như sau: số lượng mô hình có thể đếm được của một lý thuyết hoàn chỉnh bậc nhất trong một ngôn ngữ có thể đếm được là hữu hạn hoặc ℵ0 hoặc 20. Các phản ứng để giải quyết nó hoàn toàn được đề xuất theo định kỳ, nhưng cho đến nay, không có gì bị cắt giảm. Đại học California Berkeley đã có một hội nghị toàn bộ vào năm ngoái.

4. Liti

Khi vũ trụ được sinh ra, đã có một phản ứng khá tức thời tạo ra hydro, heli và lithium. Các nhà khoa học có thể chiếm hai loại khí đầu tiên - nhưng một tỷ lệ rất lớn của lithium đã biến mất. Không ai biết nó đã đi đâu hoặc thậm chí làm thế nào mà nó có thể bắt đầu từ bất cứ đâu. Nghiên cứu chỉ tăng khoảng một phần ba lượng khí, theo Tin khoa học. Phần còn lại chỉ là đi, bằng cách nào đó.

5. Quỷ dữ

Đây là một trong những vấn đề có vẻ rất dễ giải quyết, và vì vậy thực tế nó vẫn còn là một bí ẩn gây căng thẳng. Quỷ dữ Ấm siêu tốc là một thác nước ở Minnesota, nghe có vẻ đơn giản ngoại trừ một điều - không ai biết nước chảy đi đâu. Thật là ngu ngốc, tôi có thể nghe bạn nói. Các nhà khoa học có thể gửi các máy ảnh robot chống nước để theo dõi nó không? Đối với vấn đề đó, bạn có thể bỏ rơi đồ đạc và xem nơi cuối cùng nó bật ra không? Không quá xa, không.

6. Phỏng đoán Jacobian

Kể từ khi được giới thiệu vào năm 1939, các nhà toán học tiếp tục cố gắng và thất bại trong việc tạo ra một bằng chứng thành công cho điều này. Không một ai thậm chí còn gần gũi.

7. Cá mập voi

Điều đầu tiên trước tiên, cá mập voi là tuyệt nhất. Nhưng điều khiến những con thú này thậm chí còn hấp dẫn hơn chúng là không ai biết chúng sinh ra ở đâu. Các nhà khoa học đã cố gắng theo dõi con cái trong nhiều năm, chỉ để xem chúng chỉ rơi ra khỏi bản đồ. Đó là một suy nghĩ tốt, thực sự - có những khoảng trắng trên bản đồ, những góc của thế giới mà chúng ta có thể tìm thấy.

8. Định lý cuối cùng của Fermat

Về mặt kỹ thuật, điều này đã được chứng minh vào những năm 90, nhưng nó quá tập trung vào loại danh sách này để không bao gồm, lý tưởng thuần túy của việc giải quyết các vấn đề chưa được giải quyết (mặc dù thực tế là nó đã được giải quyết). Ngay cả khi bạn không phải là một nhà toán học, thì cũng có một cơ hội tốt mà bạn đã nghe về Định lý cuối cùng của Fermat. Bằng chứng chưa được giải quyết đã đi sâu vào văn hóa đại chúng và cuối cùng đã được Andrew Wiles chứng minh vào năm 1994. Nói một cách đơn giản, định lý nói rằng không có ba số nguyên dương a, b và c thỏa mãn phương trình an + bn = cn cho bất kỳ giá trị nguyên nào của n đúng lớn hơn hai. Trước Wiles, các nhà toán học đã vật lộn với nó trong hơn 350 năm.

$config[ads_kvadrat] not found