Salı Yamayı Geçin – bugün Ada Lovelace Günü!

Her ayın ikinci Salısı, Microsoft'un güvenlik güncellemeleri için düzenli günüdür ve hala neredeyse herkes tarafından resmi olmayan takma adı olan "Salı Yaması" ile bilinir.

Ancak Ekim ayının ikinci Salı da Ada Lovelace Günü, kutlama Ada, Lovelace Kontesi.

Ada sadece bilgi işlemin değil, aynı zamanda bilgisayar biliminin de gerçek bir öncüsüydü ve adını Ada programlama diline verdi.

Ada dili, merak uyandıran bir şekilde, her departmanın farklı bir dili veya farklı bir dil lehçesini tercih ettiği, daha zor, daha pahalı ve daha pahalı hale getirdiği, hükümet kodlama dünyasını “debebelize” etmeyi amaçlayan bir ABD Savunma Bakanlığı projesinden ortaya çıktı. birlikte çalışmalarını sağlamak için daha az güvenilirdir.

Ada, okunabilirliği iyileştirmeyi ve yaygın hatalardan kaçınmayı amaçlayan çok sayıda sözdizimsel özelliğe sahipti. C ile başlayan yorumların aksine /* ve bir sonrakine kadar koş */, belki birçok satır sonra Ada, -- herhangi bir satırda, bu nedenle yorumlar yanlışlıkla istediğinizden daha fazla yayınlanamaz. Tüm çok satırlı kod bloklarını dalgalı parantezler içine almak yerine ({...}, Ayrıca şöyle bilinir pantolon askısı), Ada'nın her tür çok satırlı blok için benzersiz bir sonlandırıcısı vardır, örn. end record, end loop ve end if. Ada Lovelace'ın, adaşı olan dilinin netliğini alkışladığından şüpheleniyoruz, ancak Ada dili hiçbir zaman gerçekten tutmadı ve C'nin dalgalı parantez sözdizimi büyük ölçüde günü kazandı, Python belki de dünyadaki tek dalgalı parantez olmayan dil. yaygın kullanım. Kıvrımlı parantezler C, C++, C#, Go, Java, JavaScript, Perl, Rust ve diğer birçok popüler dilin hayati bir yönüdür.

Ada Lovelace'ın dönemi

Ada'nın adının bilgisayar biliminin başlangıcıyla ne kadar güçlü bir şekilde ilişkili olduğu düşünülürse, onun on dokuzuncu yüzyılın ilk yarısında, şu anda bilgisayar, hatta hesap makinesi olarak bildiğimiz her şeyden çok önce yaşadığını görünce şaşırabilirsiniz. .

