met·a·math·e·ma·ti·cian
C2technical수학의 형식 체계 자체를 연구하는 학자
noun명사
- 1
메타수학자 — 수학의 형식 체계, 공리, 증명, 일관성, 완전성 등을 연구하는 학자C2〔mathematics〕
a person who studies the formal properties, foundations, and logical structure of mathematical systems
The metamathematician analyzed whether the formal system could prove its own consistency.
그 메타수학자는 그 형식 체계가 자기 자신의 일관성을 증명할 수 있는지 분석했다.
As a metamathematician, she studies proofs as mathematical objects in their own right.
메타수학자로서 그녀는 증명 자체를 하나의 수학적 대상으로 연구한다.
뉘앙스 · 쓰임
mathematician은 일반적으로 수학을 연구하는 사람이고, metamathematician은 수학 이론이나 형식 체계 자체를 한 단계 위에서 분석하는 사람이다. mathematical logician과 겹칠 수 있지만, metamathematician은 특히 수학 체계에 대한 ‘메타’ 수준의 연구라는 점을 강조한다. proof theorist는 증명 이론을 전문으로 하는 더 좁은 표현일 수 있다.
일상 대화에서는 거의 쓰이지 않으며, 수리논리학·철학·수학기초론 관련 글에서 주로 사용된다. 한국어로는 문맥에 따라 ‘메타수학자’, ‘초수학자’, ‘수학기초론 연구자’처럼 옮길 수 있다.
유의어 뉘앙스 비교
- metalogician
- 논리 체계에 대한 메타 수준의 연구를 강조하며, 수학 체계뿐 아니라 논리 체계 전반을 가리킬 수 있다.
- mathematical logician
- 수리논리학자를 뜻하는 더 넓고 흔한 표현으로, 반드시 메타수학만을 연구한다는 뜻은 아니다.
- proof theorist
- 증명 이론을 전문으로 하는 연구자를 가리키며, metamathematician보다 범위가 좁을 수 있다.
자주 쓰는 표현 · Collocations
adj+noun
- a leading metamathematician저명한 메타수학자
noun+verb+noun
- a metamathematician studies formal systems메타수학자가 형식 체계를 연구하다
verb+prep+noun
- work as a metamathematician메타수학자로 일하다
noun+prep+noun
- metamathematician of the Hilbert school힐베르트 학파의 메타수학자
어원 · 암기 팁
[English]영어에서 meta-와 mathematician이 결합해 만들어진 말이다. meta-는 그리스어에서 온 접두사로 ‘~을 넘어선’, ‘~에 대한 상위 수준의’라는 뜻을 지니며, mathematician은 ‘수학자’를 뜻한다.
meta- ‘상위의, ~에 대한’ + mathematician ‘수학자’
💡 ‘수학자(mathematician)를 위에서 한 단계 더(meta) 분석하는 사람’으로 기억하면 쉽다.