(1903—1995) – amerikansk matematiker. – Alonzo Church bevisade 1936 i artikeln ”A note on the Entscheidungsproblem” (se avgörbarhetsproblemet) att det finns matematiska problem som det inte går att lösa med mekaniska metoder. Det var samma sak som Churchs studiekamrat Alan Turing† bevisade senare samma år i sin uppsats 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 noggrann men fantasilös människa med papper och penna (givet tillräckligt 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 evighet 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 fortsätter i all evighet. – En artikel på engelska om vanliga missuppfattningar av Church‑Turings hypotes finns här.
[alonzo church] [datorvetenskap] [för- och bihistoria] [personer] [ändrad 17 oktober 2021]
- – uttryckt med siffror – om information och mätningar: uttryckt i sifferform och som exakta tal. Vid behov avrundas talen. Alternativet är analog. – Anledningen till att datorer arbetar med data i digital form är att digitala data kan bearbetas och kopieras gång på gång utan att det blir svårare för datorn att avläsa informationen rätt. Eventuella fel kan rättas till med hjälp av kontrolltal. 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;
- – allmänt ord för sådant som är baserat på internet och datorteknik, som det digitala samhället, till exempel i uttryck som den digitala klyftan och digitalisering. – Jämför med cyber och e-;
- – företaget Digital†, se Digital Equipment Corporation† (numera införlivat med HPE);
- – i andra sammanhang: som görs med fingrarna, som har att göra med fingrarna;
- – en privat toppdomän: se .digital.
[datorns konstruktion] [datorvetenskap] [företag] [matematik] [uppköpt] [ändrad 6 mars 2023]
absorberad paraplyorganisation för de tidigare forskningsinstituten Acreo†, RISE Interactive, SICS och RISE Viktoria†. Grundades 2002, gick 2016 upp i organisationen RISE. Hette tidigare Swedish ICT eller Swedish ICT Research. – Se ri.se.
[datorvetenskap] [forskningsinstitut] [namnbyte] [ändrad 13 november 2019]
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 från 2002 i paraplyorganisationen Swedish ICT† som i sin tur sedan 2016 ingår i RISE. – Se ri.se.
[datorvetenskap] [forskningsinstitut] [sammanslaget] [ändrad 8 september 2020]