유형 이론
수학자 버트런드 러셀이 제안한 유형 개념에서 파생한 이론
(타입 이론에서 넘어옴)
비슷한 이름의 유형론에 관해서는 해당 문서를 참조하십시오.수학, 논리학, 컴퓨터 과학에서 유형 이론(類型理論, 영어: type theory) 또는 유형론은 유형의 개념을 사용하여, 합법적으로 사용 가능한 논리식에 제한을 두는 논리 체계들의 총칭이다. 최초의 유형 이론은 버트런드 러셀이 만든 분지 유형 이론이다.
역사 편집
1902년부터 1908년 사이 소박한 집합론의 고틀로프 프레게 판이 러셀의 역설로 고생하고 있다는 것을 발견한 데 대해 버트런드 러셀은 다양한 유형 이론을 제시했다.
같이 보기 편집
외부 링크 편집
|
이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |