Hesablamada istifadə üçün məlum olan ən qədim alət Şumerdə eramızdan əvvəl 2700-2300-cü illər arasında hazırlanmış abak idi. Şumerlərin abakusu, onların cinsi kiçik say sisteminin ardıcıl böyüklük sıralarını məhdudlaşdıran ardıcıl sütunlar cədvəlindən ibarət idi.^:11 Onun ilkin istifadə tərzi qumda çınqıllarla çəkilmiş xətlərdən ibarət idi. Daha müasir dizaynlı abaklardan bu gün də Çin abakusu kimi hesablama alətləri kimi istifadə olunur.

Eramızdan əvvəl 5-ci əsrdə Qədim Hindistanda qrammatik Panini Sanskrit dilinin qrammatikasını 3959-cu ildə Ashtadhyayi kimi tanınan qaydalarda tərtib etdi və bu, yüksək sistemləşdirilmiş və texniki idi. Panini metarullardan, çevrilmələrdən və rekursiyalardan istifadə etmişdir.

Antikitera mexanizminin erkən mexaniki analoq kompüter olduğuna inanılır. Astronomik mövqeləri hesablamaq üçün nəzərdə tutulmuşdur. 1901-ci ildə Yunanıstanın Antikitera adası yaxınlığında, Kithera və Krit arasında yerləşən Antikitera qəzasında aşkar edilmişdir və eramızdan əvvəl 100-cü ilə aid edilmişdir.

Mexanik analoq kompüter cihazları min il sonra orta əsr İslam dünyasında yenidən peyda oldu və müsəlman astronomları - Əbu Reyhan əl-Biruninin mexaniki dişli astrolabası və Cabir ibn Əflahın torketi tərəfindən hazırlanmışdır. Simon Sinqhə görə, müsəlman riyaziyyatçılar kriptoqrafiyada da Alkindus tərəfindən kriptoanaliz və tezlik analizinin inkişafı kimi mühüm irəliləyişlər əldə etmişlər.Banu Musa qardaşların avtomatik fleyta çalan kimi proqramlaşdırıla bilən maşınlar da müsəlman mühəndislər tərəfindən kəşf edilmişdir. Oxşar mürəkkəblikdə olan texnoloji artefaktlar 14-cü əsrdə Avropada mexaniki astronomik saatlarla meydana çıxdı.

Con Nepyer 17-ci əsrin əvvəllərində hesablama loqarifmləri kəşfi ilə hesablama alətlərinin hazırlanmasında ixtiraçılar və elm adamları tərəfindən xeyli irəliləyiş dövrü oldu. 1623-cü ildə Wilhelm Schickard hesablama maşını dizayn etdi, lakin 1624-cü ildə yaratmağa başladığı prototip yanğın nəticəsində məhv edildikdən sonra layihəni tərk etdi. Yunan riyaziyyatçısı İsgəndəriyyə Qəhrəmanı tərəfindən təxminən 1640-cı ildə aparıcı fransız riyaziyyatçısı Blez Paskal mexaniki əlavə edən cihaz qurdu. Sonra 1672-ci ildə Qotfrid Vilhelm fon Leybnits 1694-cü ildə tamamladığı pilləli hesablayıcını icad etdi.

1837-ci ildə Çarlz Bebbic ilk dəfə müasir kompüter üçün ilk dizayn kimi qəbul edilən Analitik Maşını təsvir etdi. Analitik Maşın genişləndirilə bilən yaddaşa, arifmetik vahidə və proqramlaşdırma dilini döngələr və şərti budaqlanma ilə şərh edə bilən məntiqi emal imkanlarına malik idi. Heç vaxt tikilməməsinə baxmayaraq, dizayn geniş şəkildə öyrənilmiş və Turinq ekvivalenti olduğu anlaşılmışdır. Analitik Maşının yaddaş tutumu 1 kilobaytdan az yaddaşa və 10 Hersdən az saat sürətinə malik olardı.

İlk müasir kompüterlər dizayn edilməzdən əvvəl riyaziyyat və elektronika nəzəriyyəsində əhəmiyyətli irəliləyiş tələb olunurdu.

1702-ci ildə Qotfrid Vilhelm fon Leybnits ikili say sistemi haqqında yazıları ilə formal, riyazi mənada məntiqi inkişaf etdirdi. Leybnits ikili sistemi sadələşdirdi və birləşmə, disyunksiya, inkar, eynilik, daxiletmə və boş çoxluq kimi məntiqi xüsusiyyətləri ifadə etdi. O, Laqranj interpolyasiyası və alqoritmik məlumat nəzəriyyəsini nəzərdə tuturdu. Kalkulyator universal Turinq maşınının bəzi aspektlərini proqnozlaşdırdı. 1961-ci ildə Norbert Viner Leybnitsin kibernetikanın himayədarı sayılmasını təklif etdi.Viener-dən sitat gətirilir: "Əslində hesablama maşınının ümumi ideyası Leybnitsin Riyazi Proporsiyasının mexanikləşdirilməsindən başqa bir şey deyildir." Bununla belə, Corc Bula 1854-cü ildə hesablama proseslərinin riyazi modelləşdirilməsinə imkan verən tam sistemlə Boolean cəbrini nəşr etmək üçün bir əsrdən çox vaxt lazım idi.

Bu vaxta qədər binar modellə idarə olunan ilk mexaniki qurğular icad edilmişdir. Sənaye İnqilabı bir çox işlərin mexanikləşdirilməsini inkişaf etdirdi və bura toxuculuq da daxil idi. 1801-ci ildə Yozef Mari Yaquard'ın dəzgahına perfokartlar nəzarət edirdi; Burada kartda açılan deşik binar olanı, deşilməmiş nöqtə isə ikili sıfırı göstərirdi. Yaquard'ın dəzgahı kompüterdən uzaq idi, lakin bu, maşınların ikili sistemlərlə təchiz oluna biləcəyini göstərirdi.

Çarlz Bebbic və Ada Lavleys

Çarlz Bebbic ümumiyyətlə kompüter elminin ilk qabaqcıllarından biri hesab olunur. 1810-cu illərdən etibarən Bebbic rəqəmləri və cədvəlləri mexaniki hesablamaq vizyonuna sahib idi. Bunu reallığa çevirən Bebbic 8 onluq yerlərinə qədər ədədləri hesablaya bilən kalkulyator hazırladı. Bu ideyanın uğurundan istifadə edərək, Bebbic 20 onluq yerlərə qədər rəqəmləri hesablaya bilən maşın hazırlamaq üzərində çalışdı. 1830-cu illərdə Bebbic hesab əməliyyatlarını yerinə yetirmək üçün perfokartlardan istifadə edə bilən maşın hazırlamaq planını hazırlamışdı. Maşın nömrələri yaddaş vahidlərində saxlayacaq və bir növ ardıcıl idarəetmə olacaq. Bu o deməkdir ki, bir hərəkət digərindən əvvəl yerinə yetiriləcək ki, maşın cavab versin və uğursuz olmasın. Bu maşın müasir kompüterin ilk həqiqi təmsili olan "Analitik Maşın"ı kimi tanınacaqdı.

Ada Lavleys (Augusta Ada Byron) kompüter proqramlaşdırmasının banilərindən qəbul edilir və riyazi dahi hesab olunur. Lavleys Çarlz Bebbicin köməkçisi kimi işə başlayarkən, Bebbic ilk mexaniki kompüter olan "Analitik Maşın" üzərində işləyirdi. Ada Lavleys Bebbic ilə işlədiyi müddətdə Bernulli ədədlərini hesablaya bilən ilk kompüter alqoritminin dizayneri oldu; lakin bu mübahisəlidir, çünki Çarlz fərq mühərrikini və buna görə də müvafiq fərqə əsaslanan alqoritmləri ilk dəfə dizayn edən şəxsdir. O, ilk kompüter alqoritmi dizayneridir. Bundan əlavə, Lavleysin Bebbic ilə işi onun proqnozu ilə nəticələndi ki, gələcək kompüterlər təkcə riyazi hesablamalar yerinə yetirməyəcək, həm də riyazi olub-olmamasından asılı olmayaraq simvolları idarə edəcəklər. Sağlığında “Analitik Maşın” yaradılmadığı üçün gördüyü işlərin nəticəsini görməsə də, sonrakı illərdə, yəni 1840-cı illərdəki işləri diqqətdən yayınmayıb.

Analitik maşın dizaynları

