Computers, Geometry and Einstein - Jason Lotay
Oxford Mathematics · 40:00 · Watch on YouTube
컴퓨터는 오랫동안 수학자들을 도와왔으며, 강연자는 컴퓨터가 이제 기하학의 어려운 문제들을 돕는다고 주장합니다. 그의 주요 예시는 아인슈타인 메트릭으로, 일반상대성이론의 중력 뒤의 기하학입니다. 12차원 구에서 알려진 유일한 흥미로운 아인슈타인 메트릭은 컴퓨터의 수치 근사와 진정한 해결책이 근처에 있다는 엄밀한 증명을 결합하여 발견되었습니다.