Các Định lý Bất toàn của Goedel

Các định lý bất toàn của Goedel khẳng định rằng bất kỳ lý thuyết hình thức nhất quán nào có khả năng diễn đạt số học sơ cấp đều không đầy đủ và không thể chứng minh tính nhất quán của chính nó, đặt ra những giới hạn cơ bản đối với phương pháp tiên đề.

Definition

Định lý bất toàn thứ nhất phát biểu rằng bất kỳ lý thuyết nhất quán, được tiên đề hóa một cách hiệu quả nào diễn giải một phần nhỏ của số học đều có một câu mà cả lý thuyết đó lẫn phủ định của nó đều không thể chứng minh được; định lý thứ hai phát biểu rằng một lý thuyết như vậy không thể chứng minh một phát biểu hình thức khẳng định tính nhất quán của chính nó.

Scope

Chủ đề này bao gồm việc số học hóa cú pháp và đánh số Goedel, bổ đề đường chéo và việc xây dựng một câu tự quy chiếu, định lý bất toàn thứ nhất về sự tồn tại của các câu đúng nhưng không thể chứng minh được, định lý bất toàn thứ hai về tính không thể chứng minh được của tính nhất quán, và các điều kiện cũng như hệ quả tiêu chuẩn như định lý của Tarski về tính không thể định nghĩa được của chân lý.

Core questions

• Cú pháp của một lý thuyết được mã hóa trong chính số học như thế nào?
• Bổ đề đường chéo tạo ra một câu khẳng định tính không thể chứng minh được của chính nó như thế nào?
• Tại sao một lý thuyết nhất quán đủ mạnh phải không đầy đủ?
• Tại sao một lý thuyết như vậy không thể chứng minh tính nhất quán của chính nó?

Key theories

Bổ đề đường chéo

Đối với bất kỳ công thức nào có một biến tự do, có một câu mà lý thuyết chứng minh là tương đương với công thức đó được áp dụng cho mã của chính câu đó, cho phép tự quy chiếu có kiểm soát.

Định lý bất toàn thứ nhất

Áp dụng bổ đề đường chéo cho vị từ chứng minh được tạo ra một câu đúng chính xác khi không thể chứng minh được, vì vậy một lý thuyết số học được tiên đề hóa hiệu quả nhất quán có một câu mà nó không thể chứng minh cũng như không thể bác bỏ.

Định lý bất toàn thứ hai

Việc hình thức hóa chứng minh của định lý thứ nhất trong lý thuyết cho thấy rằng lý thuyết chứng minh tính nhất quán của chính nó chỉ khi nó không nhất quán, vì vậy một lý thuyết nhất quán không thể thiết lập tính nhất quán của chính nó.

Clinical relevance

Các định lý bất toàn đã định hình lại nền tảng của toán học bằng cách chỉ ra rằng không có hệ thống hình thức nhất quán đơn lẻ nào có thể giải quyết mọi vấn đề số học hoặc chứng nhận độ tin cậy của chính nó, điều này giới hạn chương trình của Hilbert và thúc đẩy các phép đo lý thuyết về sức mạnh dựa trên số thứ tự và việc nghiên cứu tính nhất quán tương đối.

History

Goedel đã công bố các định lý bất toàn vào năm 1930 và xuất bản chúng vào năm 1931, lật đổ kỳ vọng rằng số học có thể được tiên đề hóa một cách hoàn chỉnh và tự chứng nhận. Rosser đã củng cố các giả thuyết vào năm 1936, và định lý đương thời của Tarski về tính không thể định nghĩa được của chân lý đã đưa ra một kết quả giới hạn có liên quan chặt chẽ.

Key figures

• Kurt Goedel
• Alfred Tarski
• J. Barkley Rosser
• David Hilbert

Seminal works

• smith2013
• godel1931
• boolos2007

Frequently asked questions

Các định lý bất toàn có nói rằng toán học không nhất quán không?

Không. Chúng nói rằng bất kỳ hệ thống hình thức nhất quán và đủ mạnh nào cũng không đầy đủ và không thể chứng nhận tính nhất quán của chính nó. Chúng không đặt ra nghi ngờ về tính đúng đắn của toán học, mà chỉ về phạm vi của bất kỳ hệ thống tiên đề nào.

Bất toàn có nghĩa là một số chân lý không thể biết được không?

Không theo nghĩa tuyệt đối. Một câu không thể chứng minh được trong một lý thuyết có thể chứng minh được trong một lý thuyết mạnh hơn, chẳng hạn bằng cách thêm một phát biểu nhất quán hoặc một tiên đề mạnh hơn. Bất toàn là một giới hạn của mỗi hệ thống cố định, không phải là một rào cản đối với kiến thức toán học nói chung.