쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-07-10 18:02:36
조회수 371

모든 문제가 풀리는 이유

게시글 주소: https://orbi.kr/00073780110

https://orbi.kr/00073594612


위 링크는 모든 수학문제가 풀리는 이유임


그 이유는, 모든 형식논리체계를 표현력 유지한채 명제논리로 나타낼수 있고


명제논리는 결정가능하므로 모든 형식문제가 풀리며, 따라서 모든 수학문제가 풀림


여기서 더나아가


애초에 "모든 문제(형식아닌것도 포함)" 의 기반이 무엇인가? 한다면


이 세상자체가 물리학, 수학, 논리학등의 기반으로 동작하는 세상이기때문에


그러한 세상에 존재하는 문제역시 그 기반에 의해 당연히 형식문제화 될수밖에 없음


그러니까


모든문제가 형식문제화 되고, 형식문제는 다풀리므로,


"모든 문제가 풀린다"

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.