(Ratkaisematon Ratkaisematon Laskentavuusteoriassa ratkaisematon ongelma on eräänlainen laskennallinen ongelma, joka vaatii kyllä/ei-vastauksen, mutta jossa ei voi olla mitään tietokoneohjelmaa, joka aina antaa oikean vastauksen, eli mikä tahansa mahdollinen ohjelma antaa joskus väärän vastauksen tai toimii ikuisesti antamatta vastausta. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Luettelo ratkaisemattomista ongelmista - Wikipedia
tarkoittaa yksinkertaisesti ei-laskettavissa olevaa päätösongelman yhteydessä, jonka vastaus (tai tulos) on joko "tosi" tai "epätosi". Laskematon on ongelma, jolle ei ole olemassa algoritmia, jolla se voitaisiin ratkaista.
Mitä ovat ei-laskettavat ongelmat?
Laskettavuusteoriassa ratkaisematon ongelma on -tyyppinen laskentatehtävä, joka vaatii kyllä/ei-vastauksen, mutta jossa ei voi olla tietokoneohjelmaa, joka aina antaisi oikean vastaus; toisin sanoen mikä tahansa mahdollinen ohjelma antaa joskus väärän vastauksen tai toimii ikuisesti antamatta vastausta.
Mikä on ei-laskettavissa oleva luku?
Chaitinin vakio on esimerkki (itse asiassa esimerkkiperhe) ei-laskevasta luvusta. Se edustaa todennäköisyyttä, että satunnaisesti luotu ohjelma (tietyssä mallissa) pysähtyy. Se voidaan laskea likimääräisesti, mutta (todistettavasti) ei ole algoritmia sen laskemiseen mieliv altaisella tarkkuudella.
Mikä ongelma onlaskettavissa?
Matemaattinen ongelma on laskettavissa, jos se voidaan periaatteessa ratkaista laskentalaitteella. Jotkut yleiset synonyymit sanalle "laskettavissa" ovat "ratkettava", "ratkettava" ja "rekursiivinen". Hilbert uskoi, että kaikki matemaattiset ongelmat olivat ratkaistavissa, mutta 1930-luvulla Gödel, Turing ja Church osoittivat, että näin ei ole.
Onko tyhjä joukko laskettavissa?
Tyhjä joukko on computable. Luonnollisten lukujen koko joukko on laskettavissa. Jokainen luonnollinen luku (kuten on määritelty standardijoukkoteoriassa) on laskettavissa; eli tiettyä luonnollista lukua pienempien luonnollisten lukujen joukko on laskettavissa.
