I IDG:s ordlista: artiklar som nämner händelser som inträffade år 1906. Årtalstaggar gäller: födelseår för personer, lanseringsår för produkter, det år företag grundades samt årtal då viktiga händelser inträffade.
amerikansk tillverkare av kopiatorer och skrivare. – I it‑världen är Xerox mest känt för forskningsinstitutet PARC, som har utvecklat många av de grundläggande funktionerna i moderna persondatorer. – Xerox grundades 1906 som The Haloid Photographic Company. 1946 slöt företaget avtal med Chester Carlson (1906–1968) om att utveckla Carlsons uppfinning kopiatorn som kommersiell produkt. Tekniken kallades för xerografi, och företaget tog namnet Xerox1958. Även laserskrivaren, en nära släkting till kopiatorn, utvecklades på Xerox. – Xerox huvudkontor finns i Stamford, Connecticut och huvuddelen av verksamheten i Rochester i delstaten New York. – Namnet Rank Xerox används inte längre. Det användes tidigare i Europa (men inte i USA) efter sammanslagningen 1956 med brittiska Rank. – Xerox knoppade i januari 2017 av verksamheten för hantering av andra företags it‑system i företaget Conduent(conduent.com). – I november 2019 ville Xerox köpa HP för 33, 5 miljarder dollar, trots att HP är ungefär tre gånger så stort som Xerox. Båda företagen utvecklar och tillverkar skrivare. HP tackade nej med motiveringen att budet var för lågt, och kontrade med att antyda att HP i stället kunde köpa Xerox. Xerox kontrade med att hota att komma med ett fientligt bud på HP, alltså att gå förbi bolagsstyrelsen och köpa aktierna direkt av aktieägarna. I mars 2020 drog Xerox tillbaka sitt bud. – Se xerox.com.
österrikisk-amerikansk matematiker och logiker (1906—1978). – Kurt Gödels ofullständighetssats från 1931 inspirerade Alan Turing† till analysen av stopproblemet. – Ofullständighetssatsen visar att det inte kan finnas logiska och/eller matematiska system som på samma gång är heltäckande och motsägelsefria. Med heltäckande menas att regelsystemet kan tillämpas på alla påståenden som kan formuleras inom systemet. I varje system av lagar, regler och symboler – till exempel matematik – kan man, visade Gödel, alltid hitta påståenden som uppenbarligen är sanna, men som inte kan bevisas inom ramen för systemet. Det går kanske att bevisa påståendet om man lägger till nya regler – men om man gör det så går det ofelbart att, med användning även av de nya reglerna, formulera nya påståenden som i sin tur inte kan bevisas, men som ändå uppenbarligen är sanna. Detta bevisade han i artikeln ”Über formal unentscheidbare Sätze der Principia Mathematica und Verwandte System” (engelsk översättning här). – I själva verket finns det två ofullständighetssatser, som hör ihop:
– Den första är den som beskrivs ovan;
– Den andra satsen säger att ett sådant system som beskrivs i den första satsen inte kan bevisa att det är motsägelsefritt.
– Se också Entscheidungsproblem. – Gödel lämnade Österrike efter den tyska ockupationen 1938 och fick då en tjänst på Institute of advanced study (ias.edu) i Princeton, New Jersey, där han blev god vän med Albert Einstein. – Gödelpriset är uppkallat efter Kurt Gödel. – En biografi över Kurt Gödel är Ofullständighet: Kurt Gödels bevis och paradox (Incompleteness: The proof and paradox of Kurt Gödel, 2005) av Rebecca Goldstein(webbplats).
Grace Murray Hopper(1906—1992), amerikansk datorpionjär och amiral. – Grace Hopper var på 1940‑talet med och utvecklade, tillsammans med Howard Aiken†, en av de första datorerna, Mark I†. Efter kriget blev hon chefsmatematiker på Eckert‑Mauchly Computer Corporation†. Hon utvecklade där 1949programspråketB‑O, som hon sedan vidareutvecklade till Flowmatic. (Det kallas ibland för det första programspråket, men Konrad Zuses†Plankalkül kom före.) Flowmatic blev i sin tur grunden till Cobol, som utvecklades delvis under Grace Hoppers ledning. – Grace Hopper är känd för att ha infört ordet bugg i datorspråket, enligt legenden efter att hennes kollegor (inte hon själv) hade hittat en död mal (länk) i en krånglande räknemaskin. Ordet bug hade dock använts i liknande betydelser i flera hundra år, men debugging är Grace Hoppers skapelse. – Grace Hopper utbildade sig som ung i matematik och fysik, och var universitetslärare när andra världskriget bröt ut. Hon tog då värvning i flottan, som ansåg att hon skulle göra mest nytta som matematiker. Amiralstiteln fick hon 1986 vid den ofrivilliga pensioneringen från flottan. Hon blev 1980 hedersdoktor vid Linköpings tekniska högskola (länk – se en bit ner). 2016 fick hon postumt USA:s Presidential medal of freedom, se denna länk. – Ända till sin död 1992 arbetade hon som konsult åt Digital†. – Utmärkelsen Grace Murray Hopper Award delas ut årligen av ACM till hennes ära. – Se också Grace Hopper Celebration. – 2020 meddelade Google(cloud.google.com/blog…) att företaget ska dra en undervattenskabel med namnet Grace Hopper Subsea Cable från New York till Bilbao i Spanien och Bude i Cornwall. Den togs i drift i september 2022. – En intervju från 1986 med Grace Hopper i The late show med David Letterman finns på Youtube.
