Gerçekten "resmi" yöntemlerin eğitim amaçlı çok iyi bir fikir olmadığını düşünüyorum. Bu nedenle, bir bilgisayarı programlamak "resmi" bir yöntemdir. Bir eğitim aracı olarak başarılı mı?
Gerekli olan anlama, sezgi ve soyutlama ile başa çıkma yeteneğidir. Resmi yöntemler tüm bunları engeller. Aksine, deneme yanılma, hackleme, örüntü eşleştirme, taklit, sözdizimine odaklanmayı teşvik ederler. Liste uzayıp gidiyor.
Herhangi bir titiz matematik parçası insanlara nasıl doğru bir şekilde akıl yürüteceklerini öğretecektir. Alan ne kadar basitse, o kadar iyidir. Öklid Geometrisini ciddiye aldığımda lisede öğrendiğim akıl yürütmeyle ilgili tüm öğrendiklerim. Gerisini üniversitede kalkülüs ve lineer cebir yaptı.
Bir başka çekici alternatif, insanlara ifadeler hakkında nasıl düşüneceklerini ve bilgi içeriğinin ne olduğunu ve neyin sonucu olduğunu anlamalarını öğrettikleri felsefi mantıktır. Bunu öğrencileri sembollerle boğmadan yaparlar.
En iyi Bilgisayar Bilim Adamlarının stoklarını alırsanız, kaçının felsefe konusunda resmi eğitime sahip olduğuna şaşıracaksınız. Şimdi hepsini kaybediyoruz çünkü felsefe öğrencileri Bilgisayar Bilimi'ni sıradan bir konu olarak görüyorlar. Öğrencilerimizin bir felsefe öğrenmesini sağlamak bir dereceye kadar buna karşı koyabilir. Bertrand Russell'ın Batı Felsefesi Tarihi'nde çalışmalarını sağlayın . Harikalar yaratacak.
Programlama dili teorisinde çalışırlarsa, onları anlamsal anlambilimin "tanrı babası" olarak gördüğüm Quine'yi de okuyabilirsiniz. (Quine, Christopher Strachey için büyük bir ilham kaynağı olan Word ve Object'te doğal dilin anlamsal anlambilimini gerçekleştiriyordu . Ama bu kitap oldukça zor.) Düzenlenmiş koleksiyon Quintessence , yeni başlayanlar için Quine'nin fikirlerinin güzel bir kaynağı.
[Not eklendi: Matematik felsefesinin bir avantajı öğrencilerin tartışmayı görmeleri , yani “doğru” argümanı ve “yanlış” argümanını görmeleri ve uzmanların yanlış olanları yıktığını görmeleridir. Matematikte, asla eğitim değerini sınırlayan yanlış bir argüman görmez.]