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, söz konusu 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

Son çeviriler

devamını göster›
ADS - REKLAMLAR