High Quality Content by WIKIPEDIA articles! La theorie des types est une branche de la logique mathematique qui a pour principales caracteristiques que tout objet (terme, fonction, ensemble) y a un type et que les entites ne peuvent se combiner qu'en respectant des regles de "typage". Une premiere theorie des types (dite "ramifiee") a ete creee par Bertrand Russell pour resoudre les paradoxes logiques, comme celui du menteur et ceux de la theorie des ensembles ; lourde d'emploi, elle a d'abord ete simplifiee par Ramsey et ensuite supplantee par les theories de Zermelo-Frankel et NF de Quine , et aussi reconsideree pour des objets plus elementaires apres la decouverte du lambda-calcul et de la logique combinatoire. Bien que ces theories soient coherentes dans leurs versions originelles, qui sont non typees, il est interessant d'en etudier des formulations avec types.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.