Tentando aprender a traduzir a partir dos exemplos de tradução humana.
De: Tradução automática
Sugerir uma tradução melhor
Qualidade:
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
der unvollständigkeitssatz von gödel.
a modern translation by hirzel.
Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:
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.
Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:
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.
Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:
Aviso: contém formatação HTML invisível
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.
Última atualização: 2016-03-03
Frequência de uso: 2
Qualidade:
Aviso: contém formatação HTML invisível
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].
Última atualização: 2018-02-13
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível