[일반] 컴퓨터를 통한 증명은 컴퓨터자신이오류를 발견불가?

[익명(118.235)]

컴퓨터를 통해 1=0이라는 증명이나오고

컴퓨터자신은 이 증명의 오류를 근본적으로찾을수없엇다

는 게잇네

- dc official App

[익명(223.39)]

컴퓨터도 인간이 프로그래밍한건데 그런식으로 질문하면 별 의미가 없는 말이 되어버림. "만약 1=0이라는 결과를 얻었다면 틀렸다고 판단해라" 코드 한줄 추가하면 스스로 확인가능하다할것도 아니자늠?