Tại sao âm thanh ngụ ý sự nhất quán?


12

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:

  1. 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)ϕϕ
  2. 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:

CharlieSystem{Axioms={A,¬A},InferenceRules={NOT()}}

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ộtA¬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.


Tất cả hệ thống chúng tôi đang quan tâm đến việc can mâu thuẫn xuất phát từ và . ¬ MộtA¬Một
Yuval Filmus

@YuvalFilmus Tôi không nghĩ tôi hiểu ý kiến ​​của bạn nghĩa là gì ... điều đó có nghĩa là với các tiên đề của tôi, bạn luôn có thể rút ra được một mâu thuẫn? Đó là loại quan điểm của tôi không? Xin lỗi tôi không nhận được nó. Tôi nghĩ rằng câu hỏi của tôi chỉ là về ngữ nghĩa của từ "âm thanh" và "tính nhất quán" vì ví dụ của tôi chỉ liên quan đến việc phân loại "hệ thống logic" mà tôi đã tạo nên.
Charlie Parker

Nó có nghĩa là hệ thống của bạn không quá thú vị. Tất cả các hệ thống đưa ra trong nghiên cứu đều đủ mạnh để rút ra mâu thuẫn trong bối cảnh này.
Yuval Filmus

1
@YuvalFilmus hệ thống của tôi không cho là "thú vị" để làm toán thực sự, tất nhiên tôi biết điều đó. Hệ thống của tôi đã được định nghĩa sư phạm để làm cho câu hỏi của tôi rõ ràng và đơn giản và làm rõ sự nhầm lẫn mà tôi có liên quan đến sự đúng đắn và nhất quán. Nhưng trong bài giảng mà tôi đã liên kết, Scott nói sau đó rằng Soundness kể từ khi nói về Chân lý "thực", phải nhất quán vì Chân lý phải nhất quán với chính nó (tức là Đúng không thể bằng Sai). Vì vậy, có vẻ như hệ thống Âm thanh chỉ được kế thừa bởi tiên đề loại trừ trung gian tự động. Là sự hiểu biết hiện tại của tôi.
Charlie Parker

Là và cả đúng không? Nếu không thì nó như thế nào? ¬ MộtMột¬Một
dùng253751

Câu trả lời:


16

Tôi khuyên bạn nên xem xét logic chính thức ngoài những mô tả mơ hồ, gợn sóng. Nó thú vị và rất phù hợp với khoa học máy tính. Thật không may, thuật ngữ và trọng tâm hẹp của ngay cả sách giáo khoa cụ thể về logic hình thức có thể đưa ra một bức tranh bị biến dạng về logic là gì. Vấn đề là hầu hết thời gian khi các nhà toán học nói về "logic", họ (thường ngầm) có nghĩa là logic mệnh đề cổ điển hoặc logic thứ nhất cổ điển. Mặc dù đây là những hệ thống logic cực kỳ quan trọng, nhưng chúng không ở gần bề rộng của logic. Ở mức độ nào, những gì tôi sẽ nói phần lớn diễn ra trong bối cảnh hẹp đó, nhưng tôi muốn làm rõ rằng nó đang xảy ra trong một bối cảnh cụ thể và không cần phải đúng bên ngoài nó.

Đầu tiên, nếu tính nhất quán được định nghĩa là không chứng minh cả và , điều gì xảy ra nếu logic của chúng ta thậm chí không có phủ định hoặc nếu¬ Một ¬Một¬Một¬có nghĩa là gì khác? Rõ ràng, khái niệm về tính nhất quán này đưa ra một số giả định về bối cảnh logic mà nó vận hành. Thông thường, đây là việc chúng ta đang làm việc trong logic mệnh đề cổ điển hoặc một số mở rộng của nó như logic thứ nhất cổ điển. Có nhiều bài thuyết trình, tức là danh sách các tiên đề và quy tắc, có thể được gọi là logic mệnh đề / thứ tự cổ điển, nhưng, với mục đích của chúng tôi, điều đó không thực sự quan trọng. Chúng tương đương trong một số ý nghĩa phù hợp. Thông thường, khi chúng ta đang nói về một hệ thống logic, chúng tôi muốn nói đến một lý thuyết bậc nhất (cổ điển). Điều này bắt đầu với các quy tắc và tiên đề (logic) của logic thứ nhất cổ điển, mà bạn thêm các ký hiệu hàm đã cho, ký hiệu vị ngữ và tiên đề (được gọi là tiên đề phi logic). Những lý thuyết bậc nhất này thường là những gì chúng ta '

