Translation for "meta-mathematical" to spanish

Meta-mathematical

• metamatemáticas
• metamatemático

Translation examples

metamatemáticas

Formal and meta-mathematical logic does move forward and amend prior findings.
La lógica formal y metamatemática se desplazan hacia delante y rectifican los descubrimientos anteriores.

Spinoza’s meta-mathematical formulations represent the severest attempt we have at autonomy. But they too have their poetry.
Las formulaciones metamatemáticas de Spinoza son un intento para lograr tal autonomía, pero tienen su propia poesía.

At times it labors to transcend lexical, syntactical limitations and inherited atrophies altogether by resorting to formal logic and meta-mathematical algorithms as in Frege.
En ocasiones se esfuerza por trascender totalmente las limitaciones léxicas y sintácticas y las atrofias heredadas recurriendo a la lógica formal y a unos algoritmos metamatemáticos, como hace Frege.

It was simply no longer feasible to “speak,” to circumscribe in natural language ever-growing domains of the existential, of knowledge and application, without resorting to the codes of the mathematical and the meta-mathematical.
Sencillamente, nunca más será posible «hablar» ni circunscribir en la lengua natural los crecientes dominios de lo existencial, del saber y su aplicación sin recurrir a los códigos matemáticos y metamatemáticos.

Capable of simulating entire universes within their imaginations, some Minds retreat forever into Infinite Fun Space, a realm of meta-mathematical possibility, accessible only to superhuman artificial intelligences.
Capaces de simular universos enteros en su imaginación, algunas Mentes se retiran para toda la eternidad al espacio de diversión infinita, un reino de posibilidades metamatemáticas únicamente accesible a inteligencias artificiales sobrehumanas.

Symbolic logic, meta-mathematical idioms of every kind, the quest for a political-moral cleansing of the human tongue (cf. Kraus and Orwell) tell of attempts at a “Newspeak,” but this time in a positive, truth-functional register.
Los idiomas simbólicos, metamatemáticos de todo tipo, la búsqueda de una purificación político-moral de la lengua humana (véanse Kraus y Orwell), hablan de unos intentos de crear una «neolengua», pero esta vez en un registro positivo, de funciones de verdad.