유형론

일반

• 유형 이론 - 유형 이론은 추론 규칙으로 판단을 이끌어내는 수학적 논리의 한 분야로, 러셀의 역설 해결 시도에서 시작되어 람다 대수와 함께 발전, 구성수학의 기초를 제공하고 증명 보조자의 기반으로 사용되며, 논리학, 컴퓨터 과학, 언어학 등 다양한 분야에서 활용되고 커리-하워드 대응을 통해 논리와 프로그래밍 언어 간의 연관성을 보이는 학문이다.
• 유형 이론 - 유형 이론은 추론 규칙으로 판단을 이끌어내는 수학적 논리의 한 분야로, 러셀의 역설 해결 시도에서 시작되어 람다 대수와 함께 발전, 구성수학의 기초를 제공하고 증명 보조자의 기반으로 사용되며, 논리학, 컴퓨터 과학, 언어학 등 다양한 분야에서 활용되고 커리-하워드 대응을 통해 논리와 프로그래밍 언어 간의 연관성을 보이는 학문이다.
• 언어유형론 - 언어 유형론은 언어들의 구조적 유사점과 차이점을 연구하여 언어를 분류하고 보편적인 원리를 탐구하는 언어학 분야로, 구문, 음운, 형태 등 다양한 하위 분야를 포괄하며 언어 보편성과 밀접한 관련을 맺는다.

각주