Translation for "métamathématique" to spanish

Métamathématique

• metamatemáticas

Translation examples

metamatemáticas

Parfois elle s’efforce de dépasser les limitations lexicales et syntaxiques, les atrophies héritées, en somme, en recourant à la logique formelle et à des algorithmes métamathématiques comme chez 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.

La logique symbolique, les idiomes métamathématiques en tous genres, la quête d’une purification politique et morale de la langue des hommes (cf. Karl Kraus et George Orwell) trahissent autant d’essais d’un Newspeak, d’une « Novlangue », mais cette fois dans un registre positif, « fonctionnel de vérité ».
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.

Pour la machine elle-même, il prévoyait d’utiliser des valeurs codifiées logiquement plutôt que des nombres, sauf dans la sphère métamathématique, où le besoin d’arithmétiser requérait la numération des expressions formelles (s’il parvenait à déterminer comment faire), les séries naturelles de nombres ne commençant dans ce cas ni par zéro (Peano, Hilbert), ni par un (Dedekind) mais, pour des raisons techniques impliquant des constantes logiques et leurs négations, par moins un (Lown, Bolin).
Para la máquina en sí, tenía planeado usar valores codificados lógicamente en vez de números, salvo en la esfera metamatemática, donde la necesidad de aritmetizar requería numerar las expresiones formales (si podía averiguar cómo hacerlo), teniendo en cuenta que en aquel caso las series de números naturales no empezaban ni con el cero (Peano, Hilbert), ni con el uno (Dedekind), sino, por razones técnicas relacionadas con las constantes lógicas y con sus negaciones, con el menos uno (Lown, Bolin).