모든 문제가 풀리는 이유
게시글 주소: https://orbi.kr/00073780110
위 링크는 모든 수학문제가 풀리는 이유임
그 이유는, 모든 형식논리체계를 표현력 유지한채 명제논리로 나타낼수 있고
명제논리는 결정가능하므로 모든 형식문제가 풀리며, 따라서 모든 수학문제가 풀림
여기서 더나아가
애초에 "모든 문제(형식아닌것도 포함)" 의 기반이 무엇인가? 한다면
이 세상자체가 물리학, 수학, 논리학등의 기반으로 동작하는 세상이기때문에
그러한 세상에 존재하는 문제역시 그 기반에 의해 당연히 형식문제화 될수밖에 없음
그러니까
모든문제가 형식문제화 되고, 형식문제는 다풀리므로,
"모든 문제가 풀린다"
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이게 맞노..?
-
미적 질문 3 0
문제에서 양수 t에 대하여 때문에 t를 기준으로 최소인건가유?
-
해설지를 훑어보니 다른 문제들은 굉장히 훌륭하게 풀어주셨는데 15번 해설에는 좀...
-
설맞이 걸리는 시간 2 0
확통러 6모 92 7모 88인데 2주안으로 하나씩 끝내면 괜찮은 정도일까요? 너무느리나?
-
설맞이 하루양 질문 0 0
확통러 6모 92 7모 88인데 2주안으로 하나씩 끝내면 괜찮은 정도일까요? 너무느리나?
-
아 벤픽 안좋다.. 0 0
ㅠ
-
수1수2시발점 병행 0 0
현 고2입니다 수1은 한번 했고 수2는 안해봤는데 수1수2시발점 병행 가능할까요?...
-
님들은 어캐생각함?
반례 발견 '나'
쿠쿠리 등짝을보자
이분 학력이 어케됨
고졸..
헉
서울대의대임