인공지능 AI 시대에 예술하기 - part #4
2025.02.06 by Photographer Bhang
괴델은 힐베르트의 문제가 해결될 수 없다는 것을 증명하며, 산술체계 안에서 그 공리들의 무모순성을 유한한 형식적 증명으로는 결코 해결할 수 없음을 증명했다. 따라서 힐베르트 계획을 뒷받침할 증명은 존재할 수 없으며 형식주의는 결국 아무것도 할 수 없다는 결론을 아주 담담하게 내놓았다."형식주의자들은 직관을 제거하여 수학적 확실성을 확보하려고 했다. 괴델은 수학이 직관 없이 나아갈 수 없음을 보였다. 우리의 사고를 형식적인 구문론적 범주로 한정하려 하면 무모순성조차 확보되지 못한다." - Rebecca Goldstein 인공지능 AI 시대에 예술하기 - part #3: 인간과 AI의 차이 그리고 전망최근 "뇌가 실제로 양자 효과를 사용한다는 새로운 연구 결과"가 등장했다는 소식이 있어 궁금해 내용을 찾아보..
인공지능 AI시대에 예술하기 2025. 2. 6. 14:22
