Tôi đã đọc câu hỏi Tính nhất quán và đầy đủ có nghĩa là sự đúng đắn? và tuyên bố đầu tiên trong đó nói:
Tôi hiểu rằng âm thanh ngụ ý sự nhất quán.
Điều mà tôi đã khá bối rối vì tôi nghĩ rằng âm thanh là một tuyên bố yếu hơn sự nhất quán (nghĩa là tôi nghĩ các hệ thống nhất quán phải là âm thanh nhưng tôi đoán nó không đúng). Tôi đã sử dụng định nghĩa không chính thức Scott Aaronson đang sử dụng trong khóa học 6.045 / 18.400 của mình tại MIT để thống nhất và Soundness:
- Soundness = Một hệ thống bằng chứng là âm thanh nếu tất cả các tuyên bố mà nó chứng minh là thực sự đúng (mọi thứ có thể chứng minh là Đúng). tức là IF ( là có thể chứng minh) ( là đúng). Vì vậy, IF (có đường dẫn đến công thức) THEN (công thức đó là True)
- Tính nhất quán = một hệ thống nhất quán không bao giờ chứng minh A và KHÔNG (A). Vì vậy, chỉ có một A hoặc phủ định của nó có thể là Đúng.
Sử dụng các định nghĩa (có lẽ không chính thức) trong tâm trí Tôi đã xây dựng ví dụ sau để chứng minh rằng có một hệ thống âm thanh nhưng không nhất quán:
Lý do là tôi nghĩ rằng đó là một hệ thống âm thanh là bởi vì giả định các tiên đề là đúng. Vì vậy, A và không phải A đều đúng (vâng tôi biết luật không loại trừ giữa không được bao gồm). Vì quy tắc suy luận duy nhất là phủ định, chúng ta có được rằng chúng ta có thể đạt được cả A và không phải A từ các tiên đề và tiếp cận nhau. Do đó, chúng tôi chỉ đạt được các tuyên bố đúng về hệ thống này. Tuy nhiên, tất nhiên hệ thống không nhất quán vì chúng ta có thể chứng minh sự phủ định của tuyên bố duy nhất trong hệ thống. Do đó, tôi đã chứng minh rằng một hệ thống âm thanh có thể không nhất quán. Tại sao ví dụ này không chính xác? Tôi đã làm gì sai?
Trong đầu tôi điều này có ý nghĩa bằng trực giác bởi vì âm thanh chỉ nói rằng một khi chúng ta bắt đầu và tiên đề và xoay quanh các quy tắc suy luận, chúng ta chỉ đạt được tại các điểm đến (tức là các câu lệnh) là Đúng. Tuy nhiên, nó không thực sự nói chúng ta đến đích. Tuy nhiên, tính nhất quán nói rằng chúng ta chỉ có thể đến đích đạt hoặc (cả hai không phải cả hai). Vì vậy, mọi hệ thống nhất quán phải bao gồm luật trung gian bị loại trừ như một tiên đề, tất nhiên tôi đã không và sau đó chỉ bao gồm sự phủ định của tiên đề duy nhất là tiên đề duy nhất khác. Vì vậy, nó không cảm thấy tôi đã làm bất cứ điều gì quá thông minh, nhưng bằng cách nào đó có gì đó không đúng?¬ Một
Tôi chỉ nhận ra nó có thể là một vấn đề vì tôi đang sử dụng định nghĩa không chính thức của Scott. Ngay cả trước khi tôi viết câu hỏi tôi đã kiểm tra wikipedia nhưng định nghĩa của chúng không có ý nghĩa với tôi. Cụ thể là phần họ nói:
đối với ngữ nghĩa của hệ thống
trích dẫn đầy đủ của họ là:
mọi công thức có thể được chứng minh trong hệ thống đều có giá trị logic về mặt ngữ nghĩa của hệ thống.