Edsger Dijkstra ünlü alıntılar

Hata ayıklama, yazılım hatalarını kaldırma işlemiyse, programlama, bunları yerleştirme işlemi olmalıdır.

Zarafet vazgeçilemez bir lüks değil, başarı ile başarısızlık arasında karar veren bir faktördür.

Program testi, hataların varlığını göstermek için kullanılabilir, ancak bunların yokluğunu asla göstermemek için kullanılabilir!

Matematiksel bir eğilimin yanı sıra, kişinin anadilinde son derece iyi bir ustalık, yetkin bir programcının en hayati varlığıdır.

Bilgisayar bilimi, astronominin teleskoplarla ilgili olduğundan daha fazla bilgisayarla ilgili değildir.

Güvenilirlik için basitlik ön şarttır.

İnsanları programlamada basitlik ve netliğin - kısacası matematikçilerin zarafet dediği şeyin - vazgeçilebilir bir lüks değil, başarı ile başarısızlık arasında karar veren çok önemli bir konu olduğuna nasıl ikna ederiz?

COBOL kullanımı zihni sakatlıyor; Bu nedenle öğretisi cezai bir suç olarak görülmelidir.

Testler, hataların yokluğunu değil varlığını gösterir.

Soyutlama güçlerinin etkin bir şekilde kullanılması, yetkin bir programcının en hayati faaliyetlerinden biri olarak görülmelidir.

"Gerçek dünyaya" dikkat edin. Bir konuşmacının buna itirazı, onun zımni varsayımlarına meydan okumamak için her zaman bir davettir.

Soyutlamanın amacı belirsiz olmak değil, kişinin kesinlikle kesin olabileceği yeni bir anlamsal seviye yaratmaktır.

Kalite standartlarınızı yaşayabildiğiniz kadar yükseltin, zamanınızı rutin sorunlara harcamaktan kaçının ve her zaman yeteneklerinizin sınırında mümkün olduğunca yakın çalışmaya çalışın. Bunu yapın, çünkü bu sınırın nasıl ilerletilmesi gerektiğini keşfetmenin tek yolu budur.

Kod satırlarını saymak istiyorsak, onları 'üretilen satırlar' olarak değil, 'harcanan satırlar olarak görmeliyiz.'

Sırf bilgisayar bilimcisi olduğum için vaktimi bilgisayarla harcamama gerek yok.

Geleneksel matematikçi, matematiksel zarafeti gördüğünde tanır ve takdir eder. Bir adım daha ileri gitmeyi ve zarafeti matematiğin temel bir bileşeni olarak görmeyi öneriyorum: beceriksizse matematik değildir.

Programlama, uygulamalı matematiğin en zor dallarından biridir; fakir matematikçiler saf matematikçi olarak kalsa iyi olur.

Matematikçiler yöneticiler gibidir - değişim olmadan gelişim isterler.

Herhangi bir aracın en önemli ama aynı zamanda en zor yanı, kullanımında kendilerini eğitenlerin alışkanlıkları üzerindeki etkisidir. Araç bir programlama dili ise bu etki, beğenip beğenmesek de düşünme alışkanlıklarımız üzerinde bir etkidir.... Programlama dili, düşünme alışkanlıklarımız üzerinde derin etkisi olan bir araçtır.

Deneyim hiçbir şekilde otomatik olarak bilgeliğe ve anlayışa yol açmaz.

John von Neumann, ona zıt görünen şeye dikkat çekiyor. Basit mekanizmalar için, nasıl çalıştıklarını tanımlamanın yaptıklarından daha kolay olduğunu, daha karmaşık mekanizmalar için ise genellikle tam tersi olduğunu belirtti.

Bir şeyin basitleştirilebileceğine dair gizlenen şüphe, dünyanın en zengin ödüllendirici zorluk kaynağıdır.

Endüstri, istikrar ve süreklilik uğruna şirketin bireysel çalışanların yetkinliğinden bağımsız olması gereken yönetsel dogmadan muzdariptir.

Sıkıcı matematik diye bir şey olmamalı.

Kendini mükemmelleştirmek, öğrenmek kadar öğrenmemektir.

Mekanizma kara kutu olarak kabul edildiği sürece doğruluğun imkansız olduğuna dair ikna edici bir gösteri, tek umudumuz mekanizmayı kara kutu olarak görmemektir.

Münih'ten döndüğümde Eylül ayıydı ve Eindhoven Teknoloji Üniversitesi'nde Matematik Profesörüydüm. Daha sonra, iki sayısal analistin daveti geri çevirmesinden sonra Bölümün üçüncü tercihi olduğumu öğrendim; Beni davet etme kararı, bir yandan gerçekten matematik okumadığım için, diğer yandan sandaletlerim, sakalımım ve yüzümden kolay olmamıştı. benim "küstahlığım" (ne olursa olsun).

Kültür Devrimi'nin ve şimdi durgunluğun ardından, işbirliği yapmak ve "ekip çalışmasını" teşvik etmek için artan bir baskı gözlemliyorum. Birey karşıtı çizgisi nedeniyle, böyle bir dürtü elbette oldukça şüphelidir; Bazı insanlar buna o kadar duyarlı olmayabilir, ancak Hitlerjugend'i eylemde görmüş olmak, hayatınızın geri kalanında "takım ruhuna" karşı çok dikkatli olmak için yeterlidir. Çok.

