💬 NLP

On Ambiguity: The case of fraction, its meanings and roles

이 논문은 초등 산술에서 '분수'라는 용어가 갖는 모호성을 해결하기 위해 'fracterm', 'fracvalue', 'fracsign' 등 새로운 용어를 도입하여 분수를 단일 개념이 아닌 여러 개념을 포괄하는 범주로 재정의하고, 이를 통해 수의 개념과 구조주의적 관점을 비교 분석합니다.

원저자: Jan A Bergstra, John V Tucker

게시일 2026-04-07

📖 4 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Jan A Bergstra, John V Tucker

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

🍕 1. 문제: "분수"는 도대체 무엇인가?

우리가 "분수"라고 말할 때, 머릿속에는 여러 가지 다른 그림이 동시에 떠오릅니다.

문자 그대로의 모양: $\frac{1}{2}$ 처럼 위아래로 숫자가 나란히 있는 기호인가?
숫자 그 자체: $\frac{1}{2}$ 가 의미하는 0.5라는 값인가?
종이 위의 흔적: 칠판에 쓰인 글씨인가?

저자들은 "분수"라는 단어가 이 모든 것을 한꺼번에 부르는 모호한 통칭이라고 말합니다. 마치 "과일"이라는 단어가 사과, 배, 바나나를 모두 부르는 것처럼, "분수"는 수학적 개념 하나를 가리키는 게 아니라 여러 가지 다른 개념들을 묶어둔 **상자 (Category)**와 같습니다.

🏗️ 2. 해결책: "분수"를 해체하자 (새로운 용어)

이 모호함을 없애기 위해 저자들은 "분수"를 네 가지 다른 층위로 나누어 새로운 이름을 붙였습니다. 이를 건축 비유로 생각해보면 이해하기 쉽습니다.

프랙터 (Fracterm): "블록의 설계도"
- 의미: $\frac{1}{2}$ 처럼 나눗셈 기호를 포함한 문자 그대로의 식입니다.
- 비유: 레고 블록을 쌓기 전, "위에는 1, 아래에는 2"라고 적힌 설계도나 형식입니다. 이 설계도 자체는 숫자가 아니라 '형식'입니다.
- 예: $\frac{1}{2}$ , $\frac{4}{6}$ , $\frac{1}{0}$ (나눗셈이 0 인 것도 포함)
프랙밸류 (Fracvalue): "실제 완성된 건물"
- 의미: 설계도를 실제로 계산해서 나온 숫자의 값입니다.
- 비유: 설계도대로 지은 실제 레고 탑입니다. 설계도 $\frac{4}{6}$ 과 $\frac{2}{3}$ 은 모양 (블록 배치) 은 다르지만, 만들어진 탑의 높이 (값) 는 같습니다.
- 핵심: 값은 하나지만, 그 값을 나타내는 설계도는 여러 개일 수 있습니다.
프랙사인 (Fracsign): "블록의 이름표"
- 의미: 종이나 화면에 쓰인 기호 그 자체입니다.
- 비유: 레고 박스에 붙은 "1/2"이라는 라벨입니다. 이 라벨은 설계도이기도 하고, 값의 이름이기도 합니다.
프랙사인 오커런스 (Fracsign occurrence): "라벨이 붙은 특정 순간"
- 의미: 책 한 페이지에 쓰인 특정 위치의 그 글씨입니다.
- 비유: 책장 5 페이지에 적힌 "1/2"과 10 페이지에 적힌 "1/2"은 같은 이름표지만, 다른 위치에 있는 다른 사물입니다.

🚧 3. 왜 이렇게 나누어야 할까? (혼란의 예시)

이 구분이 왜 중요한지, 저자들은 " $\frac{1}{2} = \frac{2}{4}$ "라는 명제를 통해 설명합니다.

혼란: "분수 $\frac{1}{2}$ 의 분자는 1 이고, 분수 $\frac{2}{4}$ 의 분자는 2 이다. 그런데 $\frac{1}{2} = \frac{2}{4}$ 이므로, 1 은 2 와 같다?" -> 이건 말이 안 됩니다! (1=2 가 되니까요)
해결:
- 설계도 (Fracterm) 로 보면: $\frac{1}{2}$ 의 분자는 1, $\frac{2}{4}$ 의 분자는 2 입니다. 서로 다른 설계도입니다.
- 값 (Fracvalue) 으로 보면: 둘 다 0.5라는 같은 값입니다.
- 결론: "설계도의 분자"와 "값"을 혼동해서 생긴 오류입니다. 이 구분을 명확히 하면 수학이 훨씬 깔끔해집니다.

🏷️ 4. 숫자 (Number) 에 대한 새로운 시각: "라벨과 모양"

논의는 분수에서 더 나아가 '숫자 (Number)' 자체에 대한 질문으로 확장됩니다.

라벨 (Label): "자연수", "정수", "실수"처럼 숫자의 종류를 부르는 이름입니다.
모양 (Shape): 그 숫자를 어떻게 표현할지 정한 규칙입니다.
- 예: 자연수 (라벨) 를 표현할 때, 0, 1, 2... (십진법 모양), ∅, {∅}, ... (집합론 모양) 등 여러 가지 모양이 있을 수 있습니다.

저자들은 "숫자"라는 것은 하나의 고정된 실체가 아니라, 어떤 모양 (Shape) 으로 표현하느냐에 따라 달라지는 것이라고 봅니다. 마치 "자동차"라는 라벨은 있지만, 그걸 'sedan(세단)' 모양으로 만들든 'SUV' 모양으로 만들든 모두 자동차라는 것과 같습니다.

🎓 5. 학교 교육과 실생활에 대한 시사점

이 논문은 학교에서 분수를 가르칠 때 중요한 점을 지적합니다.

0 으로 나누기: 수학에서는 보통 "0 으로 나눌 수 없다"고 가르치지만, 컴퓨터나 공학에서는 "0 으로 나누면 오류 (Error) 가 발생한다"고 처리합니다. 저자들은 이를 ** $\frac{1}{0} = \bot$ (에러 값)**로 명확히 정의하여 혼란을 줄일 수 있다고 제안합니다.
** productive ambiguity (생산적 모호성):** "분수"라는 단어가 모호하기 때문에 오히려 다양한 수학적 아이디어를 포괄할 수 있습니다. 하지만 정확한 계산이나 논증이 필요할 때는 이 모호함을 없애고 **설계도 (Fracterm)**와 **값 (Fracvalue)**을 명확히 구분해야 합니다.

💡 요약

이 논문은 "분수"라는 단어는 너무 포괄적이어서 수학적으로 정확한 개념으로 쓰이기엔 부적절하다고 말합니다. 대신 우리는 다음과 같이 구분해서 생각해야 합니다:

형식 (Fracterm): $\frac{a}{b}$ 라는 문자열/식 (설계도).
값 (Fracvalue): 그 식이 의미하는 숫자 (실제 높이).
기호 (Fracsign): 종이에 쓰인 표시.

이처럼 **분수 (Fraction)**는 하나의 개념이 아니라, 이 모든 것을 아우르는 **상자 (Category)**일 뿐입니다. 이 구분을 통해 수학의 모호함을 없애고, 학교 교육과 컴퓨터 과학에서 더 명확한 소통을 할 수 있다는 것이 이 논문의 핵심 메시지입니다.

1. 문제 제기 (Problem)

