Câu hỏi được gắn thẻ «incompleteness»

Tôi đã luôn nghĩ mơ hồ rằng câu trả lời cho câu hỏi trên là khẳng định dọc theo các dòng sau. Định lý không hoàn chỉnh của Gôdel và tính không ổn định của vấn đề tạm dừng vừa là kết quả tiêu cực về tính quyết định vừa …

75 computability  logic  halting-problem  incompleteness 

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 …

19 logic  first-order-logic  propositional-logic  incompleteness 

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 …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

Tôi xin lỗi nếu câu hỏi này đã được hỏi trước đó, nhưng tôi không thể tìm thấy một bản sao. Tôi vừa đọc xong The Annotated Turing và tôi hơi bối rối. Theo những gì tôi hiểu, Entscheidungspropet là liệu một thuật toán có tồn tại hay không có …

7 computability  turing-machines  logic  decision-problem  incompleteness