omega

Porträtt av Veronica Becher.
Verónica Becher.
  1. Omega – det operativsystem som Google använder internt för sina tjänster, som sökmotorn och Gmail. Det ersatte 2013 operativsystemet Borg†. – Det finns också ett utförande som Google har släppt med öppen källkod, Kubernetes. – Läs mer i denna artikel från Google (länk) och i denna artikel från ACM (länk);
  2. – i matematik: sannolikheten för att ett datorprogram avslutas inom ändlig tid, uttryckt som ett tal mellan noll och ett. – Talet definierades av den argentisk-amerikanska matematikern Gregory Chaitin (länk), då på IBM. Det kallas också för Chaitins konstant. – Omega är definitionsmässigt ett icke beräkningsbart tal. Definitionen av talet bygger på datorpionjären Alan Turings† uppsats från 1936 om stopproblemet. Chaitin defi­ni­e­rade omega redan på 1960‑talet, men han såg det länge som en rent teoretisk skapelse. Senare har den argentinska matematikern Verónica Becher (länk) visat att talet är användbart i andra matematiska sammanhang;
  3. – se under ordo;
  4. – se Omega2 (en enkortsdator).

– Omega är den sista bokstaven i det grekiska alfabetet och motsvarar O.

[datorvetenskap] [enkortsdatorer] [matematik] [operativsystem] [ändrad 22 december 2020]

stopproblemet

Tecknad bild av superdatorn Deep Thought från Liftarens guide till galaxen.
Datorn Deep Thought som behövde 7,5 miljoner år för att räkna ut svaret.

(the halting problem) – frågan om det på förhand går att räkna ut ifall en körning av ett datorprogram kommer till ett slut någon gång, eller om beräkningen fortsätter i all evighet. – Alan Turing† bevisade i sin berömda artikel ”On computable numbers with an application to the Entscheidungsproblem” (länk) från 1936 att uppgiften är olöslig. – Observera att detta gäller när frågan ska besvaras enbart med mekaniska metoder och för varje tänk­bar beräkning. En matematiskt kunnig mänsklig bedömare kan ofta avgöra ifall en beräkning kommer att fortsätta i evighet eller om den tar slut någon gång, men stopproblemet gäller ifall man kan programmera en dator så att den avgör saken i alla tänkbara fall och utan mänsklig hjälp. – Vi vet till exempel att om vi sätter en dator att räkna ut det exakta värdet på pi så kommer den aldrig att bli klar, men det ”vet” inte datorn. Att det är så har mänskliga matematiker räknat ut, och det har de inte gjort genom att räkna på pi oändligt länge. Hur länge man än räknar på värdet av pi så får man nämligen inte, enbart genom att fortsätta räkna, någon information om ifall räknearbetet tar slut någon gång, eller aldrig tar slut. – I uppsatsen ”On computable numbers…” beskrev Turing också det som senare blev känt som Turing­maskinen. – Några månader före Turing hade Alonzo Church† bevisat samma sak, fast utan att beskriva en maskin. – Stopproblemet är besläktat med avgörbarhetsproblemet (das Entscheidungsproblem), men också med Kurt Gödels† ofullständig­hets­sats. – Läs också om omega (Chaitins konstant).

[datorvetenskap] [matematik och logik] [ändrad 6 juni 2017]