Tiếp theo, âm thanh thường có nghĩa là âm thanh liên quan đến một ngữ nghĩa. Tính nhất quán là một thuộc tính cú pháp phải làm với những bằng chứng chính thức mà chúng ta có thể đưa ra. Soundness là một thuộc tính ngữ nghĩa có liên quan đến cách chúng ta diễn giải các công thức, ký hiệu hàm và các ký hiệu vị ngữ thành các đối tượng và câu lệnh toán học. Để thậm chí bắt đầu nói về âm thanh, bạn cần đưa ra một ngữ nghĩa, nghĩa là một sự giải thích về những điều đã nói ở trên. Một lần nữa, chúng ta có một sự tách biệt giữa các kết nối logic và các tiên đề logic và các ký hiệu hàm, ký hiệu vị ngữ và các tiên đề phi logic. Điều làm cho các kết nối kết nối và các tiên đề logic theo quan điểm ngữ nghĩa là chúng được xử lý đặc biệt bởi ngữ nghĩa trong khi các ký hiệu hàm, ký hiệu vị ngữ và các tiên đề phi logic thì không.[ ][[φψ]]= =[[φ]][[ψ]] nơi tôi sử dụng như cách giải thích của công thức . Cụ thể, Trong đó là tên miền được đặt. Ý tưởng là một công thức được hiểu là tập hợp các phần tử miền (tuples of) thỏa mãn công thức. Một công thức đóng (tức là một công thức không có biến miễn phí) được hiểu là một mối quan hệ vô hiệu, nghĩa là một tập hợp con của một tập hợp đơn lẻ chỉ có thể là tập đơn hoặc tập rỗng. Một công thức đóng là "đúng" nếu nó không được hiểu là tập rỗng. Soundness sau đó là tuyên bố rằng mọi công thức có thể chứng minh (đóng) là "đúng" theo nghĩa trên.φ [[[φ]]φD[[¬φ]]= =D[[φ]]D

Thật dễ dàng từ đây, ngay cả từ bản phác thảo mà tôi đã đưa ra, để chứng minh rằng sự đúng đắn bao hàm sự nhất quán (trong bối cảnh của các logic thứ nhất cổ điển và ngữ nghĩa mà tôi đã phác họa). Nếu logic của bạn là âm thanh, sau đó mỗi chứng minh diễn giải công thức như là một tập không rỗng, nhưng là luôn hiểu là tập rỗng không có vấn đề gì công thức là, và vì vậy nó không thể chứng minh được, tức là logic của bạn là nhất quán.[

[[φ¬φ]]= =[[φ]](D[[φ]])= =
φ[[φ¬φ]]φ

2
vui lòng giới thiệu cho tôi một cuốn sách về logic, tôi thực sự không biết thế nào là một tài liệu tham khảo tốt, đặc biệt là cho người mới bắt đầu học logic. Điều buồn cười là tôi đã có các thuật toán và phân tích thực tế, vì vậy tôi chưa bao giờ thực sự nghĩ nghiêm túc về logic.
Charlie Parker

1
Thật thú vị, tôi luôn nghĩ rằng "sự thật" có nghĩa là chúng tôi đã ánh xạ một tuyên bố tới các giá trị boolean 0 và 1. Nhưng có vẻ như điều đó không chính xác. Tôi đoán chúng ta có thể sửa lỗi mô hình sai của mình bằng cách đặt bản đồ trống thành 0 và không trống thành 1. Mặt khác, tôi không chắc người ta có thể viết lại bằng chứng của bạn như thế nào trong "định nghĩa của tôi về sự thật là hàm ánh xạ tới 1 hoặc 0 ".
Charlie Parker

1
Đó là ngữ nghĩa điển hình cho logic mệnh đề cổ điển , có thể được xem như một trường hợp đặc biệt của logic thứ nhất cổ điển trong đó tất cả các vị từ đều không có giá trị. Các giá trị "sự thật" của Boolean thực sự ánh xạ tới tập hợp trống và tập đơn trong khung nhìn này. Một trong những điểm không rõ ràng trong đoạn đầu tiên của tôi là đề xuất rằng các logic khác nhau có các khái niệm khác nhau về ngữ nghĩa. Ngay cả đối với một logic cố định, có nhiều ngữ nghĩa có thể có thể được đưa ra cho nó. Có một lý do tôi nói "ngữ nghĩa điển hình" chứ không chỉ là "ngữ nghĩa".
Derek Elkins rời SE

1
Derek, nếu bạn có thời gian, bạn có thể nhớ một ví dụ cụ thể về tên miền và làm thế nào nó thực sự dẫn đến tập hợp trống? (Tôi cũng rất vui khi đưa ra một câu hỏi mới nếu bạn thích) Tôi đã nghĩ đến một ví dụ nhưng không biết làm thế nào để hoàn thành nó. Ví dụ đã chỉ ra rằng 2 là hợp lý VÀ 2 là không hợp lý dẫn đến tập hợp trống (hoặc với ). Tôi đã nghĩ rằng D là một số nguyên. Sau đó, Ánh xạ tới nhưng tôi không chắc Ánh xạ tới. Bạn có biết làm thế nào để hoàn thành ví dụ này một cách hợp lý không? Hoặc chỉ cho tôi một ví dụ? [2[[2 is rational]](2,1)[[2 is irrational ]]
Charlie Parker

1
Đó là nơi mà triết lý toán học có thể xuất hiện. Những người theo chủ nghĩa Platon tin rằng sự thật của các phát biểu lý thuyết tập hợp (nói) chỉ có thể biết được mà không cần phải đòi hỏi logic. Đối với họ, các biểu thức lý thuyết tập hợp ý nghĩa của các công thức logic. Các nhà hình thức sẽ sử dụng cú pháp, thay vì các cách tiếp cận ngữ nghĩa, nghĩa là "true" = "provable". Các nhà xây dựng có một khái niệm khác về "sự thật" và trường tiểu học định hướng tính toán nhiều hơn sẽ chứng kiến ​​"sự thật" thông qua một chương trình.
Derek Elkins rời SE

3

Âm thanh và tính nhất quán là tính chất của hệ thống suy luận. Âm thanh chỉ có thể được định nghĩa đối với một số ngữ nghĩa được giả định là được đưa ra độc lập với hệ thống suy luận.

Trong lĩnh vực ngữ nghĩa, hai thuộc tính có liên quan với nhau

Định nghĩa 1 ( Soundness [Semantics] - mượn từ Wikipedia ) Tính đúng đắn của một hệ thống suy diễn là thuộc tính mà bất kỳ câu nào có thể chứng minh được trong hệ thống suy diễn đó cũng đúng với mọi cách hiểu hoặc cấu trúc của lý thuyết ngữ nghĩa đối với ngôn ngữ mà theo lý thuyết đó dựa trên.

Định nghĩa 2 ( Tính nhất quán [Semantics] ) Một tập hợp các câu trong ngôn ngữ là phù hợp khi và chỉ khi có tồn tại một cấu trúc của ngôn ngữ thỏa mãn tất cả các câu trong . Một hệ thống suy diễn là phù hợp nếu tồn tại một cấu trúc thỏa mãn tất cả các công thức có thể chứng minh được trong đó.ALLA

Với hai định nghĩa được đưa ra ở trên, rõ ràng âm thanh bao hàm sự nhất quán. Tức là nếu tập hợp tất cả các câu có thể chứng minh được trong tất cả các cấu trúc của ngôn ngữ thì tồn tại ít nhất một cấu trúc thỏa mãn chúng.


1
thực ra tôi đã tránh wikipedia một cách rõ ràng bởi vì tôi không hiểu "đối với ngữ nghĩa nghĩa là gì". Bạn có nhớ làm rõ điều đó có nghĩa là gì? Ngoài ra, bạn có nhớ giải thích rõ hơn một chút tại sao âm thanh rõ ràng của nó ngụ ý sự nhất quán? Tất nhiên nó không rõ ràng với tôi vì câu hỏi này tồn tại: p
Charlie Parker

@CharlieParker Tôi đọc bình luận của bạn dưới các bài viết khác. Tôi không chắc có tồn tại một văn bản cho người mới bắt đầu giải thích những điều cơ bản của hệ thống chứng minh và lý thuyết mô hình tốt hơn các chương giới thiệu của "Lý thuyết mẫu" của Hodges. Một ngoại lệ là "Một lý thuyết mô hình ngắn hơn" của cùng một tác giả. Tôi thú nhận, trong bài đăng của tôi, tôi đã gian lận và định nghĩa tính nhất quánsự thỏa đáng , bởi vì quan điểm của việc nói về tính nhất quán là có một đặc tính của sự thỏa mãn trong hệ thống bằng chứng.
Dmitri Chubarov

Cảm ơn! Tôi sẽ kiểm tra xem! Thực ra, tôi không cần một "cuốn sách mới bắt đầu" và tốt cuốn sách là tốt. Nếu cuốn sách cũng nhấn mạnh vào trực giác và ý tưởng thay vì chỉ bằng chứng sẽ tốt hơn nữa!
Charlie Parker

2

Hệ thống chứng minh bạn không phải là âm thanh cũng không phù hợp, vì không phải là một đề xuất đúng trừ Một , Trong trường hợp này ¬ Một không là một đề xuất đúng. Lập luận này cho thấy rằng mọi hệ thống bằng chứng âm thanh cũng nhất quán.MộtMột¬A


Truth()A¬A

Sự thật có một định nghĩa ngữ nghĩa: đánh giá là đúng theo tất cả các bài tập sự thật. Bạn không được chọn cách bạn xác định thuật ngữ này.
Yuval Filmus

Có lẽ đó là nơi tôi bối rối do đó câu hỏi của tôi. Mặc dù về mặt kỹ thuật, Scott đã đề cập đến sự thật không thể được định nghĩa bằng toán học ... nhưng hãy bỏ qua tính kỹ thuật đó để tranh luận để tôi có thể hiểu được vấn đề. Bạn có thể giải thích lại ý nghĩa của sự thật không? cảm ơn sự kiên nhẫn của bạn :)
Charlie Parker

1
Trong ngữ cảnh của logic mệnh đề, một công thức là một tautology nếu nó đúng trong tất cả các bài tập sự thật. Một hệ thống chứng minh mệnh đề là âm thanh nếu tất cả các công thức mà nó chứng minh là tautological.
Yuval Filmus

Tôi biết bạn đang cố gắng giúp đỡ và tôi đánh giá cao nó nhưng bằng cách nào đó bằng chứng của bạn quá ngắn để thực sự giải thích cho tôi những gì đã sai với ví dụ của tôi trong bài viết gốc. Nếu bạn có thể làm rõ điều đó sẽ là tuyệt vời. Tôi đoán câu hỏi của tôi là, những bài tập thật nào mang lại vấn đề cho hệ thống mà tôi đề xuất?
Charlie Parker

2

Thông thường khi chúng ta đưa ra các hệ thống logic, chúng được thúc đẩy bởi một nỗ lực để mô tả một hiện tượng có sẵn. Ví dụ, số học Peano là một nỗ lực để axiomat hóa các số tự nhiên cùng với các hoạt động của phép cộng và phép nhân.

Âm thanh chỉ có thể được định nghĩa liên quan đến hiện tượng bạn đang cố gắng mô tả, và về cơ bản có nghĩa là các tiên đề và quy tắc suy luận của bạn thực sự mô tả sự việc đang nghi vấn. Vì vậy, ví dụ, số học Peano là âm thanh bởi vì các tiên đề và quy tắc suy luận của nó thực sự đúng với các số tự nhiên.

Tất nhiên, điều này ngụ ý rằng bạn có một khái niệm về "số tự nhiên" ngoài định nghĩa của Peano về chúng, và một số khái niệm về điều gì là đúng hay sai đối với các số tự nhiên mà không có được những sự thật này từ bất kỳ tiên đề cụ thể nào. Cố gắng giải thích những sự thật đó đến từ đâu hoặc làm thế nào chúng có thể được xác minh có thể đưa bạn đến vùng nước nóng triết học. Nhưng nếu bạn coi đó là số tự nhiên, và có một số tập hợp sự thật về chúng, thì bạn có thể xem dự án axiomatization chỉ đơn giản là cố gắng đưa ra một đặc tả chính thức ngắn gọn từ đó nhiều đặc điểm quan trọng nhất sự thật có thể được bắt nguồn. Sau đó, một axiomatization là âm thanh nếu tất cả mọi thứ nó có thể chứng minh thực sự là trong bộ sưu tập sự thật được chỉ định trước, đó là,

(Đặc biệt lưu ý rằng đặc điểm kỹ thuật chính thức của bạn sẽ không chứng minh mọi thứ đúng về số tự nhiên và hơn nữa sẽ không mô tả duy nhất các số tự nhiên trong đó có các cấu trúc khác, khác với các số tự nhiên, trong đó các tiên đề của Peano cũng đúng.)

Trong logic thứ nhất, ít nhất, một lý thuyết là nhất quán nếu nó có bất kỳ mô hình nào cả. Soundness có nghĩa là nó có mô hình cụ thể mà bạn muốn: cấu trúc cụ thể mà bạn đang cố gắng mô tả với lý thuyết của bạn thực sự là một mô hình của lý thuyết của bạn. Từ quan điểm này, rõ ràng tại sao âm thanh ngụ ý sự nhất quán.

¬

¬N

¬

Một điều nữa: chúng ta không cho rằng các tiên đề là đúng theo định nghĩa. Tất cả các tiên đề theo định nghĩa chỉ là các khối xây dựng cơ bản của bằng chứng. Họ chỉ tuyên bố: chúng chỉ đúng hoặc sai khi áp dụng cho các đối tượng toán học cụ thể. Bạn có thể có các tiên đề sai, nó chỉ là khá ngớ ngẩn, bởi vì hệ thống của bạn sau đó sẽ nhất thiết và ngay lập tức không có âm thanh.


1

Để có câu trả lời ngắn gọn (và trực quan) tôi sẽ diễn giải những gì Scott Aaronson đã nói trong bài giảng MIT 6.045 / 18.400 của mình. Anh ấy nói một cái gì đó như thế này:

Âm thanh có nghĩa là tất cả mọi thứ có thể chứng minh là đúng. Vì tính nhất quán có nghĩa là không có mâu thuẫn và âm thanh liên quan đến khái niệm chân lý và sự thật phải nhất quán (nghĩa là Đúng! = Sai), nên nó phải có nghĩa là hệ thống Âm thanh cũng nhất quán. Vì vậy, Soundness ngụ ý sự nhất quán bởi vì (thực sự) những điều thực sự không có mâu thuẫn.

Bây giờ tôi phản ánh tôi nhận ra rằng tôi đã có một số giả định / ý tưởng không chính xác:

  1. Tôi đã không nhận ra âm thanh là về ngữ nghĩa. Vì vậy, tôi đã không nhận ra rằng chỉ sử dụng các quy tắc suy luận từ các tiên đề là không đủ để dẫn đến hậu quả thực sự (và nó không đảm bảo điều đó, mà tôi nghĩ là không thể đạt được những điều mâu thuẫn chừng nào chúng ta bắt đầu từ các tiên đề và sử dụng quy tắc suy luận hợp lệ).
  2. Tôi nghĩ rằng miễn là các tiên đề là đúng và các quy tắc suy luận có ý nghĩa mọi thứ tiến hành sẽ là đúng. Điều mà bây giờ tôi nhận ra có thể không đúng vì nếu chúng ta chỉ có một danh sách các tiên đề và suy luận quy tắc thì thật khó để suy luận nếu mọi thứ tiếp theo sẽ là sự thật. tức là chỉ bắt đầu từ một tiên đề và sử dụng quy tắc suy luận hợp lệ là không đủ để đảm bảo rằng bước tiếp theo sẽ đúng.
  3. Cái trước về cơ bản được kết hợp với thực tế là tôi đã không nhận ra rằng có hai mức độ phức tạp, 1) ngữ nghĩa 2) cú pháp. Cranking các biểu tượng crunching trò chơi có thể dẫn đến mâu thuẫn.
  4. Tôi đã không nhận ra rằng tôi đã không biết đặc tính đúng đắn của sự thật, mà derek đã làm rất tốt trong việc mô tả đặc điểm.

