결정문제'결정 문제'란 모든 수학적 명제에 대해 참인지 거짓인지를 유한 시간내에 판별할 수 있는 일반적인 절차, 즉 알고리즘이 존재하는지를 묻는 것이었습니다. 이 문제를 처음 제기한 힐베르트는 이러한 알고리즘이 존재할 것이라 기대했습니다. 1920년대에는 수학적 엄밀성에 대한 열정이 고조되어 있었고, 수학적 진리를 탐구하는 강력한 체계들이 속속 등장하고 있었기 때문입니다. 힐베르트는 수학이 충분히 강력하다면, 모든 문제에 대해 확실한 답을 구할 수 있을 것이라 보았던 것입니다.하지만 10년이 채 지나지 않은 1936년, 영국의 젊은 수학자 앨런 튜링은 '계산 가능한 수와 결정 문제에 관한 적용에 관하여'라는 논문을 통해 모든 수학적 명제를 증명하거나 반증할 수 있는 하나의 보편적인 절차, 즉 알고리즘이 ..

우리가 수학을 생각할 때, 우리는 칠판에 적힌 계산, 방정식, 숫자를 상상할 수 있다. 하지만 수학은 그 이상이다. 그것은 우리가 주변 세계를 탐색하는 방식부터 결정을 내리는 방식에 이르기까지 우리의 일상 생활을 형성하는 강력한 도구입니다. 이 보고서에서, 우리는 평범한 것부터 심오한 것까지 수학이 일상 생활에서 역할을 하는 많은 방법을 탐구할 것이다. 내비게이션과 측정 일상 생활에서 수학을 사용하는 가장 분명한 방법 중 하나는 탐색과 측정이다. 우리가 한 곳에서 다른 곳으로 여행할 때, 우리는 수학을 사용하여 거리를 계산하고 경로를 계획한다. 우리는 목적지로 가는 가장 짧거나 빠른 경로를 결정하기 위해 지도와 GPS 시스템을 사용합니다. 우리는 또한 시간, 거리, 무게 및 기타 양을 측정하기 위해 수학..