짐 베것 (1) 썸네일형 리스트형 짐 배것: 오늘의 에세이-증거 위기 증거 위기 The evidence crisis ―― 짐 배것(Jim Baggott) [...] 위기는 다양한 형태를 띤다. 나는 수학자들이 확실성의 상실과 '확신의 종말'을 나타내는 컴퓨터에 의거하는 증명들에 점점 더 의지하고 있다는 점을 알게 되었다. 그런 증명들을 평가하는 유일한 방법을 곧 제공할 컴퓨터 기반 알고.. 이전 1 다음