수학

[include(틀:다른 뜻1, other1=초·중·고 교과목, rd1=수학(교과))]

[include(틀:상위 문서2, top1=학문 관련 정보, top2=형식과학)] [include(틀:하위 문서, top1=수학 관련 정보)]

[include(틀:과학의 범위)] [include(틀:형식과학)]

{{{+1 數学 / Mathematics, Maths, Math.}}}

[목차]

정의

數学을 풀어서 설명하면 '수(數)에 관한 학문'이 되겠지만, 위에서 설명했듯이 수학에서는 수뿐만 아니라 수와 거리가 먼 분야들도 많이 다룬다. 한편 數学이라는 한자어와 달리 고대 그리스어에 기원을 둔 mathematics라는 영단어는 ‘배움의 기술’ 정도의 의미를 갖고 있어 그 의미하는 바가 사뭇 다르다.

수학의 정의를 연구하는 학문을 수리철학, 수학기초론이라 한다. 많은 수학자와 논리학자, 철학자, 과학자들은 수학을 만드는 과정에서 수학에 대해 다양한 정의를 제시했다. 관련 논문들만 해도 math and science differences pdf / Philosophy of Mathematics pdf로 검색하면 엄청나게 나오니 참고할 것. 그 흐름은 크게 다음과 같다.

* 논리주의

수학을 1차논리적 증명으로 정의내리고자 하는 학파다. 이를 위해서는 수학의 모든 개념이 논리적 개념으로 환원될 수 있다는 것을 보여야 했다. 그러나 수학을 논리로 환원하려는 논리주의의 시도는 장애에 부딪쳤다. 하지만 당시 수학에서 받아들이고 있던 선택 개념과 무한 개념을 환원시키는데 실패했다.

* 직관주의

인간이 직관적으로 이해할 수 있는 개념들로서 수학을 정립시키려는 시도다. 수학적 진리는 유한번의 단계로 구성 가능함을 보였을 때 확립되는 것이라고 주장하였다. 따라서 고전 논리의 모든 법칙을 수학에 임의로 적용하는 것은 옳지 않다고 보았다. 그러나 대부분의 수학 원리들을 부정하는 결과를 맞이했다.

* 형식주의

이들에 따르면 수학이란 일정한 공리(公理)[* 증명없이 참(truth)으로 받아들이는 명제(命題))를 공리라 한다] 및 정의(定義)[* 특정 개념에 대한 의미]를 먼저 정하고, 이로부터 엄밀한 추론[* 수학기초론의 모델 이론, 재귀이론, 증명이론, 집합이론에서 만든 추론 규칙을 따른다는 것이다.]을 통해 결론(정리, theorem)을 도출하는 학문이다. 이때의 결론은 참(truth)인 명제로서 어떤 요소 사이의 형식적 관계를 나타낸다. 결국 수학 체계(가령 유클리드 기하학)는 공리(및 정의)와 그로부터 추론규칙에 의해 도출되는 정리(定理)들의 집합이다. 하지만 괴델이 무모순인 공리 체계는 불완전함을 증명하여, 좌초되었다.

* 패턴(함수, 집합, 연산자 등)의 과학

수학의 정의에 대해 "수학의 절대적인 범위는 없다", "한계를 정하는 것은 (어차피 미래에 반박될 것이라) 무의미하다"라고 퉁치고 넘어가고, 수학을 패턴의 과학이라는, 사실상 모든 과학을 포괄하는 정의를 내리는 학파다. 그 이유는 과거에 불가능하다거나, 수리적 / 철학적 / 이론적으로 예측만 했을 뿐 실험적으로 검증되지 않았던 것들이 점차 실험관찰을 통해 검증되고, 혹은 그러한 실험기구나 장치들이 만들어지고 있기 때문이다. 즉, 우리가 상상하고 예측만 했던 세계관들이 현실에 이미 있었거나 구현이 가능해짐에 따라서 과학과 공학, 수학, 과학철학 같은 학문들의 경계를 나누는 것도 무의미해지고 있다는 것이다. 어찌보면 아주 먼 미래에는 초끈이론 같은 말도 안되는 것들도 실험적으로 검증되거나, 아니면 구현될지도 모른다는 것. 예시를 들어보자면 원래 기하학은 항해와 측량술, 건축 기법의 일부로서 다루어진 것이 형이상학적 관점에서 하나로 뭉쳐서 체계화된 것이다. 그리고 수학적인 가상의 개념으로 여겨졌던 위상수학은 통계학과 합쳐져 데이터과학이라는 새로운 과학의 초석이 되었으며, 물리학이나 재료학에서 위상부도체 등을 다루거나 더 나아가 신경과학에서 뇌의 신경세포간 연결관계를 추론하는데 쓰이고 있다. 또, 수학의 그래프 이론과 네트워크 이론은 네트워크 과학이라는 신생 분야의 초석이 되어 지리학과 지정학, 조직이론 등에서 연구되고 있다. 게임 이론 역시 각종 사회과학과 생태학, 진화학 분야에서 연구되고 있다. 이뿐만이 아니라 수리논리학에서 다루는 이론들은 컴퓨터 과학과 인공지능 인지과학의 기반으로서 다루어지고 있다. 현대 해석학과 대수학, 통계학 역시 따지고 보면 물리학과 경제학의 수요로부터 발전하였다.

