논증 없이 뇌피셜만 싸지른 글 많아서 컴퓨터쪽 사람으로써 좀 짜증나서 적는다
수학과면 수학과답게 증명으로 승부하라 이말이야
왈가왈부 필요 없이 컴퓨터가 할수 있는 일과 없는 일은 명료하게 증명할 수 있다고. 적어도 할 수 없는일 몇가지는 확실히 알 구 있지
컴퓨터가 할 수 없는 대표적인 일: 정지 문제
컴퓨터는 느슨한 보편 튜링 머신이니까
너네들이 옳다 그르다 떠들거 없이

"인간이 행하는 증명"을 유한 시간내에 해내는 알고리즘이 존재하는가?

저 문장이 정지문제인지 보이면 되는거 아니겠누? 근데 문제는
1. 니들이 말하는 인간이 하는 "아름다운 증명"이 수학적으로 뭘 의미하는지 감도 안잡힘
2. 풀리지 않은 문제에 대한 "참신한" 해를 도출하는건 AI니 뭐니를 갖다 붙이지 않아도 해당 명제를 불 대수로 바꿔서 표현할 수 있는지를 보면 컴퓨터가 계산할 수 있는지 미리 알 수 있음

그래서 딱 학부생이 이해한 수준으로 문제를 단순화해 바꿔보자
1. "어떤 명제를 넣었을때 이 명제의 참거짓을" 유한 시간 내에 판별할 수 있는 일반적인 알고리즘이 존재하는가?
-> 정지문제와 동치이므로 불가능
2. 그럼 어떤 특정한 문제를 특정한 방법으로 풀어낼 수 있는가?
-> 앞서 설명했듯 가능한 문제 존재

근데 솔직히 인간이 해내는 증명이라는게 1. 아니겠누? 새로운 알고리즘을 찾아내는거
그러니까 AI건 개뿔따구건 튜링머신상에선 불가능하다 이게 정답 아니누? 그러므로
   -- 수학과여 영원하라 --
위의 얘기가 틀리거나 혹은 너무 건너뛴 부분이 있을 수 있음 근데 적어도 수갤인데 저렇게는 의견 개진해줘야 컴공이던 수학과던 납득하지 않것어?

PS. 다시 읽어보니 보편적 방법으로 모든걸 해결 가능한 어떤 알고리즘을 만들 수 없다는 얘기지 특정 알고리즘을 개뚜들기면 운좋게 뚜껑 따일수 없는건 아닌거같네 수학과 미안!