intuitionist oor Spaans

intuitionist

naamwoord, adjektief

A person who studies intuitionistic mathematics

Vertalings in die woordeboek Engels - Spaans

institucionista

adjektief

Soortgelyke frases

intuitionistic logic
lógica intuicionista

voorbeelde

Similarly, to assert that A or B holds, to an intuitionist, is to claim that either A or B can be proved.
Por ejemplo, decir A o B, para un intuicionista significa que A o B pueden ser probados.

The intuitionist, e.g., does not accept the rule ‘From not-not-A infer A’.
El intuicionismo, por ejemplo, no acepta la regla «de no-no-A infiérase A».

Thus, the purpose of this paper is to report a hybrid method between MOORA and intuitionistic fuzzy sets for the selection of suppliers with a focus on multi-criteria and multi-group environment.
Por lo tanto, el propósito del presente artículo es reportar un nuevo método basado en la hibridación de la técnica MOORA con conjuntos difusos intuicionistas para la selección de proveedores, con un enfoque de decisión multi-criterio y multi-grupal.

The importance of decision makers, criteria and alternatives are evaluated in terms of intuitionistic fuzzy sets. Then, MOORA is used in order to determine the best supplier.
La importancia de los decisores y criterios así como las alternativas se evalúan en términos de conjuntos difusos intuicionistas, posteriormente MOORA es usado para determinar la mejor alternativa.

• The social intuitionist model starts with Hume’s model and makes it more social.
• El modelo intuicionista social parte del modelo de Hume y lo hace más social.

Heyting arithmetic adopts the axioms of Peano arithmetic (PA), but uses intuitionistic logic as its rules of inference.
La aritmética de Heyting adopta los axiomas de Peano, pero utiliza las reglas de inferencia de la lógica intuicionista.

EU-funded scientists, seeking new interpretations to many-valued logic, have investigated new approaches using tools traditionally developed in intuitionistic and modal logic.
Un grupo de científicos financiado por la Unión Europea, en busca de nuevas interpretaciones para la lógica multivaluada, ha estudiado nuevos enfoques utilizando herramientas desarrolladas tradicionalmente para la lógica intuicionista y modal.

Some research-oriented functional languages such as Coq, Agda, Cayenne, and Epigram are based on intuitionistic type theory, which lets types depend on terms.
Algunos lenguajes funcionales orientados a la investigación, tales como Coq, Agda, Cayenne y Epigram se basan en la teoría de tipo intuicionista, que permite a los tipos a depender de los términos.

I do not think that a view of this kind has much similarity to traditional intuitionistic philosophy.
No creo que una concepción de este tipo presente mucha semejanza con la filosofía intuicionista tradicional.

The Intuitionist school is equally determined to separate mathematics from objective reality.
La escuela intuicionista también se propone separar las matemáticas de la realidad objetiva.

For the intuitionist, this is not valid; the refutation of the non-existence does not mean that it is possible to find a construction for the putative object, as is required in order to assert its existence.
Para los intuicionistas esto no es válido; la refutación de la falsedad de un objeto matemático no significa que es posible hallar una prueba constructiva de su existencia.

And this makes Intuitionist logic look less like a restriction, and more like an extension, of classical logic.
Y esto hace que la lógica intuicio nista parezca más una extensión que una restricción de la lógica clásica.

Once he found out I was an Intuitionist, he talked to me as you never did.
Una vez que descubrió que yo era una intuicionista, habló conmigo como tú no lo has hecho jamás.

Intuitionists believe in the reality of the finite natural numbers 1, 2, 3,..., and even 10,949,769,651,859.
Los intuicionistas creen en la realidad de los números finitos naturales, 1, 2, 3, ..., e incluso 10.949.769.651.859.

In his two-page paper Zum intuitionistischen Aussagenkalkül (1932) Gödel refuted the finite-valuedness of intuitionistic logic.
En su ensayo de dos páginas Zum intuitionistischen Aussagenkalkül (1932) Gödel refutó la “valuabilidad” finita de la lógica intuicionista.

It is not a mystical or an intuitionist view of life.
No es una visión mística o intuicionista de la vida.

Yes, she thought, an intuitionist had to be a peculiar combination of intellect and sensitivity.
Sí, pensó Kyra, un intuicionista era una extraña combinación de intelecto y sensibilidad.

For instance, intuitionists deny that it is possible to have a direct intuition of any infinite entity.
Los intuicionistas niegan, por ejemplo, que sea posible la intuición directa de cualquier entidad infinita.

What use for an intuitionist on Demeter?
¿Qué sentido tendría un intuicionista en Deméter?

Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus.
La Lógica Categórica es ahora un campo bien definido basado en la teoría de tipos para la Lógica intuicionista, con aplicaciones a la teoría de la programación funcional y la teoría de dominios, todas enmarcadas en una categoría cartesianamente cerrada como descripciones no sintácticas del cálculo lambda.

Names of the intuitionist propositional calculus.
I, IC Nombres del cálculo proposicional intuicionista.

Also note that Heyting algebras can be viewed as Lindenbaum algebras of intuitionistic logic, which makes them a special case of the first example.
Las álgebras de Heyting pueden verse como Álgebras de Lindenbaum de lógica intuicionista, lo que lo convierte en un caso particular del ejemplo anterior.

In England at this time, Kolnai became very influenced by the English common-sense philosophy of G.E. Moore and other British intuitionists such as H.A. Prichard, E.F. Carritt, and W.D. Ross.
En Inglaterra estuvo influenciado por la filosofía de sentido común de GE Moore y otros intuicionistas británicos como HA Prichard, EF Carritt y WD Ross.

Similarly, one can obtain calculi for dual-intuitionistic logic (a type of paraconsistent logic) by requiring that sequents be singular in the antecedent.
Del mismo modo, se pueden obtener los métodos de cálculo para la lógica intuicionista dual, que es una tipo de lógica paraconsistente, exigiendo que los consecuentes tengan una fórmula en el antecedente.

(The latter, as I have contended in chapter 2, pp. 110-1, are really intuitionist ones at one remove.)
(Estos últimos, como he sostenido en el capítulo 2, pág. 123, son realmente intuicionistas en último término).