Apprendre à traduire à partir d'exemples de traductions humaines.
De: Traduction automatique
Suggérer une meilleure traduction
Qualité :
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
der unvollständigkeitssatz von gödel.
a modern translation by hirzel.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 2
Qualité :
diese tatsache ist der punkt, an dem gödels unvollständigkeitssatz ansetzt.
given any statement, the number it is converted to is known as its gödel number.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 2
Qualité :
der unvollständigkeitssatz zeigte für gödel, dass man dieser realität nicht mit rein formalen mitteln beikommen konnte.
but when this calculation is performed, the resulting gödel number turns out to be the gödel number of "p" itself.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 2
Qualité :
Avertissement : un formatage HTML invisible est présent
der "erste unvollständigkeitssatz" besagt, dass es in hinreichend starken widerspruchsfreien systemen immer unbeweisbare aussagen gibt.
for any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 2
Qualité :
Avertissement : un formatage HTML invisible est présent
eine unterscheidung in eigene gedanken im gegensatz zum resultat einer untersuchbaren deterministischen kaskade, und das subjektive, private unwissbare einer prinzipiellen unbestimmbarkeit des mentalen. als randbemerkung sei vermerkt, daß man sich in radikaler konsequenz auf goedels unvollständigkeitssatz berufen könnte [siehe the godelian argument von j. r. lucas, entdeckt 2011].
with it accompanies firstly a distinction of ones own thoughts in contrast to the result of an examinable deterministic cascade, and secondly the subjective, private unknowable information of a basic undeterminableness of the mental. it should be noted that as a radical consequence, one can refer to goedels "incompleteness theorem" [see the godelian argument, by j. r. lucas, discovered 2011].
Dernière mise à jour : 2018-02-13
Fréquence d'utilisation : 1
Qualité :
Avertissement : un formatage HTML invisible est présent