Bebbic-in ardınca İrlandiyanın Dublin şəhərində qarğıdalı taciri olan Percy Ludgate gəldi, baxmayaraq ki, o, əvvəllər etdiyi işlərdən əvvəlcə xəbərsiz idi. O, müstəqil olaraq proqramlaşdırıla bilən mexaniki kompüter dizayn etmiş və 1909-cu ildə nəşr olunmuş əsərində onu təsvir etmişdir.

Digər iki ixtiraçı Leonardo Torres Kevedo və Vannevar Buş da Bebbicin işinə əsaslanaraq sonrakı araşdırmalar apardılar. "Avtomatika haqqında esselər"də (1914) Torres yalnız oxunan proqramla idarə olunan analitik elektromexaniki maşın hazırladı və üzən nöqtə arifmetikası ideyasını təqdim etdi. 1920-ci ildə arifmometrin ixtirasının 100-cü ildönümünü qeyd etmək üçün o, Parisdə Elektromexaniki Arifmometri təqdim etdi ki, o, əmrlərin yazıla biləcəyi və nəticələrin avtomatik çap oluna biləcəyi (ola bilsin ki, uzaqdan) yazı makinasına qoşulmuş arifmetik bölmədən ibarət idi. Buşun "Instrumental Analysis" (1936) adlı məqaləsində Bebbic-in dizaynını həyata keçirmək üçün mövcud IBM perfokart maşınlarından istifadə edilməsi müzakirə olunur. Həmin il o, elektron rəqəmsal kompüterlərin qurulması problemlərini araşdırmaq üçün Sürətli Arifmetik Maşın layihəsinə başladı.

Çarlz Sanders Piers və elektrik keçid sxemləri

Çarlz Sanders Peirs 1886-cı il tarixli məktubunda elektrik keçid dövrələri ilə məntiqi əməliyyatların necə həyata keçirilə biləcəyini təsvir etmişdir. 1880-1881-ci illər arasında o, NOR qapılarının (və ya tək NAND qapılarının) bütün digər məntiq qapılarının funksiyalarını təkrar etmək üçün istifadə edilə biləcəyini nümayiş etdirdi, lakin bu iş 1933-cü ilə qədər nəşr olunmadı. İlk nəşr edilmiş sübut Henry M. Sheffer tərəfindən edilmişdir. 1913-cü ildə NAND məntiqi əməliyyatı bəzən Sheffer vuruşu adlanır; məntiqi NOR bəzən Peirce oxu adlanır. Nəticədə bu qapıları bəzən universal məntiq qapıları da adlandırırlar.

Vakuum boruları nəhayət məntiq əməliyyatları üçün releləri əvəz etdi. Lee De Forestin 1907-ci ildə Fleming klapanının modifikasiyası məntiq qapısı kimi istifadə edilə bilər. Lüdviq Vitgenşteyn 16 sətirlik həqiqət cədvəlinin bir versiyasını Tractatus Logico-Philosophicus (1921) əsərinin 5.101 təklifi kimi təqdim etdi. Təsadüf dövrəsinin ixtiraçısı Valter Bote 1924-cü ildə ilk müasir elektron və qapısına görə 1954-cü il Fizika üzrə Nobel Mükafatının bir hissəsini aldı. Konrad Tsuze Z1 kompüteri üçün (1935-1938-ci illər) elektromexaniki məntiq qapılarını dizayn və istehsal etmişdir.

1930-cu illərə qədər və bu müddət ərzində elektrik mühəndisləri riyazi və məntiqi problemləri həll etmək üçün elektron sxemlər qura bildilər, lakin əksəriyyəti bunu heç bir nəzəri ciddiliyə malik olmayan xüsusi bir şəkildə etdilər. Bu, 1930-cu illərdə keçid dövrə nəzəriyyəsi ilə dəyişdi. 1934-1936-cı illərdə Akira Nakashima, Klod Şennon və Viktor Shetakov iki dəyərli Boolean cəbrinin keçid dövrələrinin işini təsvir edə biləcəyini göstərən bir sıra məqalələr dərc etdilər. Məntiq etmək üçün elektrik açarlarının xüsusiyyətlərindən istifadə konsepsiyası bütün elektron rəqəmsal kompüterlərin əsasını təşkil edən əsas konsepsiyadır. Kommutasiya dövrə nəzəriyyəsi müasir texnologiyanın demək olar ki, bütün sahələrində rəqəmsal sistemin dizaynı üçün riyazi əsaslar və alətlər təmin etmişdir.

