decidibilidade
Significado de decidibilidade
Propriedade de um sistema formal (como um sistema lógico ou um algoritmo) de ter a capacidade de determinar, para qualquer entrada ou proposição dada, se ela é válida ou não dentro desse sistema.
Significados de decidibilidade
substantivo feminino
Em teoria da computação e lógica matemática, a característica de um problema ou linguagem formal de poder ser resolvido por um algoritmo em tempo finito.
"A decidibilidade do problema da parada é um resultado fundamental na teoria da computação."
Formal:
Neutro:
Antônimos:
Nota: Termo técnico específico da lógica e ciência da computação.
💡 Usado principalmente em contextos acadêmicos e de pesquisa em ciência da computação, lógica e matemática.
Origem da palavra decidibilidade
Linha do tempo de decidibilidade
Uma visão resumida de como esta palavra transita pela História: origem, uso histórico e vida contemporânea.
Origem Conceitual e Etimológica
Meados do século XX — o termo 'decidibilidade' (em inglês 'decidability') surge no campo da lógica matemática e ciência da computação teórica, derivado do latim 'decidere' (decidir, resolver).
Origem
Deriva do latim 'decidere' (decidir, resolver), com o sufixo '-bilidade' indicando a capacidade ou qualidade. O termo foi cunhado no contexto da lógica matemática e da teoria da computabilidade, sendo um calque do inglês 'decidability'.
Entrada e Consolidação na Língua Portuguesa
Segunda metade do século XX — a palavra é introduzida no vocabulário acadêmico e técnico em português, especialmente em cursos de matemática, lógica e computação, como tradução direta do inglês 'decidability'.
Momentos Culturais
A consolidação da ciência da computação como disciplina acadêmica e profissional impulsionou a adoção e o uso do termo em publicações científicas, teses e dissertações no Brasil.
Propriedade de um sistema formal (como um sistema lógico ou um algoritmo) de ter a capacidade de determinar, para qualquer entrada ou proposição dada, se ela é válida ou não dentro desse sistema.
A história viva das palavras