Gần đây tôi đã suy nghĩ về tính hợp lệ của bằng chứng bằng mâu thuẫn. Tôi đã đọc trong vài ngày qua những điều về logic trực giác và các định lý của Godel để xem liệu chúng có cung cấp cho tôi câu trả lời cho câu hỏi của tôi không. Ngay bây giờ tôi vẫn còn thắc mắc (có lẽ liên quan đến tài liệu mới tôi đọc) và hy vọng sẽ nhận được câu trả lời
( CẢNH BÁO : bạn sắp tiến hành đọc nội dung với những nền tảng rất bối rối trong logic, lấy mọi thứ bằng một hạt muối, giả sử đó là một câu hỏi và không phải là một câu trả lời, có nhiều hiểu lầm trong đó).
Tôi nghĩ rằng câu hỏi chính của tôi là, một khi chúng tôi đã chỉ ra rằng không phải A dẫn đến một số mâu thuẫn, vì vậy không phải A phải sai, sau đó chúng tôi đi và kết luận rằng A phải đúng. Đó là một phần có ý nghĩa (đặc biệt là nếu tôi chấp nhận luật trung gian bị loại trừ như một điều gì đó có ý nghĩa) nhưng điều làm phiền tôi là cách chứng minh bằng mâu thuẫn thực sự xảy ra. Đầu tiên chúng ta bắt đầu không phải A và sau đó chúng ta chỉ áp dụng các tiên đề và quy tắc suy luận (nói một cách máy móc) và xem nơi đưa chúng ta đến. Nó thường đạt đến một mâu thuẫn (giả sử A là đúng hoặc và là đúng). Chúng tôi kết luận rằng không phải A phải sai, vì vậy A là đúng. Tốt rồi. Nhưng câu hỏi của tôi là, những hệ thống chính thức nào đảm bảoφNếu tôi áp dụng quy trình tương tự nhưng bắt đầu với A mà tôi cũng sẽ không nhận được mâu thuẫn ở đó ? Tôi nghĩ rằng có một số giả định ẩn đang diễn ra bằng chứng bởi những mâu thuẫn rằng nếu tương tự làm quá trình tương tự trong Một người sẽ không đạt được mâu thuẫn , chúng ta sẽ có những đảm bảo nào sẽ không xảy ra? Có bằng chứng nào là không thể? Nói cách khác, nếu tôi có Máy quay (TM) (hoặc siêu TM) tồn tại mãi mãi, thì đã thử tất cả các bước hợp lý từ mọi tiên đề bắt đầu từ tuyên bố được cho là đúng , điều gì đảm bảo rằng nó KHÔNG HALT do tìm thấy mâu thuẫn ?
Sau đó, tôi đã thực hiện một số mối liên hệ với câu hỏi trước đây của tôi với định lý không hoàn chỉnh của Godel giống như thế này:
Một hệ thống F chính thức biểu thị số học không thể chứng minh tính nhất quán của chính nó (trong F).
Điều này về cơ bản đã cho tôi thấy rõ rằng nếu điều đó đúng thì tính nhất quán tức là đảm bảo rằng A và không A sẽ không xảy ra là không thể. Do đó, dường như bằng chứng đó là bằng chứng mâu thuẫn chỉ mặc nhiên cho rằng tính nhất quán được bảo đảm bằng cách nào đó (nếu không thì tại sao nó lại đi trước và kết luận rằng A là đúng bằng cách chứng minh không phải A là không thể nếu nó không biết rằng tính nhất quán và mâu thuẫn ở đâu tốt, cho bất kỳ cặp câu A và không A)? Điều này là không chính xác hoặc tôi đã bỏ lỡ một cái gì đó?
Sau đó tôi nghĩ, ok cho phép chỉ đưa vào các tiên đề của chúng ta quy tắc loại trừ giữa và sau đó tất cả các vấn đề được giải quyết. Nhưng sau đó tôi nhận ra, hãy đợi nếu chúng ta làm điều đó, chúng ta chỉ đang xác định vấn đề thay vì xử lý nó. Nếu tôi chỉ buộc hệ thống của mình nhất quán theo định nghĩa thì điều đó không nhất thiết có nghĩa là nó thực sự là nhất quán phải không? Tôi chỉ đang cố gắng hiểu ý tưởng của những ý tưởng này và tôi không chắc phải làm gì nhưng đây là điều tôi nhận ra sau vài ngày đọc nội dung và xem video ở gần như mọi khía cạnh của những khái niệm này, mâu thuẫn, độc quyền, logic trực giác, định lý đầy đủ và không hoàn chỉnh của Godel
Liên quan đến vấn đề này, có vẻ như về cơ bản không thể thực sự trực tiếp chứng minh rằng một cái gì đó là sai mà không có quy tắc loại trừ giữa (hoặc mâu thuẫn). Có vẻ như các hệ thống bằng chứng rất tốt trong việc chứng minh các tuyên bố đúng nhưng theo hiểu biết của tôi thì không có khả năng trực tiếp cho thấy rằng mọi thứ là sai. Có lẽ cách họ làm điều đó gián tiếp hơn với mâu thuẫn (trong đó họ thể hiện điều gì đó phải là sai hoặc điều xấu xảy ra), hoặc loại trừ giữa (khi biết giá trị thật của chỉ một người A hoặc không A cho chúng ta sự thật của người khác) hoặc cung cấp các ví dụ phản biện (về cơ bản cho thấy điều ngược lại là đúng nên gián tiếp sử dụng luật loại trừ giữa). Tôi đoán có lẽ tôi thực sự muốn một bằng chứng mang tính xây dựng rằng một cái gì đó là sai?
Tôi nghĩ rằng nếu tôi có thể biết rằng nếu tôi chứng minh không phải A là sai (nói rằng tôi chấp nhận mâu thuẫn) thì điều đó thực sự ổn và tôi không cần phải áp dụng tất cả các quy tắc suy luận và tiên đề vô hạn vào A và tôi được đảm bảo rằng A đã thắng 'đạt đến một mâu thuẫn. Nếu đó là sự thật thì tôi nghĩ rằng tôi có thể chấp nhận bằng chứng bằng cách mâu thuẫn dễ dàng hơn. Đây có phải là sự thật hay là sự không hoàn hảo thứ hai của Godel đảm bảo tôi không thể có điều này? Nếu tôi không thể có điều này sau đó, điều khiến tôi băn khoăn là làm thế nào mà thậm chí rất nhiều năm các nhà toán học làm toán mà chúng ta không tìm thấy sự mâu thuẫn? Tôi có cần phải dựa vào bằng chứng thực nghiệm về tính nhất quán không? Hoặc ví dụ, tôi prof F nhất quán bằng cách hiển thị superF chứng minh F nhưng vì tôi sẽ không bao giờ thực sự cần superF và chỉ F, nên tôi không thể là nội dung thực sự hoạt động?
Tôi chỉ nhận thấy rằng khiếu nại của tôi cũng khái quát đến bằng chứng trực tiếp. Được rồi nếu tôi làm bằng chứng trực tiếp về A thì tôi biết A là đúng ... nhưng làm sao tôi biết rằng nếu tôi làm bằng chứng trực tiếp không phải A mà tôi cũng sẽ không có được bằng chứng chính xác? Có vẻ cùng một câu hỏi chỉ nhấn mạnh một chút ....