주 메뉴 열기

형 이론(영어: type theory) 또는 유형론수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미한다.

역사편집

1902년부터 1908년 사이 소박한 집합론고틀로프 프레게 판이 러셀의 역설로 고생하고 있다는 것을 발견한 데 대해 버트런드 러셀은 다양한 형 이론을 제시했다.

같이 보기편집

외부 링크편집