형 이론
위키백과, 우리 모두의 백과사전.
형 이론(영어: type theory)은 수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미한다.
역사[편집]
1902년부터 1908년 사이 소박한 집합론의 고틀로프 프레게 판이 러셀의 역설로 고생하고 있다는 것을 발견한 데 대해 버트런드 러셀은 다양한 형 이론을 제시했다.
같이 보기[편집]
바깥 고리[편집]
|
집합론 |
|
|---|---|
| 집합 | |
| 함수 | |
| 기수 | |
| 순서수 | |
| 역설의 해소 | |
| 선택 공리 | |
| 집합론의 모형 | |
| 큰 기수 | |
| ZF와 독립된 명제 | |
|
논리학 |
|
|---|---|
| 비형식 논리학 | |
| 수리논리학 | |
| 기타 논리 체계 | |
| 논리학자 | |
|
컴퓨터 과학의 주요 분야 |
|
|---|---|
| 수학적 기초 | |
| 계산 이론 | |
| 알고리즘 & 자료 구조 | |
| 프로그래밍 언어 & 컴파일러 | |
| 병렬 & 분산 시스템 | |
| 소프트웨어 공학 | |
| 시스템 아키텍처 | |
| 통신 & 네트워크 | |
| 데이터베이스 | |
| 인공 지능 | |
| 컴퓨터 그래픽 | |
| 인간과 컴퓨터 상호 작용 | |
| 계산과학 | |
| 정보보호 | |