수학의 세부 분야

고대와 중세까지만 해도 수학이 다른 응용 학문[* 가령 천문학, 측량학 등]과 엄격히 분리되어 있지 않았기 때문에[* 사실 수학은 다른 응용 목적 없이 그냥 그 자체만으로 순수하게 시작되었다기보다, 천체 관측, 땅의 측량 등을 하기 위한 필요에서 시작되었다.], 각각의 응용 학문에서의 수리적 분야도 수학에 포함되곤 했다. 고대 그리스에선 산술, 기하, 천문, 음악 등을 수학의 대표적인 분야로 보기도 했는데, 산술, 기하, 조화라는 말이 각 산술, 기하, 음악에서 온 말이라는 데에서 그 흔적을 알 수 있다. 하지만 이 분류는 얼마 지나지 않아 산술, 대수학, 기하학 등으로 나뉘게 되었다. [* 적어도 이때는 수학의 정의를 수와 도형에 관한 학문으로 볼 수 있었다.] 그 후 좌표기하학이 만들어지고, 미적분이 만들어지고, 해석학이 만들어지며 수학은 몸집을 불리기 시작했다. 이때 정립된 대표 분야가 바로 산술(정수론), 대수학, 해석학, 기하학, 그리고 여타 다른 응용수학이다. 이 분류는 현대의 수학까지도 의미를 지니고 있다. 자세한 내용은 수학/역사 문서를 참조 바람.

크게 쪼개보자면

* 구조를 다루는 대수학
* 공간을 다루는 기하학
* 변화를 다루는 해석학

전통적으로 위 3가지로 나누지만, 현대에는 분야별 경계가 점점 약해지는 추세이다.

* 대수학
임의의 대수적 구조를 연구하는 학문이다. 대수적 구조란 쉽게 말해 '연산' 의 구조다. 임의의 집합에 특정 연산을 조건에 맞게 정의하면 대수적 구조가 된다. 학부 때 해석학과 함께 수학의 양대산맥을 이루는 분야인데 해석학이 디테일한 테크닉에 집중된 스타일이라면 대수학은 추상적인 논리 위주의 분야라고 볼 수 있다. 물론 학부 때로 한정되는 이야기고 나중 가면 결국 타 분야에서 대수적 구조가 발생하지 않을 이유가 없으므로 섞이게 된다.
* 정수론
* 대수적 정수론
* 해석적 정수론
대수학을 비롯한 근대 수학이 꽃피기 전까지 가히 수학의 여왕으로 군림했다고 할 수 있는 분야다. 정수론에서 다루는 정수(整數)가 Integer이 아니라 Number로 번역되는 것만 봐도 알 수 있다. 실제로 대수적 수까지 포함하여 수론으로 통칭하기도 한다. 현대 수학의 발전 이후에는 주로 대수학의 범주에 들어가게 되었으나, 문제 해결을 위한 방법론은 실로 다양하다. 대수학적 방법론 외에도 디오판토스 방정식과 타원곡선 등을 다루는 데에는 해석적 방법론이, 격자점 문제 등을 다루는 데에는 기하학적 방법론이 사용되기도 한다. 또 20세기 이전에는 정치적으론 그다지 각광을 받지 못하는 수학자들만의 분야였으나, 양차 세계대전 당시 소수를 기반으로 한 암호 체계가 발달하면서 사회적으로도 주목받게 되었다. 이와 동시에 우리 현실과 밀접하게 연관되어 있는 계산적 정수론이 발전하게 되었다. 수많은 정수론자들이 리만가설을 증명하려 노력하고 있지만 아직 증명을 못하고 있다. 넷상에서 리만가설이 증명되면 RSA 암호체계에 결함이 생긴다는 이야기가 떠도는데, 근거없는 이야기이다. 간단히 생각해봐도 만약 그것이 사실이라면 리만가설이 증명되었다고 가정하면 암호체계를 뚫을 수 있을 수 있을 텐데 그런 일은 없다. 이 이야기는 다큐멘터리 등에서 수학의 유용성을 어떻게 해서든 보이려 일부러 표현을 모호하게 하였기 때문으로 보이는데, 리만가설과 RSA와의 관계는 소수를 다룬다는 사실 이외에는 없다.
* 군론
현대대수학이 발전하는 과정에서 발달하게 된 것이 군론이며 추상대수학의 기본이 되는 분야다. 역사적으로도 19세기 추상대수학이 태동할 때 처음 개발된 분야다. 사실상 추상대수학 자체가 군론에서 뻗어나간 결과물이라고 보아도 무방하다.