Bir bakalavr fəlsəfə kursu alarkən, Şennon Boole işi ilə tanış oldu və məntiq problemlərini həll etmək üçün elektromexaniki releləri (sonralar telefon marşrutlaşdırma açarlarında istifadə olundu) təşkil etmək üçün istifadə edilə biləcəyini başa düşdü. Tezis, II. İkinci Dünya Müharibəsi zamanı və ondan sonra elektrik mühəndisliyi ictimaiyyəti arasında geniş tanındıqda, praktik rəqəmsal sxem dizaynının əsası oldu.

Alan Türinq və Türinq maşını

1920-ci illərdən əvvəl kompüterlər hesablamalar aparan insan katibləri idi. Onlar adətən bir fizikin nəzarəti altında olurdular. Minlərlə kompüter biznes, hökumət və tədqiqat müəssisələrində istifadə olunurdu. İnsan kompüteri kimi xidmət edən bu katiblərin əksəriyyəti qadınlar idi. Bəziləri təqvimlər üçün astronomik hesablamalar aparır, bəziləri isə hərbçilər üçün ballistik cədvəllər hazırlayırdılar.

1920-ci illərdən sonra kompüter maşını ifadəsi xüsusilə Church-Turing tezisinin təsirli üsullarına uyğun olaraq, insan kompüterinin işini yerinə yetirən hər hansı bir maşına istinad etdi. Tezisdə deyilir ki, riyazi metod lazım olduğu müddətcə və yaradıcılıq və düşüncə olmadan bir insan katibinin kağız və karandaşla izləyə biləcəyi təlimatların siyahısı şəklində tərtib edilə bilsə təsirli olur.

Davamlı dəyərlərlə hesablanan maşınlar analoq tip kimi tanındı. Onlar şaftın fırlanma bucağı və ya elektrik potensialındakı fərq kimi davamlı ədədi kəmiyyətləri təmsil edən maşınlardan istifadə edirdilər.

Rəqəmsal maşın, analoqdan fərqli olaraq, ədədi dəyərin vəziyyətini yarada və hər rəqəmi saxlaya bilər. Rəqəmsal maşınlar daha sürətli yaddaş qurğularının ixtirasından əvvəl müxtəlif mühərriklərdən və ya relelərdən istifadə edirdilər.

1940-cı illərin sonlarından sonra kompüter maşını termini elektron rəqəmsal maşınların yayılması ilə tədricən tək kompüterlərlə əvəz olundu. Bu kompüterlər əvvəllər insan katibləri tərəfindən edilən hesablamaları yerinə yetirə bilirdi.

Rəqəmsal maşınlar tərəfindən saxlanılan dəyərlər analoq qurğular kimi fiziki xüsusiyyətlərdən asılı olmadığı üçün rəqəmsal aparata əsaslanan məntiqi kompüter "sırf mexaniki" kimi təsvir edilə bilən hər şeyi edə bilər. Alan Turinq tərəfindən yaradılmış nəzəri u bu cür avadanlıqların xüsusiyyətlərini öyrənmək üçün nəzəriyyələşdirilmiş hipotetik bir cihazdır.

Müasir kompüter elminin riyazi əsasları Kurt Hödel tərəfindən natamamlıq teoremi ilə qoyulmağa başlandı (1931). Bu teoremdə o göstərdi ki, formal sistem daxilində sübut oluna və təkzib edilə bilənlərin hüdudları var. Bu, Hödel və başqalarının bu formal sistemləri, o cümlədən mu-rekursiv funksiyalar və lambda ilə təyin olunan funksiyalar kimi anlayışları müəyyən etmək və təsvir etmək üçün işləməsinə səbəb oldu.

1936-cı ildə Alan Türinq və Alonzo Kilsəsi müstəqil və yenidən birlikdə hesablana biləcək məhdudiyyətləri olan alqoritmin rəsmiləşdirilməsini və hesablama üçün "sırf mexaniki" modelini təqdim etdilər. Bu, elektron kompüterlər kimi mexaniki hesablama cihazlarının təbiəti haqqında fərziyyə olan Church-Turing tezisinə çevrildi. Tezisdə deyilir ki, kifayət qədər vaxt və yaddaş sahəsi mövcud olduqda, istənilən mümkün hesablama kompüterdə işləyən bir alqoritm vasitəsilə aparıla bilər.

