을 참고하라.
| 문서 | 설명 |
| P = NP |
P = NP. 전산학의 초대형 떡밥 복잡도 종류 P와 NP의 관계에 대한 문제. 밀레니엄문제 일곱 개 중 하나로, 이게 참이라는 결과가 만에 하나 나온다면 전산학 뿐만 아니라 온갖 엉뚱한 곳에서 폭풍이 몰아칠 것이 분명하다. 물론 거짓이라고 하더라도 드럽게 어려운 문제인 건 사실이다. |
| 소수 기록 |
좀 더 정확히 말하면, "알려진 가장 큰 소수의 기록". 소수가 무한히 많다는 건 물론 유클리드 때부터 증명되었지만, 아주 큰 숫자가 소수임을 증명하는 건 쉽지 않기 때문에 알려진 것보다 더 큰 소수를 찾으려는 노력은 수백년간 이어져 왔다. 2011년 12월 현재 알려진 가장 큰 소수는 243112609-1 = 3 1647 0269 ... 1666 9715 2511으로 GIMPS에 의해 발견되었다.O(n^2 \log n \log\log n) |
| 거듭제곱 |
Exponentiation. 반복된 곱셈을 나타내는 이항연산. 자연수 a와 b에 대해 a의 b제곱 a^b는 a를 b회 반복하여 곱한 것으로, 다음과 같이 정의된다:
a^b = \overbrace{a \times \cdots \times a}^{b}
물론 자연수가 아닌 다른 숫자, 이를테면 실수나 복소수에 대해 이 정의를 확장하는 것도 가능하다. 어느 경우든 거듭제곱에서 반복되어 곱해지는 숫자(아랫쪽에 쓰는 숫자)는 밑(base), 그리고 곱셈을 반복하는 횟수(윗쪽에 첨자로 쓴 숫자)는 지수(exponent)라고 부른다.a^1 = ab > 1a^b = a \times a^{b-1}b = 1a^0 = 1b \le 0a^b = \frac{1}{a^{-b}}a^{-1} = \frac{1}{a}a^b \times a^c = a^{b+c}\frac{a^b}{a^c} = a^{b-c}(a^b)^c = a^{b \times c}a^{(b^c)}(a \times b)^c = a^c \times… |
| 0의 0제곱 |
00. 거듭제곱의 특수한 경우로, 대부분의 교과 과정에서는 0으로나누기와 같이 부정형으로 본다. 이는 다음 두 가지 사실에서 유래하는데,
* x^0은 x가 0이 아닐 때는 항상 1이다.
* 0^y는 y가 0보다 클 때는 항상 0이다.
\lim_{t \to 0^+} f(t)^{g(t)}\lim_{t \to 0^+} f(t) = \lim_{t \to 0^+} g(t) = 0f(t)g(t)\lim_{(x,y) \to (0,0)} x^ya^b = \frac{a^{b+1}}{a}0^0 = \frac{0}{0}a^b = \overbrace{a \times \cdots \times a}^{b} = 1 \times \overbrace{a \times \cdots \times a}^{b}a^00^b(1 + x)^n = \sum_{k=0}^n \binom{k}{n} x^kx = 0… |
| 자연수 |
대강 말하면 갯수를 셀 때 사용하는 숫자의 집합. 0부터 시작하느냐 1부터 시작하느냐는 분야마다 취향이 다른데 여기선 0도 자연수에 포함된다고 치자. (1부터 시작할 때의 이점은 소수의 정의가 간편해진다는 것이고, 0부터 시작할 때의 이점은 자연수 집합에 항등원이 포함된다는 것이다.) 보통 \mathbb{N}으로 쓴다. \varnothingnn\{0, 1, \cdots, n-1\}\omega |
| 페르마의 마지막 정리 |
페르마가 남긴 수많은 정리들 중 가장 마지막까지 안 증명되었던 것으로 유명한 정리. Andrew Wiles가 1995년에 풀어 낼 때까지 300여년간을 미증명 상태로 남아 있었다. 영어권에서는 FLT라고 많이 줄여 쓴다.\neg \left(\exists (a,b,c,n) \in \mathbb{N}^4.\, (n>2) \wedge (a^n + b^n = c^n)\right) |
| 집합 |
0개 이상의 서로 다른 원소들을 담고 있는 수학적 객체.
집합이라는 개념 자체는 오랜 기간동안 알려져 있었으나, 여기에 대한 엄밀한 정의는 집합론이 도래하기 전까지는 이루어지지 않았으며 이로부터 얻어진 결과는 일반적인 직관을 훨씬 뛰어넘는 것이었다. 덕택에 오늘날 집합론은 현대 수학의 가장 맨 밑바닥에 있는 기초적인 이론으로 여겨지며 깊게 연구되고 있다. 수1 맨 처음에 집합론이 있는 게 다른 이유가 아니다\{1, 2, 3\}\emptyset = \{\}\{x^2 \,\vert\, x \in \mathbb{N}\}n(A)|a|a \in AA \subseteq BA \subset B \equiv (A \subseteq B) \wedge \neg(B \subseteq A)A = B \equiv (A \subseteq B) \wedge (B \subseteq A)A \cup B = \{x \,\vert\, x \in A \vee x \in B\}A \cap B = \{x \,\vert\… |
| 이항 관계 |
Binary relation. 주어진 집합의 두 원소(같을 수도 있다)에 대해서 임의로 관계를 지은 것. 물론 어떤 원소는 아무 원소와도 짝이 지어지지 않거나, 둘 이상의 원소와 짝이 지어지거나, 자기와 짝이 지어지거나 안 지어지거나 할 수 있다. 기호로 나타내면 집합 X에 대한 이항 관계 R은 곱집합 X \times X = X^2의 부분집합이고, (a,b) \in R이면 간단하게 a\,R\,b, 그렇지 않으면 a\not\!R\,b로 표현한다.=\le… |
| 괴델 넘버링 |
Kurt Goedel이 불완전성정리를 증명하기 위해서 도입한 개념.
구체적으로, 괴델 넘버링 \phi는 수식과 같은 수학적 객체와 자연수의 부분집합 사이에 정의된 임의의 일대일 관계로 그 변환과 역변환 과정이 모두 함수로 정의되어야 한다. 꼭 그래야 하는 건 아니지만 변환 및 역변환 함수가 원시재귀함수인 편이 좀 더 다양한 활용이 가능할 듯.2^{x_1}\cdot 3^{x_2}\cdot 5^{x_3}\cdots |
| 불법 소수 |
Illegal prime. 법적으로 그 사용이 제한될 수 있는 소수를 이른다. 사실 숫자에 법적인 제한이 가해진다는 점부터 일단 뭔가 알 수 없지만...
소수는 아니지만 AACS암호화키 09 F9 11 02 9D 74 E3 5B D8 41 56 C5 63 56 88 C0도 참조. |
| 백분율 |
Percentage. 어떤 숫자에 대한 다른 숫자의 비율을 나타낼 때, 기준이 되는 숫자를 100으로 봤을 때의 값으로 비율을 표현하는 방법. 예를 들어 사과 다섯 개가 있는데 그 중 두 개를 먹었으면, 남은 세 개는 원래 다섯 개에 비해 60%의 비율을 가진다. 백분율을 나타낼 때는 보통 숫자 뒤에 퍼센트기호(%)를 사용한다. "퍼센트"라는 말 자체는 물론 per cent, 즉 "100 당 ..."에서 온 것. |
| 구 |
3차원 공간(\mathbb{R}^3)의 한 점으로부터 일정한 (양의) 거리만큼 떨어진 점들의 집합. 만약 일정한 거리만큼 또는 그보다 적게 떨어진 점들의 집합이라면 공(ball)이 된다. 2차원 공간의 원과 대응되며 임의 차원의 유클리드 공간에 대응하는 개념은 초구(n-sphere; 구는 n=2)이다. |
| 문서 | 설명 |
| 초등 셀룰러 오토마타 |
Elementary cellular automaton. 1차원으로 배열된, 오로지 두 개의 상태(0과 1)만 가질 수 있는 공간으로 만들 수 있는 가장 간단한 셀룰러 오토마타들. 매 세대마다 각 공간은 주변에 위치한 두 공간 및 자기 자신의 값에 따라 지정된 값으로 변경되는데, 이러한 규칙이 23 = 8개 필요하기 때문에 가능한 초등 셀룰러 오토마타는 총 28 = 256개이다. |
