비슷한 이름의 類型論 에 關해서는 該當 文書를 參考하십시오.

數學 , 論理學 , 컴퓨터 科學 에서 類型 理論 (類型理論, 英語 : type theory ) 또는 類型論 은 類型의 槪念을 使用하여, 合法的으로 使用 可能한 論理式 에 制限을 두는 論理 體系들의 總稱이다. 最初의 類型 理論은 버트런드 러셀 이 만든 盆地 類型 理論 이다.

歷史 [ 編輯 ]

1902年부터 1908年 사이 素朴한 集合論 의 고틀로프 프레게 板이 러셀의 逆說 로 苦生하고 있다는 것을 發見한 데 對해 버트런드 러셀 은 다양한 類型 理論을 提示했다.

같이 보기 [ 編輯 ]

• 資料型
• 資料型 體系
• 도메인 理論

外部 링크 [ 編輯 ]

• (英語) The Nuprl Book : " Introduction to Type Theory. "

이 글은 數學에 關한 토막글 입니다. 여러분의 知識으로 알차게 文書를 完成해 갑시다.