A computabilidade de um problema é um conceito fundamental na teoria da computação.

Refers to the impossibility of being computed by an algorithm.

The term 'computability' is central to theoretical computer science and mathematical logic. It refers to the property of a problem or function being solvable by an algorithmic procedure. The formal definition of computability is often associated with the Church-Turing thesis, which equates the intuitive notion of an effective procedure with computability by a Turing machine or by recursive functions. Understanding computability is crucial for determining the limits of what can be solved by computers.

Discussion about the limits of computation and the theory behind it.

Explanation of the foundational thesis defining the scope of computability.

Direct synonym, emphasizes the capacity to be calculated.

Se refiere a la imposibilidad de ser computado por un algoritmo.

El término 'computabilidad' es central en la ciencia de la computación teórica y la lógica matemática. Se refiere a la propiedad de un problema o función de ser resoluble por un procedimiento algorítmico. La definición formal de computabilidad a menudo se asocia con la tesis de Church-Turing, que equipara la noción intuitiva de un procedimiento efectivo con la computabilidad por una máquina de Turing o por funciones recursivas. La comprensión de la computabilidad es crucial para determinar los límites de lo que puede ser resuelto por las computadoras.

Discusión sobre los límites de la computación y la teoría detrás de ella.

Explicación de la tesis fundamental que define el alcance de la computabilidad.

Sinónimo directo, enfatiza la capacidad de ser calculado.

El término técnico principal en el campo.

Refere-se à impossibilidade de ser computado por um algoritmo.

O termo 'computabilidade' é central na ciência da computação teórica e na lógica matemática. Ele se refere à propriedade de um problema ou função ser solúvel por um procedimento algorítmico. A definição formal de computabilidade é frequentemente associada à tese de Church-Turing, que equipara a noção intuitiva de um procedimento efetivo à computabilidade por uma máquina de Turing ou por funções recursivas. A compreensão da computabilidade é crucial para determinar os limites do que pode ser resolvido por computadores.

Discussão sobre os limites da computação e a teoria por trás dela.

Explicação da tese fundamental que define o escopo da computabilidade.

Sinônimo direto, enfatiza a capacidade de ser calculado.

Você sabia?

Receba uma palavra nova no seu e-mail todos os dias.

computabilidade

Sinônimos e antônimos

Sinônimos