Fransızca

A string of TNT has been found; it expresses, unambiguously, a
statement about certain arithmetical properties of natural numbers;
moreover, by reasoning outside the system we can determine
not only that the statement is a true one, but also that the string
fails to be a theorem of TNT. And thus, if we ask TNT

Türkçe

TNT'nin bir dizisi bulundu; bu dizi, doğal sayıların belirli aritmetik özellikleri hakkında kesin bir ifadeyi dile getiriyor; dahası, sistemin dışında akıl yürüterek, ifadenin doğru olduğunu değil, aynı zamanda dizinin TNT'nin bir teoremi olmadığını da belirleyebiliriz. Dolayısıyla, TNT'ye sorarsak...

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

İçindekiler

Son çeviriler

devamını göster›
ADS - REKLAMLAR