Portail:Logique/Le saviez-vous?/Juin

La thèse de Church est un résultat important de logique et de calculabilité qui affirme que toute fonction intuitivement calculable est effectivement calculable au sens formel du terme. Cet énoncé ne peut pas être démontré, car il associe une notion intuitive à un concept formel. En revanche les logiciens y adhèrent tous, car toutes les tentatives de définition formelle de la calculabilité se sont révélées équivalentes (par démonstration).