Thèse de Church (mathématiques constructives)
Pour l’article homonyme, voir Thèse de Church.
La thèse de Church est un principe de logique constructive qui énonce que toutes les fonctions sont calculables. Il n'est pas compatible avec la logique classique.
Bibliographie
modifier- (en) Anne Sjerp Troelstra et Dirk van Dalen, Constructivism in mathematics: An introduction, vol. 1, North Holland, coll. « Studies in Logic and the Foundations of Mathematics » (no 121), (ISBN 978-0-444-70266-1, lire en ligne).
