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