İnsan çevirisi örneklerinden çeviri yapmayı öğrenmeye çalışıyor.
Profesyonel çevirmenler, işletmeler, web sayfaları ve erişimin serbest olduğu çeviri havuzlarından.
zijn diagonaalargument is ook fundamenteel in de oplossing van het stopprobleem en het bewijs van de gödels eerste onvolledigheidsstelling.
his argument is fundamental in the solution of the halting problem and the proof of gödel's first incompleteness theorem.
Son Güncelleme: 2016-03-03
Kullanım Sıklığı: 1
Kalite:
== geschiedenis ==cantor gaf in essentie het hierboven beschreven bewijs in een in 1891 gepubliceerd artikel "Über eine frage der elementare mannigfaltigkeitslehre", waar zijn diagonaalargument voor de onaftelbaarheid van de reéle getallen ook voor het eerst voorkomt (hij had de onaftelbaarheid van de reële getallen eerst op een andere methode bewezen).
== history ==cantor gave essentially this proof in a paper published in 1891 "Über eine elementare frage der mannigfaltigkeitslehre", where the diagonal argument for the uncountability of the reals also first appears (he had earlier proved the uncountability of the reals by other methods).
Son Güncelleme: 2016-03-03
Kullanım Sıklığı: 1
Kalite:
Uyarı: Görünmez HTML biçimlendirmesi içeriyor