decidibilidade
Derivado do latim 'decidibilis', particípio presente de 'decidere' (decidir).
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'.
Mudanças de sentido
Originalmente e predominantemente, refere-se à propriedade de um problema ou linguagem formal de ser solúvel por um algoritmo, ou seja, de existir um procedimento mecânico que possa determinar a resposta (sim/não) para qualquer instância do problema em um tempo finito. Não houve mudanças significativas de sentido desde sua concepção.
A definição técnica de decidibilidade, estabelecida por matemáticos como Alan Turing e Alonzo Church, é rigorosa e não se presta a interpretações flexíveis. A propriedade de decidibilidade é uma característica intrínseca de um problema ou sistema formal.
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.
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.
O termo é recorrente em discussões sobre inteligência artificial, limites computacionais e a natureza da computação, especialmente em artigos de divulgação científica e em cursos universitários.
Comparações culturais
Inglês: 'decidability' é o termo original e amplamente utilizado na ciência da computação e lógica. Espanhol: 'decidibilidad' é o termo equivalente, com o mesmo sentido técnico e origem etimológica. Francês: 'décidabilité'. Alemão: 'Entscheidbarkeit'.
Relevância atual
A 'decidibilidade' permanece um conceito central na teoria da computabilidade e na fundação da ciência da computação. É crucial para entender os limites do que pode ser computado e para o desenvolvimento de algoritmos e sistemas formais. Sua relevância é estritamente técnica e acadêmica, não possuindo um uso popular ou cotidiano.
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).
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'.
Uso Contemporâneo e Expansão
Atualidade — 'Decidibilidade' é uma palavra formal e dicionarizada, predominantemente utilizada em contextos acadêmicos e de pesquisa em ciência da computação, lógica formal e teoria da computabilidade. Seu uso fora desses círculos é raro, mas a compreensão do conceito é fundamental para áreas que lidam com algoritmos e sistemas formais.
Derivado do latim 'decidibilis', particípio presente de 'decidere' (decidir).
Conectando idiomas e culturas