Church, Alonzo

(1903—1995) – amerikansk matematiker. Han bevisade 1936 i artikeln ”A note on the Entscheidungsproblem” (se avgörbarhetsproblemet) att det finns mate­matiska problem som det inte går att lösa med mekaniska metoder. Det var samma sak som Churchs studie­­kamrat Alan Turing† bevisade senare samma år i sin upp­sats om stopproblemet. Turing visade senare att de två bevisen var likvärdiga. Båda bevisen byggde på Kurt Gödels† ofullständighetssats. – Church‑Turings hypotes säger att alla matematiska beräkningar som kan beskrivas i ett ändligt antal steg (med en algoritm) kan lösas av en maskin. Om en nog­­grann men fantasi­lös människa med papper och penna (givet obegränsat med tid) kan räkna ut lösningen (lösa problemet mekaniskt) kan en maskin också göra det. Men: beräkningen kan pågå i all evighet. Till exempel är det lätt att beskriva divisionen 2 delat med 3, men det tar en evig­het att räkna ut svaret med decimala siffror (0,6666666……) om man inte sätter stopp. För att inte tala om sådant som att räkna ut värdet på pi. – Det som både Church och Turing bevisade var att även om en maskin kan utföra alla beräkningar som kan uttryckas som algoritmer, så kan maskinen inte avgöra ifall beräkningen tar slut någon gång, eller om den fort­sätter i all evighet. – En artikel på engelska om vanliga missuppfatt­ningar av Church‑Turings hypotes finns här.

[alonzo church] [datorvetenskap] [för- och bihistoria] [personer] [ändrad 6 november 2019]

Acreo

RISE Acreo – tidigare: ett svenskt forskningsinstitut med inriktning på bland annat kommunikationsteknik, nanoteknik och tryckt elektronik. Efter omorganisation integrerad i RISE; namnet Acreo används inte längre. Fanns i Kista, Göteborg, Lund, Norrköping och Hudiksvall. Grundades 1996 och ingick sedan 2002 i paraply­orga­nisa­tionen Swedish ICT† som i sin tur sedan 2016 ingår i RISE. – Se ri.se.

[datorvetenskap] [forskningsinstitut] [ändrad 8 september 2020]

digital

  1. – uttryckt med siffror – om information och mätningar: uttryckt i sifferform och som exakta tal. Vid behov avrundas talen. Alter­na­tivet är analog. – Anledningen till att datorer arbetar med data i digital form är att digitala data kan be­ar­betas och kopieras gång på gång utan att det blir svårare för datorn att avläsa informationen rätt. Eventu­ella fel kan rättas till med hjälp av kontroll­tal. Analog information försämras däremot varje gång den kopieras. – Observera att det vanliga decimala talsystemet med siffrorna 0—9 är precis lika digitalt som det binära talsystemet med ettor och nollor – det som används i datorer. Skillnaden är praktiskt betingad, inte principiell. – Se också numerisk;
  2. – allmänt ord för sådant som är baserat på inter­net och datorteknik, som det digitala samhället, till exempel i uttryck som den digitala klyftan och digitalisering. – Jäm­för med cyber och e-;
  3. – företaget Digital†, se Digital Equipment Corporation† (numera införlivat med HPE);
  4. – i andra sammanhang: som görs med fingrarna, som har att göra med fingrarna.

[datorns konstruktion] [datorvetenskap] [företag] [matematik] [uppköpt] [ändrad 13 september 2019]