decidable

We prove some results concerning k-finite and decidable objects.
Se prueban algunos resultados sobre objetos k-finitos y objetos decidibles.
First when I say: is it decidable?
Primero cuando yo decía:?es decidible?
He investigated the undecidability of the elementary theory of classical linear groups and proved that the class of locally free algebras had a decidable theory.
Él investigó la undecidability de la teoría elemental de grupos lineales clásicos y demostró que la clase de álgebras localmente libre decidable tenía una teoría.
At this point, a thousand questions assail me: What would that mean to argue, to argue about who is right, who is right about what? Is this provable, are we in the domain of decidable propositions?
Entonces, se me vienen mil preguntas.?Qué quiere decir discutir, discutir sobre quién tiene razón, quién tiene razón sobre qué??Eso es probable, está en el dominio de las proposiciones decidibles?
Other Dictionaries
Explore the meaning of decidable in our family of products.
Word of the Day
Christmas