Vad betyder och hur uttalas beräkningsbar
Beräkningsbar uttalas be|räkn|ings|bar -t -a.
Ordformer och varianter av beräkningsbar
Beräkningsbar är ett adjektiv
Adjektiv är en ordklass. Orden i denna ordklass anger egenskaper som stor eller grön, eller tillstånd som stängd eller öppen. Adjektiv talar om hur någonting annat (ofta ett substantiv) är eller uppfattas, till exempel "en fin bil". En vanlig minnesramsa (som även finns i många andra varianter) är: ”Adjektiven sedan lär, hurudana tingen är, till exempel sur och tvär.” Själva ordet "adjektiv" kommer av latinets adjectivum (av adjicere, tillägga).
Hur används ordet beräkningsbar
De flesta algoritmer implementeras som datorprogram, då man strukturerar dem i programform. För att uttrycka program används programspråk som är formella språk med samtliga nödvändiga operationer för att uttrycka en godtycklig beräkningsbar funktion.
Att sannolikheten för de därav sällsynta händelserna inte är beräkningsbar med hjälp av vetenskapliga metoder, på grund av själva naturen av låg sannolikhet.
Inom matematik och beräkningsteori innebär Church-Turings hypotes påståendet att en matematisk funktion är effektivt beräkningsbar om och endast om den kan beräknas med hjälp av en algoritm på en Turingmaskin, d.v.s. om beräkningarna kan utföras med någon annan godtycklig manuell eller mekanisk metod, så kan de också utföras av en sådan maskin. Tesen formulerades först av Stephen Kleene 1943 men är uppkallad efter Alonzo Church och Alan Turing.
