Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
"godel's incompleteness theorems".
"godel's incompleteness theorems".
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
"incompleteness: the proof and paradox of kurt gödel".
"incompleteness: the proof and paradox of kurt gödel".
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
* october 2011 radiolab episode about/including gödel's incompleteness theorem
* october 2011 radiolab episode about/including gödel's incompleteness theorem
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
*first-order arithmetic, a chapter of a book on the incompleteness theorems by karl podnieks.
* first-order arithmetic, a chapter of a book on the incompleteness theorems by karl podnieks.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
* per lindström, 1997, "aspects of incompleteness", lecture notes in logic v. 10.
* per lindström, 1997, "aspects of incompleteness", lecture notes in logic v. 10.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
"there's something about gödel: the complete guide to the incompleteness theorem" john wiley and sons.
"there's something about gödel: the complete guide to the incompleteness theorem" john wiley and sons.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
* geoffrey hellman, "how to gödel a frege-russell: gödel's incompleteness theorems and logicism.
* geoffrey hellman, "how to gödel a frege-russell: gödel's incompleteness theorems and logicism.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
* stewart shapiro, 2002, "incompleteness and inconsistency", "mind", v. 111, pp 817–32.
* stewart shapiro, 2002, "incompleteness and inconsistency", "mind", v. 111, pp 817–32.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
* dan e. willard (2001), "self-verifying axiom systems, the incompleteness theorem and related reflection principles", "journal of symbolic logic", v. 66 n. 2, pp.
* dan e. willard (2001), "self-verifying axiom systems, the incompleteness theorem and related reflection principles", "journal of symbolic logic", v. 66 n. 2, pp.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível