Denkende Machines -- Computers, rekenen, redeneren - CWI

More documents

Recommendations

Info

96 Biografieën John von Neumann (1903-1957) Johan (later John) von Neumann werd geboren in Boedapest. Al heel vroeg op school werd duidelijk dat hij een wiskundig genie was, met een heel bijzonder geheugen. Zo had hij bijvoorbeeld na een paar keer doorlezen een hele pagina uit het telefoonboek in zijn hoofd. Zijn wetenschappelijke carrière bracht hem in 1930 naar de Amerikaanse Princeton universiteit waar hij 1933 tegelijk met Albert Einstein professor werd. Met Oskar Morgenstern is Von Neumann de grondlegger van de speltheorie. In hun boek uit 1944 (De theorie van spelen en economisch gedrag) wordt een poging gedaan een wiskundig model (het spel) voor economische interacties te construeren. Een spel kent aan elke speler een aantal mogelijke strategieën toe, en de uitkomst van het spel is dan afhankelijk van de door de spelers gekozen strategieën. Analyse van het spel kan bepaalde optimale strategieën opleveren, bijvoorbeeld strategieën die het best mogelijke resultaat opleveren ongeacht de door de tegenstander(s) gekozen strategie. In 1944 kwam Von Neumann in contact met de groep die de ENIAC computer aan het bouwen was. Tijdens de bouw werd al overlegd over de architectuur van een opvolger. Deze discussies zetten Von Neumann aan tot het schrijven van de beroemde First Draft of a Report on the EDVAC (1945). Dit was de eerste beschrijving van de architectuur die bekend werd als ‘Von Neumann architectuur’, met zowel het programma als de data opgeslagen in het computergeheugen. De EDVAC was bedoeld als de eerste computer volgens dit nieuwe concept. Dat lukte niet helemaal: door verloop in de groep liet de voltooiing van de EDVAC tot 1952 op zich wachten. Intussen waren in Groot-Brittannië al computers van het Von Neumann type operationeel. Von Neumann deed theoretisch onderzoek naar kwantummechanica en naar het wezen van berekening (in de zogenaamde automatentheorie). Hij verkocht ook wel eens onzin. Zo stelde
Biografieën 97 hij voor om de poolkappen donker te verven. De gereduceerde reflectie van het zonlicht zou er dan voor zorgen dat het klimaat van IJsland op dat van Hawaii zou gaan lijken. Alan Mathison Turing (1912–1954) Alan Mathison Turing werd in 1912 geboren in Londen. Hoewel een buitenbeentje in het Engelse schoolsysteem, was hij van jongs af fanatiek en zelfstandig. Om zijn eerste kostschooldag, die viel tijdens een algemene staking, niet te missen fietste hij als veertienjarige in zijn eentje honderd kilometer. In 1931 werd hij als student aangenomen op King’s College in Cambridge. Nog voor hij afstudeerde schreef hij in 1939 een baanbrekend artikel over het begrip ‘berekenbaarheid’. In dit artikel wordt in zeer algemene termen een computer beschreven; dit theoretische model van een symbolen verwerkend apparaat werd later een Turing machine genoemd.
Page 1 and 2:
Denkende Machines Computers, Rekene
Page 3 and 4:
Inhoudsopgave 1 Rekenen met Machine
Page 5 and 6:
Hoofdstuk 1 Rekenen met Machines 1.
Page 7 and 8:
1.2. HULPMIDDELEN BIJ HET REKENEN 7
Page 9 and 10:
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
1.3. ANTIEKE REKENMACHINES 15 Opdra
Page 17 and 18:
1.3. ANTIEKE REKENMACHINES 17 Figuu
Page 19 and 20:
1.3. ANTIEKE REKENMACHINES 19 Als d
Page 21 and 22:
1.4. VAN MECHANISCHE REKENMACHINE N
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
1.5. DE MODERNE COMPUTER EN DE TOEK
Page 33 and 34:
Hoofdstuk 2 Rekenen en Redeneren 2.
Page 35 and 36:
2.2. BINAIR REKENEN MET NATUURLIJKE
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46: 2.3. BINAIR REKENEN MET NEGATIEVE G
Page 47 and 48: 2.3. BINAIR REKENEN MET NEGATIEVE G
Page 49 and 50: 2.4. LOGICA: REDENEREN = REKENEN 49
Page 61 and 62: Hoofdstuk 3 Modellen van Berekening
Page 63 and 64: 3.1. AUTOMATEN 63 reeks van instruc
Page 65 and 66: 3.1. AUTOMATEN 65 Figuur 3.3: De di
Page 67 and 68: 3.2. TURING MACHINES 67 Een speciaa
Page 69 and 70: 3.2. TURING MACHINES 69 Figuur 3.6:
Page 71 and 72: 3.2. TURING MACHINES 71 3.2.4 Turin
Page 73 and 74: 3.3. PROGRAMMEREN 73 vallen nog ste
Page 75 and 76: 3.3. PROGRAMMEREN 75 Figuur 3.9: St
Page 77 and 78: 3.3. PROGRAMMEREN 77 ; het symbool
Page 79 and 80: 3.3. PROGRAMMEREN 79 Een functie ro
Page 81 and 82: 3.3. PROGRAMMEREN 81 y := EMPTY() s
Page 83 and 84: 3.4. REKENTIJDEN 83 Kortom, een pro
Page 85 and 86: 3.4. REKENTIJDEN 85 tussen rekentij
Page 87 and 88: 3.4. REKENTIJDEN 87 3.4.4 Een Open
Page 89 and 90: Biografieën Bronnen: MacTutor Hist
Page 91 and 92: Biografieën 91 onderdeel van de wi
Page 93 and 94: Biografieën 93 Gottfried Wilhelm L
Page 95: Biografieën 95 George Boole (1815-
Page 99: Flaptekst De vraag ‘Kunnen comput
show all

Denkende Machines -- Computers, rekenen, redeneren - CWI

Create successful ePaper yourself

Delete template?

Save as template?