MLTT71
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/23 02:46 UTC 版)
MLTT71 はペール・マルティン＝レーフによって作られた最初の型理論であり、1971年に査読前原稿の中で登場した。それは一つの宇宙（universe）を持っていたが、この宇宙にはそれ自身名前を持っていた。つまり、今日"Type in Type"と呼ばれるものを持つ型理論であった。ジャン＝イヴ・ジラールは、この体系は矛盾していることを示した。そして、この査読前原稿は一度も出版されていない。
※この「MLTT71」の解説は、「直観主義型理論」の解説の一部です。
「MLTT71」を含む「直観主義型理論」の記事については、「直観主義型理論」の概要を参照ください。
ウィキペディア小見出し辞書の「MLTT71」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- MLTT71のページへのリンク
