증명가능한 명제들은 저희가 직접 증명하지 않아도

참 거짓이 결정 되있잖아요?

증명과 계산은 그걸 확인하는 과정일뿐

저희가 ai 딥러닝 신경망 ㅈㄴ 학습 돌려도

학습이란건 계산이고

그 계산마저 이미 수학에서 결정 되있고

그 결과를 저희가 확인하는거 일 뿐인데

이 우주는 확률에 기반해서 무작위성이 생기기 때문에

수학에도 확률을 생성하는 어떠한 구조가 있을 수 밖에 없고

그걸 일반화 불가능한 구조라고 볼수있죠

일반화가능하다면 증명가능하니까요

그래서 콜라츠추측같은 문제가 증명가능하다면

우리 우주는 예측가능하다는것이고

이는 양자역학의 존재에 모순이기 때문에

콜라츠추측, 골드바흐 추측, 모조리 추측은 확률생성 랜덤 함수기 때문에

증명불가능합니다

- dc official App