"Tôi nghĩ rằng miễn là các tiên đề là đúng và các quy tắc suy luận có ý nghĩa mọi thứ tiến hành sẽ là đúng." Đối với một khái niệm chính xác phù hợp về "ý nghĩa", điều này đúng. Nếu hệ thống của bạn không ổn định thì (ít nhất) một trong những tiên đề của bạn là sai hoặc quy tắc suy luận không hợp lệ.
Ben Millwood

@BenMillwood nhưng đó là sai, không? Bởi vì định lý bất toàn thứ hai của Godel. Đối với bất kỳ hệ thống F chính thức nào bao gồm số học, người ta không thể chứng minh tính nhất quán của nó trong F. Tôi cho rằng điều đó có nghĩa là giả định của tôi về âm thanh là không thể (nghĩa là chúng ta không thể có một hệ thống chính thức rằng mọi thứ có thể chứng minh được là đúng vì điều đó sẽ đúng có nghĩa là sự nhất quán dường như là không thể, trừ khi tất nhiên tôi có một số quan niệm sai lầm về định lý không hoàn chỉnh thứ 2). Thành thật mà nói tôi ổn nếu chúng ta không có sự trọn vẹn, điều tôi thấy đáng lo ngại là chúng ta thậm chí không thể có sự nhất quán.
Charlie Parker