* 기하학
우리가 중고등학생 때 배우는 기하학이랑은 차원이 다르다. 당장 유클리드 기하학만 하더라도 수많은 공식들이 난무하며 머리가 돌아갈 지경. 학부 때 배우는 기하학은 보통의 2~3차원 유클리드 공간에 존재하는 기하학적 오브젝트[* curve(곡선), surface(곡면), polynomial equation(다항방정식으로 나타낼 수 있는 곡선, 곡면 등) 등이 이에 속한다.]를 고차원으로 확장시켜 배우며 높은 수준으로 가면 종이에 표현이 불가능한 추상적 공간과 수식, 논리식밖에 안 나온다. 예를 들어, 2~3차원에서의 surface를 임의의 차원으로 확장시킨 것을 manifold(다양체)라고 한다. 그리고 여기까지 오면 이게 대체 왜 기하학에 속하는지가 이해하기 힘들 것이다. 사실 이는 그림으로 표현이 불가능해졌을뿐, 공간의 기하학적 구조를 다룬다는 사실 자체는 같기 때문에 기하학의 한 개체로 보는 것이 맞다. 기하학은 일반적으로 해석기하학과 대수적 기하학으로 나뉘는데, 현대수학에 와서 해석기하학은 미분기하학으로 대표된다. 미분기하학은 미분이라는 구조를 가지고 curve와 surface, 나아가서는 manifold와 vector bundle을 위시한 기하학적 개체를 다루는 학문이다. 대수기하학의 경우 현대수학의 각 분야 전반과 매우 깊은 연관을 맺고 있다. 심지어 수학기초론도 포함된다. 일반적인 기하학보다도 훨씬, 타 분야와의 관련성이 많다.
* 위상수학
위상공간에 관한 학문으로 위상(topology)이란 임의의 집합과 그 위에 특정 조건에 따라 정의된 열린 집합들의 집합족이고, 어떤 집합에 어떠한 위상을 준 것을 위상공간이라 한다. 저 조건이란 게 매우 약하기 때문에 사실상 수학에서 사용되는 거의 모든 오브젝트에 정의가 가능하다. 즉, 프로그래밍 언어에도 위상을 정의하여 위상공간으로 만들 수 있고 논리체계에도 위상을 정의하여 위상공간으로 만드는 게 가능하다. 위상수학은 크게 일반위상수학, 대수적위상수학, 미분위상수학의 세 분야가 있다. 일반위상수학은 말 그대로 일반적인 공간의 성질들, 예를 들어 컴팩트, 분리공리 등을 다루고, 대수적위상수학은 호모토피라든지 이의 기본군, 그리고 피복공간이나 공간의 축약 등에 대해 다룬다. 마지막으로 미분위상수학은 미분기하학에서 다루었던 여러 대상들, 텐서, 접공간 등이 등장하고 또한 미분다양체 위에서의 여러가지 성질이나 ~~그런데 사실 미분다양체는 미분위상수학의 부분이자 전체다~~ 미분형식 등을 특히 주로 다룬다. 위상수학에 관해 정성적으로 말하자면 보통의 기하학이 거리공간을 사용하여 '거리' 도 어느정도 중시한다면 위상공간은 '경계' 를 중시하는 경향이 있다. 즉, 위상수학에서는 '닿았는가 닿지 않았는가' 를 중시하고 닿지 않았을 경우 '얼마나 떨어져있는가' 는 보통 거리공간을 사용하는 기하학의 영역이다. 이는 상기했듯 위상수학은 기하학과 달리 공간의 본질에 대해 주로 다루기 때문이다. 물론 초반부 이야기고 어차피 나중 가면 알아볼 수 없게 뒤섞이게 된다. 이는 공간의 표면과 본질은 완전히 분리될 수 없음을 의미한다.

