تحية طيبة

قد لا أتمكن من الرد على كامل ردك السابق، لذا، سأقوم بالرد عليه على هيئة أجزاء، جزء كلما يتسنى لي الرد وكلما أتيح لي وقت.
بخصوص مبرهنة عدم الإكتمال لجودل واستعمالها في اثبات انه من المستحيل الوصول الى Strong AI
تقول حضرتك
استحالة قيام الحاسوب بكل ما يقوم به العقل هي استحالة مبرهنة رياضيا,, راجع Godel's theorem
-الفرضية ليست اثبات مبرهن رياضي بل مجرد فرضية فلسفية، حيث انه اصلا لا توجد معادلات رياضية للدماغ حتى يتم التعامل معها.
المحاولة الأساسية كانت من
John Lucas
http://en.wikipedia.org/wiki/John_Lucas_(philosopher)
في كتابه
Minds, Machines and Godel(1959)
ومحاولة
Roger Penrose
في كتابه
Shadows of the Mind
-يوجد اثباتات فلسفية تدحض هذه النظرية الفلسفية.
Judson C. Webb
في كتابه
Mechanism, Mentalism, and mathematics: An Essay on Finitism
ردا على John Lucas
و كل من
Hilary Putnam
Hilary Putnam, Review of Shadows of the Mind
و
Martin Davis
يرد على Roger Penrose
يوجد العديد من علماء الرياضيات والحاسوب وفلاسفة ممن ردوا على محاولة Penrose
قائمة بكل الناقدين لهذه الفرضية بكل اصداراتهم
أعتقد أن هذه القائمة لوحدها كافية !
- يوجد فرضيات فلسفية تستعمل نفس مبرهنة جودل في دعم انه من الممكن الوصول لحاسوب يقوم بما يقوم به الانسان!!
How Gödel‘s Theorem Supports the Possibility of Machine Intelligence
- يوجد من يقول بعدم جواز اي من المحاولتين المتضادتين
مقالة
Gödel pro and contra AI: dismissal of the case
تقول المقدمة
Godel’s incompleteness theorem is used by both advocates and adversaries of strong AI to show that computers can(not) perform the same feats as humans. This article extends the construction through which Godel proved his theorem, in order to allow a broader interpretation, showing that neither side has exploited its arguments to the fullest extent, and that the evidence can never be conclusive.
وبنهاية المقالة
Therefore, the matter is undecidable.
يمكنك قراءتها كاملة
وأيضا
Irrelevance and relevance of Gödel's theorems to artificial intelligence
للأسف لم أتحصل على نسخة كاملة مجانية من البحث
فقط خلاصة تقول
Considers whether Gödel's results preclude the possibility or the impossibility of the artificial intelligence (AI) thesis; and also what the (possible) applications or consequences of them are for AI research. Shows that while the limitative Gödel's results are shown to preclude neither the possibility nor the impossibility of the AI thesis, they have and will continue to shed significant light on the development of the AI field.
-العديد من علماء الرياضيات والفلسفة وعلوم الحاسوب لا يؤمنون بصحة هذه الفرضية القائلة باستحالة الوصول لـStrong AI.
أمثال
Gregory J. Chaitin
و
John McCarthy
http://en.wikipedia.org/wiki/John_Mc...uter_scientist)
و
Jacob Schwartz
يقول الأول
I am indebted to John McCarthy and especially to Jacob Schwartz for making me realize that Godel's theorem is not an obstacle to a practical AI (artificial intelligence) system based on formal logic.
عدا ذلك، يبدو لي غريباً أن تكون امكانية التوصل الى الذكاء الاصطناعي الكامل مستحيلة في الوقت الذي نرى كل هذه المعاهد والشركات والتقنيات التي تعنى بهذا المجال، هل كل هذا مضيعة للوقت والمال والجهد؟!
Vernor_Vinge يتوقع تحقق Technological singularity قبل عام 2030
ويتوقع بعدها نهاية عصر الانسان
الـ Strong AI مدعوم ويؤمن به كثير من علماء الرياضيات والحاسوب، ولا مجال للقول باستحالته.
وسيتحقق قريباً
تحياتي




Leave a comment: