[질문/답변] 괴델같은 수학/철학자 추천좀

[익명(112.151)]

문제, 혹은 개념의 증명 가능성이나 '증명' 그 자체를 판 수학자나 철학자 아는사람 있음?

일단 괴델은 알고있는데 다른사람 더 있나 싶어서

시대는 상관없음

- dc official App

[익명(218.154)]

비트겐슈타인?

[익명(218.154)]

컴퓨터 과학의 계산 가능성이나 p-np 문제 같은 것도 비슷한 듯. 누가 시초인지는 모르겟다.