gödel's
- Ejemplos
One of Gödel's closest friends at Princeton was Einstein. | Uno de los más cercanos amigos Godel en Princeton fue Einstein. |
By this time Gödel's older brother was a successful radiologist. | En ese momento el hermano mayor de Godel era un buen radiólogo. |
In 1992 he published Gödel's incompleteness theorems. | En 1992 publicó incompleto teoremas de Godel. |
Its respectivity grounds the regressus ad infinitum or mathematical inexhaustibility (Gödel's Theorem). | Su carácter de respectividad funda el regreso al infinito o inagotabilidad matemática (Teorema de (Gödel). |
At first this had no effect on Gödel's life in Vienna; he had little interest in politics. | Al principio este no tuvo ningún efecto sobre la vida de Godel en Viena; había poco interés en la política. |
Adele, Gödel's wife, was a great support to him and she did much to ease the tensions which troubled him. | Adele, la esposa de Godel, fue un gran apoyo a él y le hizo mucho para aliviar las tensiones que le agitada. |
Gödel's results were a landmark in 20th-century mathematics, showing that mathematics is not a finished object, as had been believed. | Godel los resultados fueron un hito en el 20 siglo matemáticas, lo que demuestra que las matemáticas no es un objeto acabado, como se había creído. |
Rudolf, Gödel's brother, was a medical doctor so the medical details given by him in the following will be accurate. | Rudolf, el hermano de Godel, fue un médico por lo que el médico la información que se detalla por él en los siguientes se precisa. |
For instance there are schemes where we have a spinning universe, known as Gödel's Universe, after Kurt Gödel who first conceived of it. | Por ejemplo hay los esquemas donde tenemos un universo que hace girar, conocidos como universo de G5odel, después de Kurt G5odel que primero concibió de él. |
She was not the first girl that Gödel's parents had objected to, the first he had met around the time he went to university was ten years older than him. | Ella no era la primera chica que Godel padres se habían opuesto a la primera se había reunido en todo el tiempo se fue a la universidad era diez años mayor que él. |
Despite the health problems, Gödel's research was progressing well and he proved important results on the consistency of the axiom of choice with the other axioms of set theory in 1935. | A pesar de los problemas de salud, Godel de la investigación estaba progresando bien y demostró importantes resultados sobre la consistencia del axioma de elección con los demás axiomas de la teoría de conjuntos en 1935. |
Gödel's mother had left Vienna before he did, for in 1937 she returned to her villa in Brno where she was openly critical of the National Socialist regime. | Godel había dejado la madre de Viena antes de que él hizo, en 1937 regresó a su casa en Brno, donde fue abiertamente crítico con el régimen nacionalsocialista. |
We mentioned above that Gödel's mother had a literary education and she was now able to enjoy the culture of Vienna, particularly the theatre accompanied by Rudolf and Kurt. | Hemos mencionado anteriormente que la madre de Godel había una obra literaria y la educación que está ahora en condiciones de disfrutar de la cultura de Viena, en particular el teatro acompañado por Rudolf y Kurt. |
This is of course Gödel's Theorem. | Esto, por supuesto, fue el celebre teorema de Gödel. |
Kurt Gödel's father was Rudolf Gödel whose family were from Vienna. | ATENCIÓN - traducción automática de la versión inglesa Kurt Gödel 's padre fue Rudolf Godel, cuya familia de Viena. |
The trouble with Zermelo was that he felt he had already achieved Gödel's most admired result himself. | El problema con Zermelo era que él sentía que él ya había logrado la más admirada Godel mismo resultado. |
Gödel's (first) incompleteness theorem shows that many axiom systems of mathematical interest will have undecidable statements. | El primer teorema de la incompletitud de Gödel muestra que muchos sistemas axiomáticos de interés matemático tendrán sentencias indecidibles. |
Hawking and many others have claimed that Gödel's undecidability theorems prevent a theory of everything. | Hawking y muchos otros han dicho que el teorema de indecibilidad de Gödel hace imposible que exista una teoría del todo. |
This project was cut short by Gödel's incompleteness theorem (1931), which effectively showed the impossibility of any such procedure. | Este proyecto se interrumpió por el teorema de incompletitud de Gödel's (1931), que efectivamente demostro la imposibilidad de cualquier procedimiento semejante. |
Gödel's Theorem (1931) has deep repercusions in Zubiri (as in Lakatos, Quine and a number of other philosophers of mathematics). | El Teorema de Gödel (1931) tiene honda repercusión en Zubiri (como en Lakatos, Quine y numerosos filósofos de la matemática). |