1936-cı ildə Alan Türinq indi sadəcə Universal Türinq maşını adlandırılan mücərrəd rəqəmsal hesablama maşını olan Türinq Maşını ilə bağlı əsas işini nəşr etdi. Bu maşın müasir kompüterin prinsipini icad etdi və demək olar ki, bütün müasir kompüterlər tərəfindən istifadə edilən saxlanılan proqram konsepsiyasının doğulduğu yer oldu. Bu hipotetik maşınlar hesablama qabiliyyətinin məhdudiyyətlərini nəzərə alaraq nəyin hesablana biləcəyini rəsmi olaraq riyazi olaraq müəyyən etmək üçün nəzərdə tutulmuşdur. Əgər Turing maşını tapşırığı yerinə yetirə bilirsə, o, Turing hesablana bilən sayılır.

Los Alamoslu fizik Stanley Frankel məktubunda Con fon Neymanın Türinqin 1936-cı ildəki məqaləsinin əsas əhəmiyyəti haqqında fikirlərini belə təsvir edir:

Kompüter avadanlıqları (hardware)

Dünyanın ilk elektron rəqəmsal kompüteri olan Atanasoff-Berry kompüteri 1939-1942-ci illərdə Ayova ştatının kampusunda fizika və riyaziyyat professoru Con V. Atanasoff və mühəndislik üzrə aspirant Klifford Berri tərəfindən tikilmişdir.

1941-ci ildə Konrad Zuse dünyanın ilk funksional proqramla idarə olunan kompüteri olan Z3-ü inkişaf etdirdi. 1998-ci ildə Türinqin tamamlanması prinsipcə nümayiş etdirildi. Zuse həmçinin ilk prosesə nəzarət kompüteri sayılan S2 hesablama maşınını da inkişaf etdirdi. 1941-ci ildə o, dünyanın ilk kommersiya kompüteri olan Z4-ü istehsal edərək ilk kompüter bizneslərindən birini qurdu. 1946-cı ildə o, ilk yüksək səviyyəli proqramlaşdırma dili olan Plankalkül-i dizayn etdi.

1948-ci ildə Manchester Baby tamamlandı; Bu, demək olar ki, bütün müasir kompüterlər kimi yaddaşında saxlanılan proqramları işlədən dünyanın ilk elektron rəqəmsal kompüteri idi. Türinqin Maks Nyumanın 1936-cı ildə yazdığı əsas məqalənin Turinq Maşınlarına təsiri və onun layihəyə verdiyi məntiqi-riyazi töhfələr Baby-nin uğurlu inkişafı üçün çox vacib idi.

1950-ci ildə Britaniyanın Milli Fizika Laboratoriyası Türinqin fəlsəfəsinə əsaslanan kiçik miqyaslı proqramlaşdırıla bilən kompüter olan Pilot ACE-ni tamamladı. 1 MHz işləmə sürəti ilə Pilot Model ACE bir müddət dünyanın ən sürətli kompüteri idi. Turinqin ACE dizaynı bugünkü RISC arxitekturaları ilə çoxlu ümumi cəhətlərə malik idi və ilk Macintosh kompüterləri ilə təxminən eyni tutumlu yüksək sürətli yaddaş tələb edirdi; Bu, dövrünün standartlarına görə çox böyük idi. Turinqin ACE-i planlaşdırıldığı kimi və tamamilə qurulsaydı, digər erkən kompüterlərdən fərqli bir liqada olardı. İlk həqiqi kompüter səhvi güvə idi. Harvard Mark II-də relelər arasında sıxışdırılmışdı. "Böcək" termininin ixtirası tez-tez, lakin səhvən 9 sentyabr 1945-ci ildə "böcək" adlanan hadisəni qeydə alan ABŞ Hərbi Dəniz Qüvvələrində gələcək kontr-admiral Qreys Hopperə aid edilsə də, bir çox başqa hesablar ən azı bu detallarla ziddiyyət təşkil edir. Bu hesablara görə, operatorların bu "hadisəni" səhv və "İlk faktiki xəta tapıldı" qeydi ilə birlikdə bildirdiyi faktiki tarix 9 sentyabr 1947-ci ildir.