F chắc chắn có thể nhất quán, bạn không thể tìm thấy bằng chứng về thực tế đó ở F. Bạn phải khiếu nại một số hệ thống mạnh hơn hoặc các đối số không chính thức hoặc chỉ chấp nhận một số loại không chắc chắn mà mặc dù F có thể phù hợp với bạn sẽ không thể xây dựng một cuộc tranh luận kín nước rằng nó là như vậy.
Ben Millwood

@BenMillwood Tôi đoán đó là những gì tôi đang giả sử trong câu trả lời của mình. Rằng có sự không chắc chắn rằng bằng chứng thực sự hoạt động và một bước tiếp theo có thể dẫn đến một số sai lầm. Nếu tôi biết điều đó không đúng thì tôi chắc chắn bằng cách nào đó tôi sẽ không gặp phải mâu thuẫn nào vi phạm định lý bất toàn thứ 2 của Godel. Hoặc đó là những gì tôi hiểu cho đến nay.
Charlie Parker

@BenMillwood Tôi đoán rằng tôi đã từ bỏ niềm tin rằng việc áp dụng các quy tắc suy luận mang lại cho chúng tôi những tuyên bố tiếp theo là tuyên bố đúng với 100%. Thay vào đó tôi nghĩ rằng tôi đã mặc nhiên cho rằng niềm tin rằng tiến về phía trước chỉ là vấn đề cú pháp hơn là về ngữ nghĩa ... tất nhiên có thể sai, chủ đề này có vẻ khó hiểu và thiếu tế nhị.
Charlie Parker
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.