Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
"logical dilemmas: the life and work of kurt gödel", a.k.
"logical dilemmas: the life and work of kurt gödel", a. k. peters, wellesley mass, isbn 1-56881-256-6.
a noção atual de computação foi isolada logo depois, começando com o teorema da incompletude de gödel.
the actual notion of computation was isolated soon after, starting with gödel's incompleteness theorem.