(Ada, 1852'de sadece 36 yaşında rahim kanserinden öldü.)

Ancak 1800'lerde modern anlamda bilgisayarlar olmasa da, çok yakın yaptı.

İşte neredeyse nasıl oldu.

Charles Babbage, 1800'lerin başında, ünlü olarak adlandırılan mekanik bir hesaplama cihazı tasarladı. Fark Motoru bu, en azından teoride, altıncı derecede polinom denklemlerini otomatik olarak çözebilir, örneğin aşağıdakileri tatmin edecek X değerleri bularak:

aX6 + bx5 +cX4 +dX3 +eX2 + fX + g = 0

Birleşik Krallık hükümeti ilgilendi çünkü bu tür bir cihaz karekökler, logaritmalar ve trigonometrik oranlar gibi doğru matematiksel tablolar oluşturmak için kullanılabilirdi.

Ve trigonometrik hesaplamalarda iyi olan herhangi bir makine, karada ve denizde topçu doğruluğunda devrim yaratabilecek topçu masaları gibi şeyleri hesaplamak için de kullanışlı olacaktır.

Ama Babbage'ın iki sorunu vardı.

İlk olarak, Fark Motorunun düzgün çalışması için gereken mühendislik hassasiyetine hiçbir zaman tam olarak ulaşamadı, çünkü geri tepme (mekanizmada "eğikliğe" yol açan küçük ama kümülatif yanlışlıklar) onu kilitleyecek kadar birbirine kenetlenen dişliler içeriyordu.

İkincisi, bir çıkmaz sokak olduğunu fark ettiğinde Fark Motoruna olan ilgisini kaybetmiş görünüyor - modern anlamda, onu bir cep hesap makinesi olarak düşünebilirsiniz, ancak bir tablet bilgisayar veya dizüstü bilgisayar olarak değil.

Böylece Babbage, daha karmaşık bir cihazın tasarımıyla öne atıldı. Analitik MotorBu, bir tür polinom denkleminden çok daha genel bilimsel problemler çözebilir.

Belki de şaşırtıcı olmayan bir şekilde, ne yazık ki sonradan görülmüşse. hükümet, Babbage'ın daha gelişmiş projesini finanse etmekle pek ilgilenmedi.

Çok daha basit bir denklem çözücü için gereken mekanizmayı kurmayı başaramadığı düşünülürse, dev, buharla çalışan, genel amaçlı bir bilgisayarın herhangi bir yararlı sonuç verme şansı ne olabilir?

Avrupa konferans devresi

Babbage, uluslararası, çok dilli işbirliğinin tuhaf bir dönüşüyle ​​Analitik Motorunu tanıtan bir konferans vermek için İtalya'ya gitti.

Seyirciler arasında Kaptan Luigi Menabrea adında bir askeri mühendis vardı ve bu, makineyi tanımlayan 1842 tarihli bir makaleyi üretmek için Babbage ile işbirliği yapmaktan ilham aldı.

Menabrea, İtalyan olmasına rağmen, makalesini Fransızca olarak yayınladı…

…ve daha sonra Menabrea'nın makalesini çeviren Ada Lovelace oldu. İngilizceye.

Babbage'ın ısrarı üzerine Ada ayrıca bir dizi Çevirmenin NotlarıBu, yalnızca Menabrea'nın orijinal raporunun iki katından daha uzun olmakla kalmayıp, aynı zamanda şimdi genel amaçlı bir bilgisayar olarak adlandırdığımız şeyin birkaç önemli özelliğini açıklayan daha anlayışlı olduğu ortaya çıktı.

Walter Isaacson, mükemmel okunabilir kitabında Yenilikçiler2014 yılında yayınlanan, Ada'nın nasıl “Bir yüzyıl sonra bilgisayar nihayet doğduğunda tarihsel yankı uyandıracak dört kavramı keşfetti”:

• Ada, Analitik Motorun, Fark Motorundan farklı olarak gerçekten genel amaçlı bir cihaz olduğunu kabul etti. çünkü sadece bir şeyi yapmak için programlanamaz, aynı zamanda ve nispeten kolay bir şekilde, tamamen farklı bir görevi yerine getirmek için yeniden programlanabilir.

Ada'nın kendi sözleriyle (bu, bilimsel edebiyatın edebiyatla belki de bugün olduğundan çok daha fazla temas halinde olduğu bir çağdı):

Fark Motoru gerçekte (zaten kısmen açıklandığı gibi) eklemekten başka bir şey yapamaz; ve basit çıkarma, çarpma ve bölme işlemleri hariç olmak üzere diğer tüm işlemler, ancak makul matematiksel düzenleme ve hilelerle bunları bir dizi toplamaya indirgemenin mümkün olduğu ölçüde gerçekleştirilebilir. Farklılıklar yöntemi aslında bir ekleme yöntemidir; ve diğer herhangi bir matematiksel ilkeden daha basit bir şekilde toplama ile elde edilebilecek daha fazla sayıda sonucu kendi araçları içinde içerdiğinden, böyle bir makinenin güçlerini vermek için bir Toplama Makinesi inşa etmek için temel olarak çok uygun bir şekilde seçilmiştir. mümkün olan en geniş aralık. Analitik Motor ise tam tersine eşit kolaylıkta toplama, çıkarma, çarpma veya bölme işlemlerini yapabilir; ve bu dört işlemin her birini diğer üçünün yardımı olmadan doğrudan gerçekleştirir. Bu tek gerçek her şeyi ima eder; ve örneğin, Fark Motoru sadece tablolaştırabilir ve geliştiremezken, Analitik Motorun tablo haline getirebileceğini veya geliştirebileceğini belirtmek pek gerekli değildir.

• Ada, Analitik Motorun sayılarla kodlama ve hesaplama ile sınırlı olmadığını fark etti. Dijital olmasına ve sayısal hesaplamalar yapma becerisine dayalı olmasına rağmen, bu dijital işlemlerin teoride mantıksal önermeleri temsil edebileceğini açıkladı (bugün bizim doğal olarak kabul ettiğimiz gibi). if ... then ... else ... end if ifadeler), müzik notaları vb.

Ada'nın dediği gibi:

[Analitik Makine] sayı dışında başka şeyler üzerinde de hareket edebilirdi, karşılıklı temel ilişkileri soyut işlemler bilimininkilerle ifade edilebilen ve aynı zamanda işlem gösterimi ve mekanizmasının eylemine uyarlamalara duyarlı olması gereken nesnelerdi. motor. Örneğin, armoni ve müzik kompozisyonu bilimindeki perdeli seslerin temel ilişkilerinin bu tür ifade ve uyarlamalara duyarlı olduğunu varsayarsak, motor herhangi bir karmaşıklık veya ölçüde ayrıntılı ve bilimsel müzik parçaları besteleyebilir. Analitik Motor, bu işlemlerin konusu olarak soyut sayılara özel bir referansla oluşturulmuş işlemler biliminin somutlaşmış halidir.

