Kompüter elminin tarixi

Kompüter elminin tarixi,ümumiyyətləriyaziyyatvə yafizikakimi formalarda görünən müasirinformatikaintizamından çox əvvəl başlamışdır. Əvvəlki əsrlərdəki inkişaflar indikompüter elmlərikimi bildiyimiz intizamdan bəhs edirdi.Mexanik ixtiralardan və riyazi nəzəriyyələrdən müasir kompüter anlayışlarına və maşınlarına qədər olan bu irəliləyiş böyük akademik sahənin inkişafına,Qərb dünyasındakütləvi texnoloji tərəqqiyə və kütləvi dünya ticarətinin və mədəniyyətinin əsasına səbəb oldu.
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.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əÇinabakusu kimi hesablama alətləri kimi istifadə olunur.
Eramızdan əvvəl 5-ci əsrdəQədim HindistandaqrammatikPanini Sanskritdilinin 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 mexanizmininerkən mexaniki analoq kompüter olduğuna inanılır.Astronomikmövqeləri hesablamaq üçün nəzərdə tutulmuşdur.1901-ci ildəYunanıstanınAntikitera adası yaxınlığında, Kithera və Krit arasında yerləşən Antikitera qəzasında aşkar edilmişdir və eramızdanəvvəl100-cü ilə aid edilmişdir.
Mexanik analoq kompüter cihazları min il sonra orta əsrİslam dünyasındayenidən peyda oldu və müsəlman astronomları -Əbu Reyhan əl-Birunininmexaniki dişli astrolabasıvəCabir ibn Əflahıntorketitərəfindən hazırlanmışdır.Simon Sinqhə görə, müsəlmanriyaziyyatçılarkriptoqrafiyadada Alkindus tərəfindən kriptoanaliz vətezlikanalizinin inkişafı kimi mühüm irəliləyişlər əldə etmişlər.Banu Musaqardaşların avtomatikfleytaçalan kimi proqramlaşdırıla bilən maşınlar damüsəlmanmühəndislərtə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 Nepyer17-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 Schickardhesablama 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 Paskalmexaniki əlavə edən cihaz qurdu.Sonra 1672-ci ildəQotfrid Vilhelm fon Leybnits1694-cü ildə tamamladığı pilləli hesablayıcını icad etdi.
1837-ci ildəÇarlz Bebbicilk 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 dilinidö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 1kilobaytdanaz yaddaşa və 10Hersdən az saat sürətinə malik olardı.
İlk müasir kompüterlər dizayn edilməzdən əvvəlriyaziyyatvəelektronikanəzəriyyəsində əhəmiyyətli irəliləyiş tələb olunurdu.
1702-ci ildəQotfrid Vilhelm fon Leybnitsikili 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,Laqranjinterpolyasiyası və alqoritmik məlumat nəzəriyyəsini nəzərdə tuturdu. Kalkulyator universalTurinq maşınının bəzi aspektlərini proqnozlaşdırdı. 1961-ci ildəNorbert VinerLeybnitsin 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ərbinar 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ü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ərinihesablaya 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, ilkkompüteralqoritmi dizayneridir. Bundan əlavə,LavleysinBebbicilə 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.
Bebbic-in ardıncaİrlandiyanınDublinşə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övcudIBMperfokart 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 Peirs1886-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ərməntiqqapı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şteyn16 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 Bote1924-cü ildə ilk müasir elektron və qapısına görə 1954-cü ilFizika üzrə Nobel Mükafatınınbir hissəsini aldı.Konrad TsuzeZ1 kompüteri üçün (1935-1938-ci illər)elektromexanikimə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 Şennonvə 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əsizamanı və ondan sonraelektrik mühəndisliyiictimaiyyəti arasında geniş tanındıqda, praktik rəqəmsal sxem dizaynının əsası oldu.
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 Turinqtə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ödeltə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ödelvə 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əktubundaCon fon NeymanınTürinqin 1936-cı ildəki məqaləsinin əsas əhəmiyyəti haqqında fikirlərini belə təsvir edir:
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ə alanABŞ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.
Klod Şennon1948-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.
Norbert Vinerdüş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.
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ındaIPU ü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əakkumulyatoriki 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 MakKartiDartmouth Summer Research layihə araşdırmalarını təsvir etmək üçünsüni intellektterminində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.