그런데 그냥 드는 생각이 영상의 대전제인 처치-튜링 논제가 증명 불가능한 문제에 포함될거 같은 기분이 드네요 문제 자체가 이걸 증명하는게 가능할까?라는 생각이 들기도하고 또 영원이 증명 불가능하다고 주장하는 사람도 있고 ..... 사실은 그래서 더 좋아요 속시원하게 참이다 거짓이다. 이런 수학적인 증명이 나오지 않는다면 적어도 나중에 후손들에게 어 그거 아니라고 증명됬는데 000 수준 ㄹㅇㅋㅋ 이런식으로 조리돌림 당할 일은 없을테니까요.
그게 굉장히 오묘한 관점이긴 하죠. 인간이 계산이 아닌 것을 풀 수 있다면, 인간처럼 컴퓨터도 언젠가는 계산이 아닌 것을 '인간다운 방법'으로 풀 수 있는가? 그럼 컴퓨터는 계산이 아닌 것을 푼 것인데 그럼 그 다음부터는 그 계산이 아닌 문제도 계산이라고 봐야할까? 답은 아직 없습니다 ^^
이해는 어려워서 계속 생각해봐야겠으나.. 너무나 중요한 문제임을 직감...😮
튜링 머신 정주행했습니다 오늘부터 드디어 본론으로 들어왔네요. 일련의 영상을 보면서 느낀건 이번 시리즈에 주인공이 인공지능이라면 감독은 튜링이겠네요
그런데 그냥 드는 생각이 영상의 대전제인 처치-튜링 논제가 증명 불가능한 문제에 포함될거 같은 기분이 드네요 문제 자체가 이걸 증명하는게 가능할까?라는 생각이 들기도하고 또 영원이 증명 불가능하다고 주장하는 사람도 있고 ..... 사실은 그래서 더 좋아요 속시원하게 참이다 거짓이다. 이런 수학적인 증명이 나오지 않는다면 적어도 나중에 후손들에게 어 그거 아니라고 증명됬는데 000 수준 ㄹㅇㅋㅋ 이런식으로 조리돌림 당할 일은 없을테니까요.
네 맞습니다. 원래는 튜링이 증명하려고 했으나, 정의가 어려운 부분이 많아 증명을 포기하는 대신 아예 처치-튜링 논제에 따라 "계산"이라는 단어의 정의를 내리는 식으로 앞뒤가 역전된 형태로 쓰이고 있다고 하네요. 말쓰하신 부분들 공감됩니다 ㅋㅋ 선조 수준 ㄹㅇㅋㅋ
만약 인간이 튜링 머신이 맞다면 '계산이 아닌 것'을 스스로 고안해내서 풀어보려고 낑낑대는 상황도 튜링머신으로서 정합한 일으로 볼 수 있을까요?
그게 굉장히 오묘한 관점이긴 하죠. 인간이 계산이 아닌 것을 풀 수 있다면, 인간처럼 컴퓨터도 언젠가는 계산이 아닌 것을 '인간다운 방법'으로 풀 수 있는가? 그럼 컴퓨터는 계산이 아닌 것을 푼 것인데 그럼 그 다음부터는 그 계산이 아닌 문제도 계산이라고 봐야할까? 답은 아직 없습니다 ^^
정지 문제가 궁금했던건데 영상이 너무 쉽고 재밌어서 영상을 끊을수가 없네요...
쉽고 재미있었다니 다행입니다. 사실 정지문제가 이해하기 진짜 어려운 건데...
3:51 와 진짜? 뉴런의 어떤 기관이 양자중력을 발생시키는데요? 아 그게 Microtubule? 에이 이게 뭔지 모르겟다 검색해바야지
로저 펜로즈가 양자중력을 발생시킨다고 주장하는 microtubule는 미세소관입니다!
에이 인간의 뇌는 생존기계
당연히 계산을 하고 최적화 계산을 순간적으로 행해야하는 생존계산 전문기계 양자컴퓨터가 최적화 문제 해결에 탁월한 점이 비슷함