Você procurou por: gödel's incompleteness theorem (Inglês - Francês)

in 1992 he published gödel's incompleteness theorems.
en 1992, il a publié l'incomplétude de gödel théorèmes.

of course gödel published his incompleteness theorem just at the time gentzen was beginning his work.
bien sûr, gödel a publié son théorème d'incomplétude juste au moment gentzen commençait son travail.

gödel is best known for his proof of "gödel's incompleteness theorems".
gödel est surtout connu pour sa preuve de "théorème d'incomplétude de gödel".

the paper considers gödel 's incompleteness theorem as well as tarski's undefinability theorem and look at their consequences for the axiomatic method in mathematics.
le document estime gödel l 'théorème d'incomplétude, ainsi que tarski's theorem undefinability et regarder leurs conséquences pour la méthode axiomatique dans le domaine des mathématiques.

in hindsight, the basic idea at the heart of the incompleteness theorem is rather simple.
le principe du théorème d'incomplétude est simple.

it explains to a general audience various matters relating to the lucasian professor's work, such as gödel's incompleteness theorem and p-branes (part of superstring theory in quantum mechanics).
il explique au grand public diverses questions relatives aux travaux du professeur de mathématique lucasien, comme le théorème d'incomplétude de gödel et brane (théorie des supercordes dans la mécanique quantique).

for those really interested in mathematics, i cannot avoid mentioning some other topics martinez addresses: gödel’s incompleteness theorem is one of the greatest achievements in mathematics ever, though it is complicated to understand.
pour ceux qui s’intéressent vraiment en mathématiques, je ne peux pas éviter de mentionner quelques autres sujets abordés par martinez: le théorème d’incomplétude de gödel est l’une des plus grandes réalisations en mathématiques, même s’il est compliqué à comprendre.

when gödel published his incompleteness theorems in 1931, post realised that he had waited too long to publish what he had proved and that now the whole credit would go to gödel .
lorsque gödel a publié son incompleteness theorems en 1931, après réalisé qu'il avait attendu trop longtemps pour publier ce qu'il a fait la preuve et que, désormais, l'ensemble du crédit d'aller à gödel.

for example, in his well-known incompleteness theorem, czech-born mathematician kurt gödel demonstrated that within any given branch of mathematics there would always be some propositions that could not be proven either true or false using the rules and axioms of that mathematical branch itself.
par exemple, avec sa célèbre théorie d'incomplétude, le mathématicien tchèque kurt gödel a démontré qu'à l'intérieur de toute branche de mathématiques, il y aurait toujours certaines propositions qu'on ne pourrait ni prouver vraies, ni prouver fausses, même à l'aide de règles et d'axiomes provenant de cette même branche.

"gödel, escher, bach" by douglas hofstadter, published in 1979, discusses the ideas of self-reference and strange loops, drawing on a wide range of artistic and scientific work, including the art of m. c. escher and the music of j. s. bach, to illustrate ideas behind gödel's incompleteness theorems.
== influence =="" de douglas hofstadter, publié en 1979, traite des idées d'auto-référence et de , puisant dans un vaste ensemble de travaux artistiques et scientifiques, dont l'œuvre de m. c. escher et la musique de johann sebastian bach, afin d'illustrer les idées derrière les théorèmes d'incomplétude de gödel.