* 해석학
주로 해석학이라 하면 실수와 복소수를 다루는 학문이라고 생각하나 사실 이는 실수와 복소수가 정말 완벽한 공간이기 때문에 당연히 관계되어 있는 것이고 한 마디로 정의하자면 함수에 대한 학문이라 할 수 있다. 다시 말해 여러 함수를 탐구함과 함께 이를 통해 다른 분야로의 응용을 추구하는 학문이라 할 수 있을 것이다. 물론 해석학 내의 개념에서는 다른 학문에서 출발한 것도 많이 있다. 예를 들면 유클리드 공리계에서는 점은 길이가 없는 선이라고 정의되어 있는데 후대 수학자들이 길이가 0인 점을 무한히 더하면 길이가 0보다 큰 선이 되는 것에 관심을 가진 것이 측도이론이 탄생한 배경이다. 물론 우리는 이제 그 질문의 답을 알고있다. (점들의)유한집합과 셀 수 있는 무한집합은 측도가 0이고 측도가 0보다 큰 집합은 셀 수 없는 무한집합이다.[* 역은 성립하지 않는다. [집합]은 셀 수 없는 무한집합이지만 측도가 0이다.] 이 예로 유리수집합은 측도가 0이나 실수집합은 측도가 0보다 크다. 또한 타 분야에서 시작된 개념들이 해석학에서 발전된 것으로는 함수 해석학이 있는데, 함수 하나하나를 벡터로 본다는 시각은 선형대수학이 없었다면 나올 수 없었을 것이다.
* 미적분학
고교에서 배웠던 미적분 이후로 미분방정식, 편미분 등 다양한 미적분을 다룬다.
* 미분방정식
말 그대로 미분방정식과 그 해법에 대해 연구하는 학문이다. 크게 상미분방정식과 편미분방정식으로 나누어지며, 수학의 여러 분야 뿐 아니라 타 학문에도 매우 응용이 많이 되는 분야다. 특히 물리학의 경우에는 미분방정식이 없으면 성립조차 안될 학문이라고 할 수 있다. 애초에 뉴턴의 운동 제 2법칙부터가 미분방정식이다. 또한 미분방정식의 등장으로 출현할 수 있었던 대표적인 수학 분야로 푸앵카레가 창시한 동역학계를 들 수 있는데, 이름을 보면 물리학의 특정 분야라고 생각할 수 있으나 경제학, 생명과학 등에서도 많이 응용되는 분야다.

* 수리 논리학
논리를 수학적 대상으로 환원하여 수학적 방법론으로 연구하며 그 응용인 집합론, 모델 이론, 카테고리 이론, 계산이론(혹은 재귀이론), 증명이론, 구성주의 수학 등을 포함한다. 현대 논리학의 정수라고 할 수 있고, 현대 논리학 그 자체라고도 할 수 있다. 논리학은 철학의 한 분과에 속하는데, 논리학에서는 이 학문을 기호 논리학이라고 부른다. 즉 사실상 같은 학문을 두고 철학에서는 기호 논리학, 수학에서는 수리 논리학이라고 하는 것이다. 수리 논리학은 수학의 한 분야로 언급되지만, 사실상 ZFC 집합론과 카테고리 이론 정도의 시스템 안에서 대부분이 이루어지는 수학에 비해 오만가지 형식적 시스템이 등장하고 수학을 이루는 형식적 시스템은 물론 형식적 시스템 일반을 대상으로 삼아 연구하는 터라 실제 타 수학과의 관련은 의외로 매우 적다. 오히려 메타수학 쪽에 가까운 학문으로 수학보다는 언어학, 철학, 컴퓨터과학 등 타 분야와 관련을 더 깊이 갖고 연구하는 경우가 많다. 일반적인 수학과 공유하는 부분은 수리논리 쪽에서 특정 수학분야 자체를 응용 대상으로 삼아 전개해나가는 경우, 예를 들면 호모토피 논리 등의 경우가 아니라면 형식논리, 집합론, 범주론 기초정도 약간에 역사적인 관점에서의 수학기초론 정도가 전부이다. 상대적으로 타 수학 분야 와의 관련성이 적으며 이쪽 분야 자체도 매우 크고 넓기 때문에 이쪽 관련 전공을 택할 경우 최대한 빠르게 시작하는 것이 좋다. 다만 한국 대학에서는 이 분야의 전공 교수진이 거의 없기 때문에[* 그나마 icm 최초의 동양인 수리논리학분야 초청강연자인 연세대학교 수학과 김병한 교수의 귀국과 한국수리논리학회의 발전 등으로 인해 조금 숨통이 트여가고 있긴하다.] 맛보기 정도의 커리큘럼만 제공되는 것이 전부다. 따라서 집합론이나 수리논리학을 전공하고 싶다면 해외로 유학을 가거나 전공을 포기하는 수밖에 없다.
 * 집합론
 위의 수리논리학에 속하는 분야이지만 어째 수리논리학보다 더 유명하다(...) 아마도 모든 수학의 기본이 되는 집합의 개념을 배우는 학문이기 때문일 듯. 필요로 하는 수학적 사전지식이 매우 적고 타 수학 분야와 관련성도 비교적 적은 편임과 동시에 집합론 자체도 매우 큰 분야이기 때문에 해외의 경우 집합론을 전공분야로 정할 시 선형대수와 실해석의 쌩기초만 배운 후 이후부터는 석사 졸업 때까지 거의 수리논리와 집합론 과목만 들을 수 있는 대학도 있긴 하다. 물론 그만큼의 교수진이 받쳐 줘야 가능한 커리큘럼이다. 보통의 경우는 집합론을 전공으로 정하더라도 학부 말이나 석사쯤 간 다음에 논리학과 같이 묶어서 본격적으로 배우기 시작하는데 사실 이런 '기본 루트' 를 쫓아갈 경우 석사 졸업 때까지도 기초 수준을 벗어나기가 힘들기 때문에 상당한 수준의 독학이 요구된다. 보통 수학을 잘 모르는 이들은 '집합' 을 중학교부터 배운다고 무시하는 경우가 많은데 수학 분야 중 가장 추상적인 분야 중의 하나이며 도저히 상상 불가능한 '이상하고 복잡한' 집합들을 순수 논리에 의지해서 헤쳐나가야 하며 집합론 공리계 자체를 다루는 학문이기 때문에 사실 보통의 인간 직관이 가장 안 통하는 분야 중 하나라 '쉽다' 와는 당연히 거리가 매우 멀다.

* 응용수학
수리모델링, 금융수학, 수리생물학 등이 있다. 자연과학, 공학, 금융, 경제, 등등 여러 분야의 논제들을 수학적으로 다루는 분야라 할 수 있겠다. 수학을 응용하여 다룰 수 있는 것들이 많으므로, 응용수학의 갈래도 많다. 넓게는 아이의 사고력을 발달시키는 수학교육학도 이 분야로 치기도 한다.
* 이산수학(조합론)
이산구조(discrete structure)에 관한 수학이다. 수학을 커다란 두 줄기로 양분하면 이산구조와 연속체 구조가 나온다. 이산구조와 연속체 구조는 일반적으로 '셀 수 있는 것' 과 '셀 수 없는 것' 정도로 구분하며 개중에 연구대상이 '셀 수 있는 오브젝트' 일 경우 보통 이산수학이라 칭한다. 이 '셀 수 있는 오브젝트' 는 다시 두 가지로 나뉘는데 '알고리즘적인 것' 과 '비알고리즘적인 것' 이 그것이다. 덕분에 컴공에서도 꽤 배운다.
* 수치해석
일반적으로 이산수학의 한 범주로 넣는다. 특히 이산수학을 전산학적으로 다루는 경우에 가장 집중적으로 배우게 되는 것이 수치해석이다. 현대적인 컴퓨터를 비롯한 모든 계산장치는 유한 자릿수의 이산적인 수치만을 취급하기 때문에 그러한 것이다.
* 통계학
일반적인 인식으로는 통계는 수학에서 가장 쓸모있고 실용적인 것이라고 하지만, 통계를 배운 사람들은 알겠지만(어느 쪽에 중점을 두는 학교에서 배웠느냐가 문제가 되겠지만) 수학이 포함되지 않는 부분들이 많다. 이것은 물리에서 미분이나 텐서, 군 등의 수학적인 부분이 있지만 물리학이 수학의 하위 학문이 아닌 것과도 유사하다. 수리물리학이라고 수학과 물리학의 공통된 부분이 있듯이, 통계 중에서도 수학과 관련된 부분은 수리통계학(Mathematical statistics)라 하여 통계학과 수학의 공통된 학문으로 구분한다.[* 비슷한 예로 심리학도 이러한 논란이 많은 학문인데 한국에서는 문과로 분류하지만 뇌의학 같은 분야와의 관계를 많이 집어넣어 이과로 분류하는 국가/대학도 많다. 아니 한국에서도 국립중앙도서관에서는 심리학 도서가 자연과학 서가에 꽂혀있다. 통계학과가 문과로 편제된 고려대학교의 도서관에서도 통계학 서적을 자연과학 서적으로 분류한다.] 통계학은 귀납적인 부분이 매우 많은 학문으로, 연역논증의 대표주자인 수학과는 별개로 보는 경우가 많다. 통계학에서 수학은 처음에 기초 부분을 배울 때는 어느정도 필요하지만 그 이후에는 관련 분야를 선택하는 사람들만 수학적으로 더 파고 들어가 배우는 것이 일반적이다.
* 확률론
통계학의 분야로 넣기는 하는데 내용은 해석학에 가깝다. 이는 확률론이 기본적으로 측도론을 기반으로 하고 있기 때문. 특히 기하학적 확률을 다루면서 이런 특성이 두드러지게 나타난다.

위의 분류들은 아주 굵직한 분류들로 그 세부 분야까지 따지면 너무나 많은 수학들이 존재한다.

수학의 분야 체계

* MSC(Mathematics Subject Classification)
알파벳과 숫자를 혼용해서 Mathematical Reviews와 Zentralblatt MATH, 2개의 수학 데이터베이스에서 사용되는 분류체계다. 많은 학술지에서 사용되는 분류체계다. 자세한 사항은 MSC2010 참조.

* 듀이십진분류법의 510 항목

* 미국 의회도서관 분류법의 QA항목

* 한국십진분류법의 410항목
자세한 사항은 한국십진분류법 요목표 참조.

수학의 응용분야

* 같이 보기 : 환원주의

