[일반] 설령 agi가 나온다 하더라도 수학은 완전히 대체 못함

[익명(110.76)]

왜냐하면 불완전성 정리가 있거든

특정 알고리즘을 가지고 동작하는 모든 기계는 풀지 못하는 문제가 항상 존재함

그 부분은 인간의 영역인거지

[익명(heisy1111)]

풀수있는 기계를 agi가 새로 만들면 된다는 생각은 안 해봤어?

[Eruin(eruin)]

불완전성 정리는 어떤 방법으로도 증명 혹은 반증 불가능한 명제가 있다는 것이라 사람과 기계의 차이는 아님

[Eruin(eruin)]

설마 그러한 명제를 ai가 증명해주길 바라는건 아닐거니까

[익명(w3gq0w2syydw)]

ㄹㅇ 이걸 인간과 기계의 차이로 오해하는 애들이 꽤 많더라 - dc App

[특급고통(planetkeke)]

어떤 방법으로도 x 어떤 알고리즘적인 방법으로도임

[Eruin(eruin)]

불완정성 정리는 모순 없는 수학 체계에서의 증명 불가능한 명제의 존재성에 대한 증명임. 알고리즘 어쩌고는 정지 문제랑 헷갈리는 것 같은데요

[익명(zpalqm2910)]

문제에 따라 알고리즘을 가변적으로 바꾸면 그만임

[Weisser_Adler(adler1)]

~만은 인간의 영역 : 바둑부터 차례대로 이미 깨지는 중

[Brightside(dcsh9912)]

그 기계에 사람도 포함임

[ailover(photo7512)]

수학은 뭐 인간이여서 그런게 존재한다고 생각함?

[et(evgz6v8f9z)]

게이야 수학이 불완전한거랑 대체가능성은 별개임.

[베트남아프간미국(homeroom0879)]

헛소리 - dc App

[익명(121.149)]

불완전성 정리 말하면서 인간의 영역이 있다고 주장하는게 말이 되는지 나무위키라도 읽고 다시 생각해보길 바람

[EmGiIn(lastly7310)]

전형적인 유튜브수학싸개 영상 10분보고 아는척하는 병신

[익명(115.143)]

z

[ㅇㄴㅇ(kjh20010126)]

인간의 영역은 모르겠고 어떤 기계도 항상 풀 수 없는 문제가 존재하지 인간들이 AI를 신탁기계처럼 생각해도 신탁기계도 풀 수 없는 문제가 존재하고 신탁기계들의 신탁기계도 풀 수 없는 문제가 존재함 걍 무한히 성장해도 풀 수 없는 문제는 항상 존재함