Şennon və məlumat nəzəriyyəsi

Klod Şennon 1948-ci ildə göndəricinin çatdırmaq istədiyi məlumatı necə kodlaşdırmaq probleminə ehtimal nəzəriyyəsini tətbiq edən “Riyazi ünsiyyət nəzəriyyəsi” adlı məqaləsi ilə informasiya nəzəriyyəsi sahəsini tapmağa davam etdi. Bu iş verilənlərin sıxılması və kriptoqrafiya da daxil olmaqla bir çox tədqiqat sahələri üçün nəzəri əsaslardan biridir.

Viner və Kibernetika

Norbert Viner düşmən təyyarələrini aşkar etmək üçün radar şəkillərini şərh edən zenit sistemləri ilə apardığı təcrübələrdən kibernetika terminini yunan sözündən "stüyerçi" mənasını verdi. 1948-ci ildə o, süni intellektə təsir edən “Kibernetika” əsərini nəşr etdirir. Viner həmçinin hesablamaları, hesablama maşınlarını, yaddaş cihazlarını və digər koqnitiv analogiyaları beyin dalğalarının təhlili ilə müqayisə etdi.

Con fon Neyman və Fon Neyman arxitekturası

Kompüter arxitekturası üçün bir model 1946-cı ildə təqdim edildi və Fon Neyman Arxitekturası kimi tanındı. 1950-ci ildən bəri Fon Neyman modeli sonrakı kompüter dizaynlarında vahidliyi təmin etdi. Fon Neyman Arxitekturası innovativ hesab olunurdu, çünki o, maşın təlimatları və məlumatların yaddaş sahəsini paylaşmasına icazə vermək ideyasını təqdim etdi. Fon Neyman modeli üç əsas hissədən ibarətdir; vahidi (ALU), yaddaş və təlimat emal vahidi (IPU). Fon Neymanın maşın dizaynında IPU ünvanları yaddaşa ötürür, bu da öz növbəsində ya göstəriş alınarsa IPU-ya, ya da məlumat alındıqda ALU-ya yönəldilir.

Fon Neymanın maşın dizaynı RISC (Reduced instruction set computing) arxitekturasından istifadə edir; Bu o deməkdir ki, təlimat dəsti bütün tapşırıqları yerinə yetirmək üçün cəmi 21 təlimatdan istifadə edir. (Bu, CISC-dən fərqli olaraq, mürəkkəb göstərişlər toplusunun hesablanmasıdır, burada təlimat dəstləri seçilə bilən daha çox təlimatları ehtiva edir.) Fon Neyman Arxitekturasında əsas yaddaş və akkumulyator iki yaddaş hesab olunur. Əməliyyatlar sadə hesab (bunlar ALU tərəfindən yerinə yetirilir və toplama, çıxma, vurma və bölmə daxildir), şərti budaqlar (indi bunlar daha çox ifaçı və ya while dövrələri kimi görünür. Budaqlar ifadələrə keçid kimi xidmət edir) kimi yerinə yetirilə bilər. və maşının müxtəlif komponentləri arasında məntiqi hərəkətlər, yəni akkumulyatordan yaddaşa keçid və ya əksinə. Von Neumann arxitekturası məlumat növləri kimi fraksiyaları və təlimatları qəbul edir. Nəhayət, Fon Neyman Arxitekturası sadə olduğundan, qeydlərin idarə edilməsi də sadədir. Arxitektura alınan məlumatları və təlimatları emal etmək və şərh etmək üçün yeddi registrdən ibarət dəstdən istifadə edir. Bu registrlərə "IR" (təlimat registri), "IBR" (təlimat bufer registri), "MQ" (çoxalıcı bölmə registri), "MAR" (yaddaş ünvanı reyestri) və "MDR" (yaddaş məlumat reyestri) daxildir. Maşının proqramda harada olduğunu izləmək üçün proqram sayğacından ("PC") istifadə edir.

Con MakKarti, Marvin Minski və Süni İntellekt

