세상을바꾼방정식
-
25. 세상을 바꾼 방정식개인 도서관/도서관1 2020. 9. 1. 08:25
다나 매켄지 공리 = 증명이 필요없는 사실 정리 = 수학에서 나오는 참 명제의 절대적 표준 (특정 공리 체계 내에서 연역적으로 유도된 명제) 가설 = 추측 = 아직 증명되지 않은, 어느 정도 충분한 논거를 가진 수학 명제 수학 = 대수 + 기하 + 응용수학 + 해석학 p81 수학자들은 '미분적분학'에서는 직관적이며 형식 논리가 부분적으로 배제된 설명이나 논의를 허용하지만, '해석학'에서는 엄밀하고 정확한 형식 논리를 요구한다. p89 뉴턴이 미적분학의 기본 정리를 먼저 알았음은 의심할 여지가 없다. 하지만 앞에서도 말했듯이 아메리카 대륙을 발견하고 그 사실을 혼자만 알고 있다면 무슨 소용이 있겠는가. 미적분학을 처음으로 세상에 소개한 사람은 라이프니츠였다. 또한 라이프니츠가 사용한 기호가 더 간단하기 때..