Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
incompleteness theorem
Vertaling van "incompleteness theorem" in Spaans
teorema de la incompletitud
teoremas de incompletitud
teorema de incompletud
These results do not require the incompleteness theorem.
Esos resultados no requieren del teorema de incompletitud.
His second incompleteness theorem stated that any consistent theory powerful enough to encode addition and multiplication of integers cannot prove its own consistency.
Su segundo teorema de incompletitud afirmó que cualquier teoría lo suficientemente consistente como para cifrar la suma y multiplicación de enteros, no puede probar su propia consistencia.
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.
Science must understand that not all things are measurable (like moral, emotions, love) and that there are things we will never know via science (see Gödel "incompleteness theorem" for that).
La ciencia debe comprender que no todas las cosas son medibles (como la moral, las emociones, el amor) y que hay cosas que nunca podremos conocer a través de la ciencia (véase el "teorema de la incompletitud" de Gödel).
Gödel's incompleteness theorem[edit]
Los teoremas de incompletitud de Gödel[editar]
Gödel's second incompleteness theorem establishes that logical systems of arithmetic can never contain a valid proof of their own consistency.
El segundo de los Teoremas de incompletitud de Gödel establece que los sistemas lógicos de la aritmética no pueden contener una prueba válida de su propia coherencia.
Weinberg believed that any undecidability in mathematics, such as the continuum hypothesis, could be potentially resolved despite the incompleteness theorem, by finding suitable further axioms to add to set theory.
Él creía que cualquier indecidibilidad en matemáticas, como la hipótesis del continuo, podría potencialmente ser resuelta a pesar del teorema de incompletitud, mediante la búsqueda de nuevos axiomas adecuados para añadir a la teoría de conjuntos.
Gödel's second incompleteness theorem establishes that logical systems of arithmetic can never contain a valid proof of their own consistency.
El segundo teorema de incompletitud de Gödel establece que los sistemas lógicos de la aritmética no pueden contener una prueba válida de su propia consistencia.
His objections to self-analysis have a mathematical correlate in Godel's (1930/1962) incompleteness theorem, which states that no system can ever answer all of its postulates but can only be completed using information from another system outside itself.
Sus objeciones al autoanálisis guardan una correlación matemática con el teorema de incompletitud de Godel (1930/1962), el cual plantea que ningún sistema puede contestar todo sus postulados sino que solo puede ser completado usando información de otro sistema fuera de sí mismo.
However, in the propositional model, where the scientific statement plays an exemplary role, the inevitable circle, which comprises the justification of knowledge, becomes problematic (->Gödel's incompleteness theorem).
Sin embargo, en el modelo proposicional, en el que el enunciado científico es el que cumple un papel ejemplar, se vuelve problemático el inevitable círculo en que consiste la justificación del conocimiento (->Teorema de incompletitud de Gödel).
A charismatic speaker well known for his clarity and wit, he once delivered a lecture (1994b) giving an account of Gödel's second incompleteness theorem, employing only words of one syllable.
Un presentador carismático, famoso por su claridad e inteligencia, una vez dio una clase (1994a) sobre el segundo teorema de incompletitud de Gödel, empleando solo palabras de una sílaba.
Similarly, Gödel's incompleteness theorem shows that, even in elementary arithmetic, there is no axiomatic theory which will answer all possible questions.
De forma similar, el teorema de incompletitud de Gödel muestra que, incluso en la aritmética elemental, no hay ninguna teoría axiomática que pueda responder todas las preguntas posibles.
This result is closely related to Gödel's incompleteness theorem and can be seen as another way of looking at the same idea.
Este resultado está relacionado íntimamente con el teorema de incompletitud de Gödel y puede verse como otra forma de enfocar la misma idea.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor incompleteness theorem in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 65. Exact: 65. Verstreken tijd: 49 ms.
