Une généralisation du théorème de Aiyar et du théorème de Bricard

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin

Contradiction ou indécidabilité: il faut choisir! À propos du théorème d'incomplétude de Gödel

“Je suis un menteur”. L’individu qui considère que dans le monde qui l’entoure tout ne peut être que vrai ou faux, ne peut pas statuer sur la vérité de cette phrase. En effet : s’il considère que la phrase “Je suis un menteur” est vraie, alors celui qui l’énonce est un menteur car c’est ce qu’affirme la phrase. Les menteurs ne prêchant que le faux, cette phrase est fausse ; il y a contradiction...

Saadi le Poete de L'antinomie et du Paradoxe

آثار سعدی سرشار از تناقض و پارادوکس می باشد. کاربرد این عوامل نه تنها برای روند متن بازدارنده نیست، بلکه موجب روانی و شیوایی آن نیز می شود و بر غنای آن می افزاید. ما این دو عامل خلاق را، با مثالهایی، در بستر متن و در دو سطح متفاوت مورد مطالعه قرار داده ایم: واژگان و مباحث. تناقض و پارادوکس هر یک در بستر متن از مکانیزم های خاصی برخوردارند و نقش خلاق آنها در حیطه واژگان و مباحث به وضوح به چشم می ...

Hughral et le Commentaire du K. al-Raema de Jabir