Cercles vicieux, mathématiques et formalisations logiques

[摘要] Some forms of circularity in Logic and Mathematics (self-membership, self-application, impredicativity, …) are analyzed as closure properties of suitable mathematical structures since they can be considered as solutions of some systems of equations. At the same time, from a philosophical point of view, we stress the contribution of these circularities to the power of mathematics in making the world intelligible;

[学科分类] 数学（综合）

[关键词] self-reference;self-application;anti-foundation;impredicativity;equation