Con MakKarti Dartmouth Summer Research layihə araşdırmalarını təsvir etmək üçün süni intellekt terminindən istifadə etdi. Süni intellektin adlandırılması həm də kompüter elmində yeni bir sahənin yaranmasına səbəb oldu. 31 avqust 1955-ci ildə Con MakKarti, Marvin L. Minsky, Nathaniel Rochester və Klod Şennon tərəfindən tədqiqat layihəsi təklif edildi. Rəsmi layihə 1956-cı ildə başladı və onların fikrincə, süni intellektin mahiyyətini daha yaxşı anlamağa kömək edəcək bir neçə əsas hissədən ibarət idi.

MakKarti və onun həmkarlarının avtomatik kompüterlərin arxasında duran ideyası ondan ibarət idi ki, əgər maşın bir işi yerinə yetirmək iqtidarındadırsa, istənilən nəticələri yerinə yetirmək üçün proqram tərtib etməklə eyni şey kompüterdə yoxlanılmalıdır. Onlar həmçinin aşkar etdilər ki, insan beyni maşının özü deyil, proqram tərəfindən təkrarlana bilməyəcək qədər mürəkkəbdir. Belə bir mürəkkəb proqram hazırlamaq üçün məlumat hələ mövcud deyildi.

Bunun arxasındakı fikir, cümlələri necə qurduğumuz, fərqli mənalar və qaydalar təyin etdiyimiz və bunları maşın prosesi ilə müqayisə etdiyimiz zaman insanların öz dilimizi və quruluşumuzu necə başa düşdüyünə baxmaq idi. Kompüterlərin başa düşmə üsulu hardware səviyyəsindədir. Bu dil binar sistemdə (1s və 0s) yazılır. Bu, kompüterə müəyyən bir aparat parçasını idarə etmək üçün qaydalar toplusunu verən xüsusi formatda yazılmalıdır.

Minskinin prosesi bu süni neyron şəbəkələrinin insan beyninə bənzər xüsusiyyətlərə sahib olmaq üçün necə hazırlana biləcəyini müəyyən etdi. Bununla belə, o, yalnız qismən nəticələr verə bildi və ideya üzərində əlavə araşdırmalara ehtiyac duyuldu.

MakKarti və Şennon-un bu nəzəriyyənin ideyası riyazi nəzəriyyə və hesablamalar vasitəsilə maşının səmərəliliyini müəyyən etmək və ölçmək üçün mürəkkəb problemlərdən istifadə etmək üçün bir üsul hazırlamaq idi. Lakin onlar yalnız qismən test nəticələrini alacaqlar.

Özünü təkmilləşdirməyin ideyası maşının özünü daha ağıllı etmək üçün özünü dəyişdirən koddan necə istifadə edəcəyidir. Bu, maşının zəkasının artmasına və hesablama sürətinin artmasına imkan verəcək. Qrup inanırdı ki, əgər bir maşın tədqiqatlarının abstraksiya hissəsində tapşırığı tamamlama prosesini təkmilləşdirə bilsə, onu öyrənə bilər.

Qrup hiss etdi ki, bu kateqoriya üzrə tədqiqatlar daha kiçik qruplara bölünə bilər. Bu, AI ilə əlaqəli sensor və digər növ məlumatlardan ibarət olacaq. Kompüter elmindəki abstraksiyalar riyaziyyat və proqramlaşdırma dillərinə aid edilə bilər.

Onların hesablama yaradıcılığı ideyası, bir proqramın və ya maşının oxşar insan düşüncə tərzinə malik olaraq necə görünə biləcəyidir. Onlar görmək istəyirdilər ki, bir maşın çatışmayan məlumatı götürüb onu insan ağlının bacardığı kimi çatışmayan detalları doldurmaq üçün təkmilləşdirə bilər. Əgər bu maşın bunu edə bilsəydi; Onlar maşının nəticəni necə təyin etdiyini düşünməli idilər.

• Evans, Claire L. . New York: Portfolio/Penguin. 2018. ISBN 9780735211759.
• Grier, David Alan. . Princeton: Princeton University Press. 2013. ISBN 9781400849369 – Project MUSE vasitəsilə.
• Tedre, Matti. The Science of Computing: Shaping a Discipline. Taylor and Francis / CRC Press. 2014. ISBN 978-1-4822-1769-8.
• Kak, Subhash : Computing Science in Ancient India; Munshiram Manoharlal Publishers Pvt. Ltd (2001)
• Matti Tedre's Ph.D. Thesis, University of Joensuu (2006)