align=center xkcd ['Purity'] 왼쪽에서 오른쪽으로 갈수록 순수한(연구 대상이 기존에서 잘 변하지 않는) 학문이다. 맨 왼쪽에는 사회학자가 있는데, 이는 너무 불안정한 인간, 또 그 인간들의 집합인 사회를 연구하기 때문에 가장 왼쪽에 있다. 그 옆에는 심리학자가 있는데, 심리학자는 "사회학은 단지 심리학의 응용일 뿐이야" 라고 말한다. 여러 인간의 심리는 대부분 비슷하고 그 인간들이 모여서 사회를 구성하니 맞는 말이다. 그 옆에는 생물학자가 있는데, 생물학자도 역시 "심리학은 생물학의 응용이다" 라고 말한다. 물론 이 말도 맞는 말이다. 그 옆에는 화학자가 있는데, 화학자는 "생물학은 화학의 연장선이지" 라고 말한다. 물론 이 말도 맞는 말이다. 모든 생물의 몸에서 일어나는 반응은 화학과 관련이 있으니, 그 오른쪽에는 물리학자가 있다. 물리학자는 뻐기는 태도로 "그런 화학 역시 물리학의 응용일 뿐이지. 물리학이 최고다" 라고 말한다. 이것도 맞는 말이다. 물리학은 이른바 자연과학의 왕이다. 특히 현대 화학이 양자역학과 관계가 깊음을 생각하면, 그런데 저 멀리에는 수학자가 어이없다는 태도로 "어, 너네 거기 있었냐? 있는 줄도 몰랐네." 라고 말한다(...). ~~철학 : 얘들아 어디있니?~~[* 자신을 탐구 대상으로 삼을 수 있는 학문은 철학이 유일하다. 논리학은 비슷하면서도 약간 다른데 자신을 탐구하는 방법이 곳 자신이다. 일반인이라면 무언가를 탐구하는 방법을 탐구한다고 가볍게 이해하고 넘어가자. 역사같은 경우 독립학문으로 분리되어나왔지만 모든 학문의 시간적 발전과정에 대한 탐구이므로 동치관계로 보아야한다.즉 정수성을 지닌 학문으로서는 사실 철학이 유일. 어떤 학문이던지 자기 자신을 대상으로 하는 순간 뒤에 철학이 붙게 된다.] ~~사실 철학은 자신이 어디있는지도 모른다 카더라~~

이 중에서 물리학과의 관계는 매우 각별한데 물리학의 경우에는 광학이나 양자역학 등을 하면서 엄밀성을 포기하는 대신 수학과 학부 수준에서는 다루기 어려운 수학의 결과물들을 많이 사용하곤 한다. 예를 들어, 미분방정식을 풀면서 점 하나가 틀어질 경우, 물리학과 학생은 "점 하나정도 값에 영향도 안주는거 갖다버려" 하고 미분방정식을 하는 반면, 수학과 학생은 "어? 점 하나가 안맞는데? xx 정리에 의해 해가 존재하지 않습니다." 라고 한다. 물론, 수학에서도 이런 식의 해를 정의할수는 있지만 Weak Solution 같은 다른 정의를 이용해야 가능하고, 이런건 보통 학부때는 다루지 않는다. 어려워서가 아니라 그게 필요한 경우가 별로 없기 때문. 다만 물리학 역시 깊이 파고들수록 방정식에서 틀어진 해가 나올 경우 이에 대해 고찰을 하게 되며, 대표적인 케이스가 반물질이다. 차라리 근사를 하면 모를까 멀쩡하게 나온 해를 갖다 버리지 않는다. 보통 물리학에서 틀어진 해를 갖다 버리는(...) 경우는 물리적으로 자명하게 옳지 않은 해라서 그것이 오직 수학 안에서만 가능한 해인 경우다. 가령 여러 개의 해 중 하나의 해의 정보 전달 속도가 c를 넘는다거나. 수학으로 치면 무연근과 비슷한 케이스. 물리에 필요한 수학들은 보통 수리물리학을 통해서 공부하지만 수학과 수업을 듣거나 복수전공해버리는 학생도 있다.

공학의 경우는 자기 필요한 부분에 한해 수학을 쓴다는 개념이지만 엔지니어링에 수학을 응용한다는 것이 차이일 뿐 논리전개 방식 자체는 수학의 방식 그대로다. 다만, 복잡성에는 차이가 있다. 응용학문이 다 그렇지만, 어떤 현상을 해석하고 프로세싱하기 위한 목적으로 수학을 사용하기 때문에, 순수수학에서 사용하는 추상적인 수학을 사용하는 경우는 많지 않다.[* 다만, 기존의 기술보다 복잡도를 증가시켜서 성능 등을 향상시키는게 공학의 일반적인 연구 방향이기 때문에, 날이 갈 수록 공학에서 사용하는 수학의 복잡도가 증가하고 있다.] 예를 들어 공과대학에서 배우는 과목인 공업수학과 수학과에서 배우는 과목인 해석학/미분방정식 등은 배우는 진도는 얼추 비슷할지 몰라도 각자의 전공에서 요구하는 수준과 뱡향에 맞게 최적화된 것이라 공과대학 학부생이 수학과에서 가르치는 과목들을 듣거나 수학과 학생이 공업수학을 듣는 것은 묘하게 차이가 많고 가르치는 방법도 다르다. 때문에 공대생들은 수학과생이 복수전공이나 타전공 대학원을 준비하는 차원에서 실전 적용능력을 기른답시고 공업수학 들으러 오면 학점헌터 아니냐며 츤츤거리기도 한다 카더라. 물론 공업수학과 수학과식 수학의 방향성 차이 때문에 꼭 수학과 학생들이 학점헌터가 되는 것은 아니다.

