전체 과학동아 수학동아 어린이과학동아 어린이수학동아
전체 최근3개월 최근6개월 최근1년 직접입력 -
전체 유료 무료
모순을 일으키는 식을 제거하기 위해 새로운 공리계를 만들고자 했습니다. 마치 로지반 제작자들이 언어에서 중의적 문장을 제거하기 위해 새로운 언어 체계를 만들었듯이 말이죠. ♣ 모순 안녕! 이 작업에 누구보다 앞장섰던 사람은 바로 독일의 수학자 다비트 힐베르트입니다. 그는 ‘힐베르트 ...