분수 (Fraction) 의 정의적 모호성: 초등 산술 및 일상적인 수학 문헌에서 '분수 (fraction)'라는 용어는 명확하게 정의된 단일 개념이 아닙니다. 이는 구문론적 구조 (나눗셈 연산자가 주된 함수 기호인 식) 와 의미론적 값 (유리수 등) 을 혼재한 채로 사용되며, 문맥에 따라 다양한 해석이 가능합니다.
개념의 부재: 저자들은 '분수'가 엄밀한 수학적 '개념 (concept)'으로 볼 수 없으며, 대신 여러 관련 개념들을 포괄하는 '범주 (category)' 또는 '집합적 용어'로 기능한다고 주장합니다.
모호성의 기술적 중요성: 분수의 모호성은 단순한 언어적 문제가 아니라, 분모가 0 인 경우 ( $1/0$ ), 분수의 단순화, 분자와 분모의 고유성 등 산술 연산과 논리적 추론에서 심각한 모순 (예: $1=2$ 와 같은 역설) 을 초래할 수 있는 기술적 핵심 이슈입니다.

2. 방법론 (Methodology)

저자들은 모호한 용어를 분석하고 해결하기 위해 다음과 같은 체계적인 방법론을 제시합니다.

랜드마크 (Landmark) 개념 도입: 모호한 용어 $w$ 가 가진 여러 가능한 의미들을 명확하게 정의된 '근접 개념 (near notions)'으로 분해합니다. 이를 '랜드마크'라고 명명합니다.
용어의 재정의 및 분류: '분수'라는 용어를 다음과 같이 4 가지 명확한 계층 (abstraction levels) 으로 세분화하여 정의합니다.
1. Fracsign occurrence (분수 기호 발생): 텍스트나 칠판에 실제로 나타난 기호의 물리적/시각적 발생.
2. Fracsign (분수 기호): 추상화된 기호 자체 (예: $a/b$ 형태).
3. Fracterm (분수 항): 구문론적 관점에서의 분수. 나눗셈을 주 연산자로 갖는 대수적 식 (예: $1/2$ , $4/8$ , $1/0$ ).
4. Fracvalue (분수 값): 의미론적 관점에서의 분수. Fracterm 이 나타내는 수치적 값 (유리수, 혹은 $\bot, \infty$ 등의 주변 숫자).
Fraxion (분수 - 합성 개념): 위 4 가지 개념 (또는 그 중 일부) 의 불교합 합집합 (disjoint union) 으로 정의된 새로운 개념. 이는 '분수'가 어떤 맥락에서든 분해될 수 있는 가능성을 내포한 개념입니다.
숫자 시스템의 분석: 숫자 (Number) 의 본질을 분석하기 위해 Label (라벨) 과 Shape (형태) 개념을 도입합니다.
- Label: 자연수, 정수, 유리수 등 숫자의 유형을 식별.
- Shape: 해당 라벨의 숫자를 표현하는 구체적인 구성 방식 (예: 10 진법, 데데킨트 자연수, 폰 노이만 자연수 등).

3. 주요 기여 (Key Contributions)

가. 분수 용어의 정밀화 (Terminological Precision)

Fracterm vs. Fracvalue 구분: 기존에 혼동되던 '분수'를 '식 (Fracterm)'과 '값 (Fracvalue)'으로 명확히 분리했습니다.
- 예시: $1/2$ 와 $2/4$ 는 서로 다른 Fracterm(분자가 다름) 이지만, 동일한 Fracvalue(유리수 0.5) 를 가질 수 있습니다. 이 구분을 통해 "분자가 같다"는 명제가 Fracterm 에서는 참이지만 Fracvalue 에서는 적용되지 않음을 명확히 하여 역설을 해결합니다.
새로운 용어 체계: Fracterm, Fracvalue, Fracsign, Fraxion 등의 용어를 도입하여 초등 산술 교육과 논리적 분석에서 발생하는 오해를 방지할 수 있는 정밀한 어휘를 제공했습니다.

나. 숫자 시스템의 라벨 - 형태 (Label-Shape) 이론

