형 이론

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

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

역사[편집]

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

같이 보기[편집]

바깥 고리[편집]