(Indecidible Indecidible En la teoria de la computabilitat, un problema indecidible és un tipus de problema computacional que requereix una resposta sí/no, però on no hi pot haver cap programa informàtic que sempre dóna la resposta correcta; és a dir, qualsevol programa possible donaria de vegades la resposta incorrecta o s'executava per sempre sense donar cap resposta. https://en.wikipedia.org › wiki › List_of_undecidible_problems
Llista de problemes indecidibles - Viquipèdia
simplement significa no computable en el context d'un problema de decisió, la resposta (o sortida) del qual és "vertader" o "fals"). Un problema no computable és un problema per al qual no hi ha cap algorisme que es pugui utilitzar per resoldre'l.
Quins són els problemes no computables?
En la teoria de la computabilitat, un problema indecidible és un tipus de problema computacional que requereix una resposta sí/no, però on no hi pot haver cap programa informàtic que sempre doni el correcte resposta; és a dir, qualsevol programa possible donaria de vegades una resposta incorrecta o s'executava per sempre sense donar cap resposta.
Què és un número no computable?
La constant de Chaitin és un exemple (en realitat una família d'exemples) d'un nombre no computable. representa la probabilitat que un programa generat aleatòriament (en un model determinat) s'atura. Es pot calcular aproximadament, però no hi ha (de provable) cap algorisme per calcular-lo amb precisió arbitrària.
Quin problema éscomputable?
Un problema matemàtic és calculable si es pot resoldre en principi amb un dispositiu informàtic. Alguns sinònims comuns de "computable" són "soluble", "decidible" i "recursiu". Hilbert creia que tots els problemes matemàtics eren resolubles, però a la dècada de 1930 Gödel, Turing i Church van demostrar que no és així.
El conjunt buit es pot calcular?
El conjunt buit és computable. Tot el conjunt de nombres naturals és computable. Cada nombre natural (tal com es defineix a la teoria de conjunts estàndard) és computable; és a dir, el conjunt de nombres naturals menors que un nombre natural donat és computable.
