تورنغ في ورقته البحثية( On Computable Numbers ) الذي اسس فيها علوم… — تأملات رياضية ومنطقية

تأملات رياضية ومنطقية@factmath · 1.6K subscribers Open in TelegramOpen

Fact Logicحرفيا هذا كانتور وهو يكتب برهان uncountable set و يبدا ازمة الاسس ( منها نشات الرياضيات الحديثة و علوم الحاسوب وما يتفرع منهم)

تورنغ في ورقته البحثية( On Computable Numbers )
الذي اسس فيها علوم الحاسوب النظرية
استعمل برهان كانتور القطري ليثبت امتناع خوارزمية عامه لمسالة التوقف في الآلات القابلة للحساب 😆

t.me/factmath/576 Translate