تصحيح برهان بيرد لمنخل إراتوستينس: برهان حول القوائم اللانهائية
2025-02-08
تصحح هذه الورقة برهانًا خاطئًا قدمه ريتشارد بيرد في كتابه *التفكير وظيفيًا باستخدام هاسكل* حول منخل إراتوستينس. يقدم بيرد تنفيذًا دائريًا قائمًا على القوائم، لكن تلميحه إلى البرهان معيب. يقدم مؤلفو هذه الورقة برهانًا كاملاً على الصحة من خلال تقديم ليما جديدة واللجوء إلى إضعاف فرضية برتراند. كما يتم استكشاف العلاقة بين هذه الخوارزمية ورؤية ديفيد تورنر لـ "البرمجة الوظيفية الكلية".