• Ada, şimdi program dediğimiz şeylerin parçalarını yeniden kullanma kavramını ortaya attı. Bu anlamda, özyinelemeli altyordamlar (bir hesaplamayı bir dizi benzer alt hesaplamaya bölerek ve sonra kendilerini çağırarak çözümü basitleştiren işlevler) dahil olmak üzere altyordam kavramını icat ettiği söylenebilir.
• Ada, öncelikle “Makineler düşünebilir mi?” sorusuna faydalı bir şekilde değindi. Bu, o zamandan beri bizi endişelendiren bir konu.

Frankenstein bağlantısı

Ada'nın babası (her ne kadar onunla hiç tanışmamış olsa da), İsviçre'de unutulmaz bir şekilde yağmurlu bir tatil geçirmiş ve edebi kankaları Percy ve Mary Shelley ile korku hikayeleri yazan kötü şöhretli şair Lord Byron'du.

Byron ve Percy Shelley'nin bu dostça yazma yarışmasındaki çabaları bugün tamamen unutuldu, ancak Mary Shelley'nin ufuk açıcı romanı Frankenstein; veya, Modern Prometheus (1818'de yayınlandı) bu güne kadar popüler ve saygındır.

Frankenstein hikayesi, bugün yapay zeka olarak adlandırabileceğimiz şeyi çevreleyen ahlaki ikilemleri ünlü bir şekilde araştırdı. (Unutmayın, deneyi yapan bilim insanıydı, projeden ortaya çıkan yapay zeka değil.)

Ancak Ada, babasının arkadaşının Analitik Motorlar veya aslında genel olarak bilgisayarlar hakkındaki distopik endişelerini paylaşmıyor gibiydi.

Yazısının son bölümünde fikrini sundu. Çevirmenin Notları, bu:

Analitik Motorun herhangi bir şeyi ortaya çıkarmak için hiçbir iddiası yoktur. Nasıl yapılmasını emredeceğimizi bildiğimiz her şeyi yapabilir. Analizi takip edebilir; ancak herhangi bir analitik ilişkiyi veya gerçeği öngörme gücüne sahip değildir. Görev alanı, zaten aşina olduğumuz şeyleri kullanılabilir hale getirmemize yardımcı olmaktır. Bunu öncelikle ve tabii ki en çok da yürütme yetileri aracılığıyla etkileyeceği hesaplanmıştır; ancak bilimin kendisi üzerinde başka bir şekilde dolaylı ve karşılıklı bir etki yaratması muhtemeldir. Çünkü, doğruları ve analiz formüllerini, motorun mekanik kombinasyonlarına en kolay ve hızlı bir şekilde uyabilecekleri şekilde dağıtmak ve birleştirmek ile, o bilimdeki birçok konunun ilişkileri ve doğası zorunlu olarak yeni ışıklara atılır, ve daha derinlemesine araştırılmıştır. Bu, böyle bir buluşun kesinlikle dolaylı ve biraz spekülatif bir sonucudur.

100 yıldan biraz uzun bir süre sonra, Alan Turing yapay zeka konusunu kendi makalesinde ünlü bir şekilde yeniden ele aldığında Bilişim Makineleri ve İstihbaratve tanıttı şimdi ünlü Turing Testi, bunun dublajını yaptı Leydi Lovelace'in İtirazı.

Ne yapalım?

Bir dahaki sefere kendinizi şöyle bir kod yazarken bulursunuz…

   -- Tuhaf bir şey: Ackermann işlevi. -- Hesaplanabilir, ancak ilkel özyinelemeli değil! -- (Düz eski for -- döngüleri ile yazamazsınız, yine de biteceğinden emin olabilirsiniz, -- çoooooooook uzun bir zaman alsa bile.) local ack = function(m,n) if m == 0 sonra n+1'i döndürür end eğer n == 0 ise o zaman geri döner ack(m-1,1) end return ack(m-1,ack(m,n-1)) end

… bu tür özyinelemeli alt rutinlerin hepsinin, bir bilgisayarın neye benzemesi gerektiğini ve muhtemelen neye benzeyeceğini bilen birinin bilimsel hayal gücünde başladığını, ancak buna rağmen böyle bir cihazdan 100 yıl önce yaşadığını (ve ne yazık ki çok genç yaşta öldüğünü) hatırlayın. gerçekten hacklemek için vardı.

Gerçek bilgisayarları hacklemek başka bir şey ama hayali bilgisayarları kasıtlı olarak hacklemek bugünlerde sadece hayal edebileceğimiz bir şey.

Ada Lovelace Günü kutlu olsun!

---