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.
Compartilhar
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'.
Primeiro Registro
Os primeiros registros em português datam da disseminação dos trabalhos de Alan Turing (como o artigo 'On Computable Numbers', de 1936) e Alonzo Church, e sua posterior tradução e discussão em textos acadêmicos e livros didáticos de lógica e computação no Brasil e em Portugal. O termo 'decidibilidade' como tradução de 'decidability' se consolida nesse período.
Traduções de decidibilidade
Inglês
Notas: Termo técnico padrão em inglês.
Espanhol
Notas: Termo técnico padrão em espanhol.
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