사회과학에서도 거의 모든 학문이 수학을 적극적으로 도입해 사용한다. 경제학이 대표적인데, 공부를 계속할 경제학과 학생의 경우 수학과 전공 수준의 선형대수학, 해석개론, 미분방정식, 실변수함수론, 수리통계 등을 이수하는 것이 일반적이다. 극단적인 경우는 모델링을 한답시고 물리학과 수업까지 듣는 경우도 있다. 그래서 수학과를 복수전공하는 경제학과 학생들도 종종 보인다. 수학과 대학원 실해석학을 듣는 경제학과 대학원생까지 있을 정도이니 말 다 했다. 일반인들은 전혀 그런다고 생각하지 못하는 정치학이나 사회학도 이미 수학을 사용한 방법론이 깊숙히 침투해 있다. 이른바 합리적 선택이론(rational choice theory) 내지는 일반화 이론(formal theory), 계량적 방법론(quant), 연결망 이론(network theory)가 그것이다. 아예 수학적 분석으로 이루어진 수리사회학이라는 영역도 존재한다. 이 경우 학부에서 수학을 전공한 사람이 공부하는 경우가 대부분이다. 그것도 교양 미적분학 수준도 아니고 웬만한 중급 선형대수학과 통계학, 미분방정식을 사용하는 모델링이다. 인류학에서도 하위 분야인 체질인류학에서 통계 분석을 위해 수학을 동원하는 등 수학과 관련있는 분야가 존재한다. 좀 더 응용에 가까운 예를 들자면 데이터의 분석을 위해 통계학을 동원하는 사례가 사회과학 전반에 매우 많다. 통계적 방법 문서 참고.

철학은 아무런 관련이 없을 것 같다고? 분석철학 책 한 권만 읽어보도록. 애초에 버트런드 러셀, 앨프리드 화이트헤드 같은 경우에는 한 시대의 위대한 철학자인 동시에 수학자다. 거기에 현재 인지도가 있는 프랑스 철학자 알랭 바디우의 경우 자신의 사상을 수학적 집합론으로 풀었다. 수학과 철학이 관계 없다는 것은 틀린 것이다. 애초 문리과대학이 무슨 의미일까 생각해보면 된다. 쉽게 말해서 논리학은 수학과 매우 밀접한 관계고 철학은 논리학과 밀접한 관계다. 사실 역사를 거슬러 올라가면 수학과 철학은 같은 뿌리에서 출발한 학문이다.

심지어 수학과 전혀 관계없을 것처럼 보이는 역사학마저도 방법론 단계에서 수학을 도입하는 경우가 많다. 경제사, 정치사 등을 연구할 때 각종 통계 수치를 분석하기 위해 수학을 동원하고 있으며, 전쟁 등 역사적 사건의 빈도를 수학적으로 계산해 일반화시키는 시도까지 존재하고 있다.[* [[1]] ] ~~조만간에 심리역사학이 진짜 등장할 기세~~

그러나 공학과 자연과학 분야를 제외한 수학의 활용은 다른 학문에서 모델링 도구, 알고리즘 도구로 사용되는 것이다. 그것도 필요할 때 관련 수학 분야 일부를 도입하는 것이지, 수학의 전체를 알아야 할 필요는 없다. 즉, 고등학교까지의 수학과 달리 대부분 전문 기술적으로 쓰기 때문에 너무 부담스러워 할 것 없다. 정작 진짜 수학은 그다지 응용 여지가 크지 못하다. 수학의 응용은 다른 학문에서 모델링 도구, 알고리즘 도구로 사용되는 것이다.

대학 교과과정

[include(틀:상세 내용, 문서명=수학과)]

학부

이 아래에 나열된 과목들은 수학과&수학교육과에서 모두 배운다.

* 수학과, 수학교육과및 타과 공통
 * 미적분학
 * 선형대수학
 * 미분방정식[* 개론.]
 * 해석학(수학)

* 수학과, 수학교육과 전공 과목
 * 미분기하학[* 개론]
 * 정수론[* 개론. 수박 겉핥기 식으로 건드린다.]
 * 집합론
 * 위상수학[* 개론]
 * 현대대수학(추상대수학)[* 말만 거창하게 써놨지 실제로는 대학원 대수학의 개론 과목이다.]

