모든 문제가 풀리는 이유
게시글 주소: https://dev.orbi.kr/00073780110
위 링크는 모든 수학문제가 풀리는 이유임
그 이유는, 모든 형식논리체계를 표현력 유지한채 명제논리로 나타낼수 있고
명제논리는 결정가능하므로 모든 형식문제가 풀리며, 따라서 모든 수학문제가 풀림
여기서 더나아가
애초에 "모든 문제(형식아닌것도 포함)" 의 기반이 무엇인가? 한다면
이 세상자체가 물리학, 수학, 논리학등의 기반으로 동작하는 세상이기때문에
그러한 세상에 존재하는 문제역시 그 기반에 의해 당연히 형식문제화 될수밖에 없음
그러니까
모든문제가 형식문제화 되고, 형식문제는 다풀리므로,
"모든 문제가 풀린다"
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
안녕하세요 ㅎㅎ 미적분 기준 1컷 71이 나오는 시험 보느라 굉장히 고생...
반례 발견 '나'
쿠쿠리 등짝을보자
이분 학력이 어케됨
고졸..
헉
서울대의대임