하늘책의 증명

1. 개요

''하늘에서 내려온 증명''은 수론, 기하학, 수학적 해석, 조합론, 그래프 이론 등 다양한 수학 분야의 정리를 다루는 책이다. 이 책은 각 섹션에서 하나의 정리에 할애하며, 유클리드의 소수 무한성 증명, 베르트랑의 공준 증명, 페르마의 두 제곱수 합 정리 등 다양한 증명을 포함한다. 또한 힐베르트의 세 번째 문제, 실베스터-갈라이 정리, 투란의 정리 등도 다루며, 2018년 르로이 P. 스틸 상(수학적 해설 부문)을 수상했다. 영어로 6판까지 출판되었으며, 다양한 언어로 번역되었다.

더 읽어볼만한 페이지

• 1998년 책 - 나의 문화유산답사기
  유홍준이 집필한 《나의 문화유산답사기》는 한국 각 지역의 문화유산의 역사적 배경, 예술적 가치, 흥미로운 이야기들을 담아 한국의 역사와 문화를 깊이 있게 이해하고 감상할 수 있도록 돕는 인문학적 지침서로 평가받는 문화유산 답사기이다.
• 1998년 책 - 통섭
  통섭은 여러 분야의 지식과 증거를 통합하여 더 강력하고 신뢰할 수 있는 결론을 도출하는 개념으로, 과학, 역사, 예술 등 다양한 분야에서 활용되며, 과학적 증거의 수렴과 강도를 통해 결론을 도출하고, 선거 과정의 정상성을 확인하는 방법론으로도 사용된다.
• 에르되시 팔 - 에르되시 수
  에르되시 수는 수학자 폴 에르되시와 공동 연구를 통해 연결된 정도를 나타내는 척도로, 에르되시 본인은 0이며 공동 연구자는 1, 그 외 연결되는 사람들은 숫자가 증가하는 방식으로 정의되고 학문적 영향력을 가늠하는 척도로 사용된다.
• 에르되시 팔 - 해피 엔딩 문제
  해피 엔딩 문제는 평면 상 일반적인 위치에 놓인 점 집합에서 볼록 다각형을 이루는 부분집합의 존재성을 묻는 문제로, 에르되시 팔과 세케레시 죄르지는 이를 일반화하여 충분히 큰 점들의 집합이 볼록 N각형을 포함함을 증명했으며, 볼록 N각형을 포함하기 위한 최소 점의 개수 f(N)과 빈 볼록 다각형 존재성, 고차원 유클리드 공간으로의 일반화 등이 연구되고 있다.
• 수학 책 - 방법서설
  방법서설은 데카르트가 자신의 학문적 여정과 사색을 담아 이성을 통한 진리 탐구 방법인 데카르트의 방법론을 제시하는 철학 서적으로, 그의 회의주의, 분석 및 종합 규칙, 심신 이원론 등의 사상이 담겨 철학과 과학에 큰 영향을 주었다.
• 수학 책 - 괴델, 에셔, 바흐
  더글러스 호프스태터의 책 "괴델, 에셔, 바흐"는 괴델의 불완전성 정리, 에셔의 미술, 바흐의 음악을 통해 재귀, 자기 참조, 지능과 의식의 본질을 탐구하며, 다양한 분야를 넘나드는 사유를 제공하여 퓰리처상을 수상하는 등 큰 반향을 일으켰다.