숫자의 본질에 대한 새로운 관점: 숫자는 고정된 실체가 아니라, 특정 '라벨'에 대응하는 다양한 '형태 (Shape)'들의 집합으로 봅니다.
Normal vs. Subnormal Shape:
- Normal Shape: 동등성 (equality) 과 동일성 (sameness) 이 일치하는 형태 (예: 유리수를 동치류로 정의).
- Subnormal Shape: 동등성과 동일성이 일치하지 않는 형태 (예: 분수 쌍 $(a,b)$ 를 그대로 숫자로 보는 경우, $(1,2) \neq (2,4)$ 이지만 값은 같음).
이 이론은 초등 교육에서 10 진법 형태를 기본으로 하되, 추상적 수학 구조 (집합론적 정의 등) 와의 관계를 유연하게 설명할 수 있는 토대를 마련했습니다.

다. Fractalk (분수 담론) 와 역설 해결

역설의 해명: "분수 $1/2$ 와 $2/4$ 의 분자가 다르므로 $1 \neq 2$ "라는 역설이 발생하는 원인이 Fracterm(식) 과 Fracvalue(값) 의 수준 혼동에서 비롯됨을 보였습니다.
참조 체인 (Reference Chaining): 분수 기호 발생이 문맥에 따라 Fracvalue(기본값) 또는 Fracterm(분자/분모가 중요한 경우) 으로 해석되는 규칙을 제시했습니다.

4. 결과 (Results)

분수는 개념이 아닌 범주 (Category): '분수'는 단일한 수학적 정의를 갖는 개념이 아니라, Fracterm, Fracvalue, Fracsign 등 여러 개념을 포괄하는 '생산적인 모호성 (productive ambiguity)'을 가진 범주임을 규명했습니다.
0 으로 나누기 ( $1/0$ ) 의 처리:
- 초등 교육 (후견적 분할) 에서는 $1/0$ 을 정의하지 않거나 오류로 간주하는 것이 적절합니다.
- 컴퓨터 산술 및 대수적 체계 (Common Meadows) 에서는 $1/0 = \bot$ (오류 값) 로 정의하여 계산이 전파되도록 하는 것이 기술적으로 타당함을 보였습니다.
구조주의 (Structuralism) 와의 연결: 숫자에 대한 '라벨 - 형태' 접근법은 구조주의 철학 (Dedekind, Reck 등) 과 연결되지만, 초등 교육 수준에서는 구체적인 '형태 (Shape, 예: 10 진법)'를 기반으로 한 '순진한 구조주의 (Naive Structuralism)'가 더 실용적임을 주장했습니다.

5. 의의 및 중요성 (Significance)

교육적 함의: 초등 수학 교육에서 분수 개념을 가르칠 때, '식'과 '값'을 혼동하지 않도록 명확한 용어와 개념적 구분이 필요함을 강조합니다. 이는 학생들의 개념적 오류를 줄이고, 나눗셈의 본질을 이해하는 데 기여합니다.
컴퓨터 과학 및 형식 논리: 컴퓨터 프로그램, 대수 시스템, 정리 증명기에서 분수와 나눗셈 연산을 처리할 때 발생하는 모호성과 0 으로 나누기 문제를 해결하기 위한 엄밀한 대수적 기초 (Fracterm Calculus) 를 제공합니다.
수학 철학적 기여: 수학적 용어의 모호성을 단순히 제거해야 할 결함이 아니라, 분석을 통해 '랜드마크' 개념으로 분해하고 재구성해야 할 대상으로 접근하는 방법론을 제시합니다. 이는 '분수'뿐만 아니라 '확률', '숫자' 등 다른 모호한 수학 개념의 분석에도 적용 가능한 일반적 방법론을 제시합니다.

결론적으로, 이 논문은 '분수'라는 일상적이고 직관적인 수학 용어가 내포한 복잡한 층위를 해부하여, 구문론적 식 (Fracterm) 과 의미론적 값 (Fracvalue) 을 명확히 분리함으로써 산술의 논리적 일관성을 회복하고, 교육 및 컴퓨터 과학 응용에 필요한 정밀한 이론적 기반을 마련했습니다.