Fransızca

One can write
a computer program rather easily which will systematically generate theorems
of that system, and in such a manner that eventually, any preselected
theorem will be printed out.

Türkçe

Bir bilgisayar programı yazmak oldukça kolaydır; bu program, o sistemin teoremlerini sistematik olarak üretecek ve sonunda önceden seçilen herhangi bir teoremin çıktısını verecektir.

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

İçindekiler

Son çeviriler

devamını göster›
ADS - REKLAMLAR