Antropomorfik terminolojinin kullanılması sizi dilsel olarak operasyonel bir bakış açısı benimsemeye zorlar. Ve programlar hakkında yürütülmelerinden bağımsız olarak tartışmayı neredeyse imkansız hale getirir.

Doğru bir program üretmenin sadece programcının sorumluluğunda olmadığı, aynı zamanda doğruluğunu ikna edici bir şekilde göstermenin de olduğu pozisyonunu aldığımızda, yukarıdaki sözlerin programcının faaliyeti üzerinde derin bir etkisi vardır: üretmesi gereken nesne faydalı bir şekilde yapılandırılmalıdır.

Entelektüel bir olasılık olarak gördüğüm kadarıyla yetkin programlamanın ortalama bir programcı için çok zor olacağı için beni suçlamayın, köşedeki dükkanında berberin yeteneklerinin ötesinde olduğu için cerrahi bir tekniği reddetme tuzağına düşmemelisiniz.

...Basitleştirmeler, bireysel yaratıcılık yeteneklerinden çok daha uzun vadeli bir bilimsel etkiye sahipti. Basitleştirme fırsatı çok cesaret vericidir, çünkü akla gelen tüm örneklerde basit ve zarif sistemlerin tasarlanması ve doğru yapılması daha kolay ve daha hızlı, yürütmede daha verimli ve bir dereceye kadar hata ayıklanması gereken daha yapmacık mekanizmalardan çok daha güvenilir olma eğilimindedir. kabul edilebilirlik....Sadelik ve zarafet popüler değildir çünkü başarmak için sıkı çalışma ve disiplin ve takdir edilecek eğitim gerektirirler.

Kurtuluş vaat eden bir makale yazın, onu yapılandırılmış bir şey veya sanal bir şey yapın veya soyut, dağıtılmış veya daha üst düzey veya uygulanabilir hale getirin ve yeni bir kült başlattığınızdan neredeyse emin olabilirsiniz.

Güzellik bizim işimiz.

Daha etkili programcılar istiyorsanız, hata ayıklama zamanlarını boşa harcamamaları gerektiğini, başlamak için hataları tanıtmamaları gerektiğini keşfedeceksiniz.

Gerçek dünyanın sorunları, öncelikle onların etkili çözümlerini uygulamayı reddettiğinizde geride bıraktıklarınızdır.

Sahilde kumdan kaleler inşa ederken dalgaları görmezden gelebiliriz ama gelgiti izlemeliyiz.

Bilgisayarımız olmadığında, programlama sorunumuz da yoktu. Birkaç bilgisayarımız olduğunda, hafif bir programlama sorunumuz vardı. Milyonlarca kat daha güçlü makinelerle karşı karşıya kaldığımızda devasa bir programlama sorunuyla karşı karşıyayız.

Ölümcül hastalık olan PL / 1, çözüm kümesinden çok sorun kümesine aittir.

Çok az insan, bugün bu kadar kutlanan yüksek teknolojinin aslında matematiksel bir teknoloji olduğunu kabul ediyor.

Bilgisayar bilimi, astronomiden teleskoplara, biyolojiden mikroskoplara veya kimyadan beherler ve test tüplerine kadar bilgisayarlarla ilgili değildir. Bilim aletlerle ilgili değildir. Bu, onları nasıl kullandığımız ve yaptığımızda ne öğrendiğimizle ilgilidir.

Birkaç kişi bana aptallara seve seve acı çekemememin en büyük zayıflıklarımdan biri olduğunu söyledi.

Bu bakımdan bir program şiir gibidir: yazmadan şiir yazamazsınız. Yine de insanlar programlamadan sanki bir üretim süreciymiş gibi bahsediyor ve "programcı üretkenliğini" "üretilen kod satırı sayısı" açısından ölçüyorlar. Bunu yaparken, bu sayıyı defterin yanlış tarafına kaydederler: her zaman "harcanan kod satırlarının sayısına" atıfta bulunmalıyız.

Tanrıya şükür sadece ciddi sorunlarımız değil, saçma sorunlarımız da var.

[Bilgisayar bilimi oldukça yeni bir disiplin olmasına rağmen, ağırlıklı olarak Kartezyen dünya görüşüne dayanmaktadır. Edsgar W. Dijkstra'nın belirttiği gibi] Bilimsel bir disiplin ortaya çıkıyor - genellikle oldukça yavaş! - hangi yönlerin anlamlı bir şekilde keşfedilebileceğinin keşfi 'kendi tutarlılıkları uğruna tek başına incelenir.

"Düşünce işlemcilerinin" reklamını yapan şirketi veya TEMEL öğrenmenin yeterli veya en azından yardımcı olduğunu iddia eden koleji düşünüyorum, oysa TEMEL öğretimi cezai bir suç olarak değerlendirilmelidir: zihni iyileşmenin ötesinde sakatlıyor.

Muhtemelen çok safım, ama aynı zamanda öyle kalmayı tercih ettiğimi düşünüyorum, en azından şimdilik ve belki de hayatımın geri kalanı için.

Dil kullanımı hakkında: Bir kalemi künt bir balta ile keskinleştirmek imkansızdır. Bunun yerine on kör eksenle yapmaya çalışmak da aynı derecede boşuna.

Masum gençlere biçimsel yöntemlerin etkin kullanımını öğretmek, yaşamın zevklerinden biridir çünkü son derece faydalıdır.

Büyük ölçüde geliştirilmiş iletişim olasılığı sayesinde önemini abartıyoruz. Daha da güçlüsü, izolasyonun önemini küçümsüyoruz.