Fransızca

Il serait relativement facile d'écrire
un programme capable de générer systématiquement des théorèmes de
ce système de telle sorte que tout théorème présélectionné finisse par en
sortir.

Türkçe

Bu sistemin teoremlerini sistematik olarak üretebilen ve önceden seçilen herhangi bir teoremin eninde sonunda ortaya çıkmasını sağlayabilen bir program yazmak nispeten kolay olurdu.

(5000 karakter kaldı)
Fransızca
Türkçe

İçindekiler

Son çeviriler

devamını göster›
ADS - REKLAMLAR