* 수학 비전공자들을 위한 과목
 * 경제수학(경제학과, 경영학과, 상업정보교육과)
 * 공업수학(공과대학, 공업교육계열, 기술교육과)
 * 군론(물리학과, 물리교육과, 화학과, 화학교육과)
 * 수리물리학(물리학과, 물리교육과, 화학과, 화학교육과)
 * 이산수학[* 수학과나 수학교육과에선 더 치밀하게 배운다. 물론 수준은 개론이지만. 대학원으로 들어가면 그래프, 조합등 여러가지 분야로 나눠가게 된다.](컴퓨터공학과, 컴퓨터교육과)
 * 수치해석[* 수학과나 수학교육과에선 더 치밀하게 배운다. 당연히 개론.](공과대학, 공업교육계열)

대학원

 * 고급 이산수학 
  * 조합론
 * 그래프이론
 * 수치해석
 * 대수학
 * 미분기하학
 * 대수기하학 
 * 고급 정수론
  * 대수적 정수론
  * 해석적 정수론
 * 편미분방정식
 * 확률론

수학자들

[include(틀:상세 내용, 문서명=수학자)]

수학에 관련된 상

* 필즈상 - 수학계에서 가장 권위가 높은 상이다.(라고 했지만 사실은 아벨상과 비교하여 젊은 수학자상 정도라고 받아들여지기도 한다.)
* 아벨상
* 가우스상(Carl Friedrich Gauss Prize) - 공학·비즈니스 등 응용수학 부문에 업적을 남겼을 수학자에게 주는 상.
* [수학부문] 
* [Medal] - 중국의 수학자 '천싱신'을 기려 만든 상으로, 기하학 분야 공적자에게 수여된다. [* 참고로 중국내에서만 수상하는 Chern Prize 라는 상도 있다.]
* 네반리나상(Rolf Nevanlinna Prize) -  수리정보과학 분야에 업적이 있는 수학자에게 수여되는 상
* 릴라바티상(Leelavati Prize) - 수학의 대중화에 공헌한 수학자에게 수여된다

* 볼프스켈상 - 페르마의 마지막 정리를 해결한 사람에게 주는 상이며, 앤드루 와일스가 수상하였다.

* 노벨상 - 노벨상 자체에는 수학 분야가 따로 있진 않다. 다만 아래의 경우처럼 관련 연구를 하다보면 수상할 가능성도 있다.
 * 노벨경제학상 - '내쉬 균형'이라는 게임 이론의 초안을 다진 공로로 존 내시 교수가 수상했다.
 * ~~노벨물리학상~~ - 노벨물리학상을 수상한 수학자는 아직 없지만 밀레니엄 문제인 양-밀스 질량 간극 가설이나 나비에-스톡스 방정식을 해결한다면 충분히 수상 가능성이 있다. 이렇게 이론물리학에서는 연구에 쓰일 수학조차 완성되지 않은 분야가 있기에 이런 현상이 가능하며, 이와 반대되는 사례도 이미 나왔다.

수학회

* 미국 수학회
* 런던 수학회
* 캐나다 수학회
* 유럽 수학회
* 대한 수학회

수험 과목으로서의 수학

* 수학(교과): 초중고 중간기말고사, 수능/수학, 자연계 논술
* 한국수학올림피아드, 국제수학올림피아드 등의 경시대회
* 독학사 1단계 일반수학, 2단계 컴퓨터과학과 이산수학
* 공무원 시험 9급 수학
* 대학생 수학경시대회(대수경), 공업수학 경시대회
* 임용고시 수학교사 채용 시험 수학 파트
* 편입학 대학수학, 공학수학(자연계 학과 한정)
* [자격시험]: 국가 공인 수학 자격 시험이다.

동음이의어

* 修學 - 학문을 갈고 닦는다는 뜻. 
 대학수학능력시험의 수학이 이 수학이다. 문과생들이 주로 응시하는 수학 나형의 경우 똑같이 만점을 받아도 국어 영어보다 표준점수가 30점은 더 높게 나오면서 수학영역의 비중이 너무 커지면서 이를 까는 의미를 담아 대학수학능력시험의 수학을 일반적인 수학의 뜻이라고도 한다.
 수학여행의 수학도 이 뜻이다.
* 受學 - 배움을 받다. 즉, 배웠다는 뜻.
 한명의 스승으로부터 같이 배움을 받은 것을 '동문수학'이라고 한다.

만화 나루토에 나오는 미수 중 일미

[include(틀:상세 내용, 문서명=수학(나루토))]

분류:동음이의어/ㅅ 분류:수학

수학

Contents

정의

수학의 세부 분야

수학의 분야 체계

수학의 응용분야

대학 교과과정

학부

대학원

수학자들

수학에 관련된 상

수학회

수험 과목으로서의 수학

관련 문서

관련 어록

관련 캐릭터

동음이의어

만화 나루토에 나오는 미수 중 일미

Navigation menu

Search