형 이론
위키백과, 우리 모두의 백과사전.
둘러보기로 가기
검색하러 가기
형 이론(영어: type theory)은 수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미한다.
역사[편집]
1902년부터 1908년 사이 소박한 집합론의 고틀로프 프레게 판이 러셀의 역설로 고생하고 있다는 것을 발견한 데 대해 버트런드 러셀은 다양한 형 이론을 제시했다.
같이 보기[편집]
외부 링크[편집]
숨은 분류:
