ريموند سموليان
ريمون ميريل سموليان   (25مايو 1919 - 6 فبراير 2017) كان عالم رياضيات، ساحرا، عازف بيانو حفلات، عالم منطق، طاويا، وفيلسوفا أمريكيا.

ولد في فار روكواي، نيويورك، كانت مهنته الأولى خدع السحر. حصل على درجة البكالوريوس من جامعة شيكاغو في عام 1955 وشهادة الدكتوراة من جامعة برينستون في عام 1959. وهو واحد من العديد من علماء المنطق الذين درسوا مع ألونزو تشرتش.

حياته 
وُلد ريمون في مدينة فار روكواي في نيويورك لوالدين يهوديين من أوروبا الشرقية (كانا يتسميان في الأصل باسم شموليان)، وأظهر موهبته الموسيقية منذ صغره، ففاز بميدالية ذهبية في مسابقة البيانو عندما كان يبلغ من العمر 12 عامًا. في العام التالي، انتقلت عائلته إلى مانهاتن وحضر مدرسة ثيودور روزفلت الثانوية في برونكس، التي قدمت دروسًا تناسب مواهبه الموسيقية. غادر للدراسة المنفردة لأن المدرسة لم تقدم دورات مماثلة في الرياضيات. درس الرياضيات والموسيقى في العديد من الكليات (بما في ذلك جامعة المحيط الهادئ وكلية ريد) قبل حصوله على شهادة البكالوريوس من جامعة شيكاغو في عام 1955 ودرجة الدكتوراة في الرياضيات من جامعة برينستون في عام 1959.

أثناء دراسته للدكتوراة، نشر سموليان ورقة بحثية في عام 1957 في Journal of Symbolic Logic  تبين أن عدم الاكتمال الجودلي المحتفظ به للنظم الشكلية أكثر بدائية بكثير من ورقة Gödel التاريخية عام 1931. إن الفهم المعاصر لنظرية غودل يرجع إلى هذه الورقة عام 1931. قدم سموليان في وقت لاحق حجة مقنعة مفادها أن الكثير من سحر نظرية غودل يجب أن يكون موجهاً إلى نظرية تارسكي، التي يسهل إثباتها ومثيرة للقلق فلسفيا.

كتب سميليان العديد من الكتب عن الرياضيات الترفيهية والمنطق الترفيهي. أبرزها ما هو اسم هذا الكتاب؟  كتابه دليل المبتدئ الآخر للمنطق الرياضياتي  المنشور عام 2017 كان كتابه الأخير.

وكان أستاذا للفلسفة في كلية ليمان، ومركز الدراسات العليا في جامعة CUNY وجامعة إنديانا. كما كان فلكيا هاويا، مستخدما تلسكوبا عاكسا قياسه ستة بوصات، حيث قام بتثبيت مرآته. كان مارتن غاردنر صديقاً مقرباً.

مسائل المنطق 
العديد من مشاكل المنطق هي امتدادات للألغاز الكلاسيكية. لغز الفرسان والأشرار ينطوي على الفرسان (الذين يقولون الحقيقة دائما) والأشرار (الذين يكذبون دائما). هذا مبني على قصة بابين وحارسين، أحدهما يروي الأكاذيب والآخر يروي الحقيقة. باب واحد يؤدي إلى السماء وآخر للجحيم، واللغز هو معرفة أي باب يؤدي إلى السماء من خلال طرح سؤال لأحد الحراس. إحدى الطرق للقيام بذلك هي أن تسأل: «أي باب سيقوله الحارس الآخر يؤدي إلى الجحيم؟». اشتهرت هذه الفكرة في فيلم «متاهة» عام 1986.

في الألغاز الأكثر تعقيدًا، يقدم شخصيات قد تكذب أو تقول الحقيقة (يشار إليها باسم «العاديون»)، وعلاوة على ذلك، بدلاً من الإجابة «بنعم» أو «لا»، استخدم كلمات تعني «نعم» أو «لا»، ولكن لا يعرف القارئ أي كلمة تعني. ويستند اللغز المعروف باسم «أصعب لغز منطقي على الإطلاق» على هذه الشخصيات والمواضيع. في أحجياته المسماة ترانسيلفانيا، نصف السكان مجانين، ويؤمنون بالأشياء الخاطئة فقط، بينما النصف الآخر عاقلون ويؤمنون بالأشياء الحقيقية فقط. بالإضافة إلى ذلك، يقول البشر دائمًا الحقيقة، ومصاصي الدماء دائمًا يكذبون. على سبيل المثال، مصاص دماء مجنون سيؤمن بشيء زائف (2 + 2 ليس 4) ولكن سوف يكذب بشأنها، ويقول إنها خاطئة. يعرف مصاص دماء عاقل أن 2 + 2 هو 4، لكنه يكذب ويقول أنه ليس كذلك. ومع ما يلزم من تبديل للبشر. وهكذا، فإن كل شيء يقوله إنسان عاقل أو مصاص دماء مجنون يكون صحيحًا، في حين أن كل شيء يقوله الإنسان المجنون أو مصاص دماء عاقل غير صحيح.

كتابه «غير مقرر إلى الأبد» نشر نظريات عدم الاكتمال لغودل عن طريق صياغتها من حيث المفكرين ومعتقداتهم، بدلاً من الأنظمة الرسمية وما يمكن إثباته فيها. على سبيل المثال، إذا قال مواطن من جزيرة الفرسان والأشرار لمُفكر ذو معرفة ذاتية كافية، «لن تصدق أبداً أنني فارس»، لا يستطيع المُعتقِد أن يصدق إما أن الشخص الأصلي هو فارس أو أنه شرير دون أن تصبح غير متسق (متناقض) (أي الإيمان بفكرتين متناقضتين). النظرية المكافئة هي أنه لأي نظام رسمي S ، يوجد بيان رياضي يمكن تفسيره على أنه «لا يمكن إثبات هذا البيان في النظام الرسمي S». إذا كان النظام S متناسقاً، فلن يتم إثبات البيان أو عكسه. انظر أيضا منطق دوكساستيك.

المفتش كريغ هو شخصية متكررة في قصص ألغاز سموليان. وعادة ما يتم استدعاؤه إلى مسرح الجريمة التي لها حل رياضي بطبيعته. ثم، من خلال سلسلة من التحديات الأصعب، يبدأ (والقارئ) في فهم المبادئ المعنية. وأخيراً، تتوج الرواية بأن يقوم المفتش كريغ (والقارئ) بحل الجريمة، باستخدام المبادئ الرياضية والمنطقية المستفادة. عموما المفتش كريغ لا يتعلم النظرية الرسمية المطلوبة، ويحفظ عادة سموليان بضعة فصول بعد مغامر المفتش كريغ لإلقاء الضوء على طريقة القياس للقارئ. المفتش كريج حصل على اسمه من وليام كريج. 
[ بحاجة لمصدر ]
كتابه «السخرية من الطائر المحاكي» (1985) هو مقدمة ترفيهية لموضوع المنطق التوفيقي.

وبصرف النظر عن الكتابة حول المنطق وتدريسه، أصدر سموليان تسجيل لوحة المفاتيح الباروكية المفضلة له وقطع العزف على البيانو الكلاسيكية من قبل الملحنين مثل باخ، وسكارلاتي، وشوبرت. تتوفر بعض التسجيلات على موقع جمعية البيانو، إلى جانب الفيديو "Rambles، Reflections، Music and Readings". كما كتب سيرته الذاتية بعنوان «بعض الذكريات المثيرة للاهتمام: حياة متناقضة» .

في عام 2001، صنع مخرج الأفلام الوثائقية تاو روسبولي فيلمًا عن سموليان بعنوان «هذا الفيلم لا يحتاج إلى عنوان: صورة لريموند سموليان» .

فلسفة 
كتب سميليان العديد من الكتب عن الفلسفة الطاوية، وهي فلسفة كان يعتقد أنها حلت بدقة معظم أو كل المشاكل الفلسفية التقليدية وكذلك دمجت الرياضيات والمنطق والفلسفة في كلٍّ متماسك. تركز إحدى نقاشات سموليان حول الفلسفة الطاوية على مسألة الإرادة الحرة في محادثة متخيلة بين الإنسان البشري والله.

منشورات مختارة

الألغاز المنطقية 

 (1978) ما هو اسم هذا الكتاب؟ لغز دراكولا وغيرها من الألغاز المنطقية  - الفرسان والأشرار والألغاز المنطقية الأخرى
 (1979) ألغاز شطرنج شيرلوك هولمز  - تقديم تحليل رجعي في لعبة الشطرنج.
 (1981) الشطرنج الغامض للفرسان العرب  - الكتاب الثاني حول مشاكل الشطرنج التحليلي.
 (1982) السيدة أم النمر؟  ISBN   0812921178 - السيدات والنمور، والمزيد من ألغاز المنطق
 (1982) أليس في أرض الألغاز 
 (1985) السخرية من الطائر المحاكي  - الألغاز على أساس المنطق الجمعي
 (1987) للأبد غير محدد  - الألغاز على أساس غير قابلية التحديد في النظم الرسمية
 (1992) الشيطان، كانتور واللانهائية 
 (1997) لغز شهرزاد 
 (2007) The Magic Garden of George B. And Other Logic Puzzles  ، Polimetrica (Monza / Italy)
 (2009) المتاهات المنطقية  ، AK Peters
 (2010) الملك آرثر بحثا عن كلبه 
 (2013) كتاب Godelian Puzzle: الألغاز والمفارقات والإثباتات 
 (2015) The Magic Garden of George B and Other Logic Puzzles

فلسفة / مذكرات 

 (1977) الطاو الصامت 
 (1980) هذا الكتاب لا يحتاج إلى عنوان 
 (1983) 5000 قبل الميلاد وغيرها من الأوهام الفلسفية 
 (2002) بعض الذكريات المثيرة للاهتمام: حياة متناقضة 
 (2003) من يعرف؟: دراسة الوعي الديني 
 (2009) متاهة من خلال مكتبتي  ، براكسيس الدولية
 (2015) تأملات: السحر والموسيقى والرياضيات من ريمون سموليان 
 (2016) حقيبة مختلطة: نكت، أحجيات، ألغاز وذكريات

أكاديمي 

 (1961) نظرية النظم الرسمية 
 (1968)لمنطق لدرجة الأولى 
 (1992) نظريات عدم اكتمال Gödel 
 (1993) نظرية التكرار للرياضياتيين 
 (1994) Diagonalization and Self-Reference 
 (1996) مجموعة النظرية ومشكلة الاستمرارية 
 (2014) دليل المبتدئين إلى المنطق الرياضي 
 (2016) دليل إضافي للمبتدئين إلى المنطق الرياضي

قائمة المراجع 

 هل الله طاوي؟ بقلم ريموند سموليان، 1977.
 كوكب دون ضحك بقلم ريموند سموليان، 1980.
 كابوس معرفي بقلم ريموند سميليان، 1982.

انظر أيضا 
 مغامرات أليس في بلاد العجائب
 المفارقة
 السيدة، أو النمر

المراجع

روابط خارجية 
 

 ريموند سموليان: الموقع في جامعة إنديانا.
 ريمون سمليان في أرشيف ماكتور لتاريخ الرياضيات.
 ريمون سمليان في مشروع علم الأنساب في الرياضيات.
 ريموند سميليان في جمعية البيانو

أعضاء هيئة تدريس جامعة إنديانا
خريجو جامعة برنستون
خريجو جامعة شيكاغو
رياضياتيون أمريكيون في القرن 20
رياضياتيون أمريكيون في القرن 21
رياضياتيون من ولاية نيويورك
سحرة أمريكيون
طاويون أمريكيون
عازفو بيانو أمريكيون
عازفو بيانو كلاسيكي أمريكيون
عازفو بيانو كلاسيكيون ذكور
فلاسفة أمريكيون في القرن 20
فلاسفة أمريكيون في القرن 21
كتاب شطرنج أمريكيون
كتاب غير روائيين ذكور أمريكيون
منطقيون أمريكيون
مواليد 1919
وفيات 2017
ريمون ميريل سموليان ايو - فبرايركان عالم رياضيات ، ساحرا ، عازف بيانو حفلات ، عالم منطق ، طاويا ، وفيلسوفا أمريكيا . ولد في فار روكواي ، نيويورك ، كانت مهنته الأولى خدع ال سحر . حصل على درجة البكالوريوس من جامعة شيكاغو في عاموشهادة الدكتوراة من جامعة برينستون في عام و هو واحد من العديد من علماء المنطق الذين درسوا مع ألونزو تشرتش . حياة ه وُلد ريمون في مدينة فار روكواي في نيويورك لو الدين يهوديين من أوروبا الشرقية ( كانا يتسميان في الأصل ب اسم شموليان ) ، وأظهر موهبة ه الموسيقية منذ صغره ، ف فاز بميدالية ذهبية في مسابقة البيانو عندما كان يبلغ من العمرعامًا . في العام التالي ، انتقلت عائلة ه إلى مانهاتن و حضر مدرسة ثيودور روزفلت الثانوية في برونكس ، التي قدمت دروسًا تناسب مواهبه الموسيقية . غادر للدراسة المنفردة لأن المدرسة لم تقدم دورات مماثلة في الرياضيات . درس الرياضيات والموسيقى في العديد من الكليات ( ب ما في ذلك جامعة المحيط الهادئ و كلية ريد ) قبل حصول ه على شهادة البكالوريوس من جامعة شيكاغو في عامودرجة الدكتوراة في الرياضيات من جامعة برينستون في عام أثناء دراسة ه للدكتوراة ، نشر سموليان ورقة بحثية في عامفي Journal of Symbolic Logic تبين أن عدم الاكتمال الجودلي المحتفظ ب ه ل النظم الش كلية أكثر بدائية ب كثير من ورقة Gödel التاريخية عام إن الفهم المعاصر ل نظرية غودل يرجع إلى هذه الورقة عام قدم سموليان في وقت لاحق حجة مقنعة مفاد ها أن الكثير من سحر نظرية غودل يجب أن يكون موجهاً إلى نظرية تارسكي ، التي يسهل إثبات ها ومثيرة ل القلق فلسفيا . كتب سميليان العديد من الكتب عن الرياضيات الترفيهية والمنطق الترفيهي . أبرز ها ما هو اسم هذا الكتاب ؟ كتاب ه دليل المبتدئ الآخر للمنطق الرياضياتي المنشور عامكان كتاب ه الأخير . و كان أستاذا للفلسفة في كلية ليمان ، و مركز الدراسات العليا في جامعة CUNY و جامعة إنديانا . كما كان فلكيا هاويا ، مستخدما تلس كوبا عاكسا قياسه ستة بوصات ، حيث قام ب تثبيت مرآته . كان مارتن غاردنر صديقاً مقرباً . مسائل المنطق العديد من مشاكل المنطق هي امتدادات للألغاز الكلاسيكية . لغز الفرسان والأشرار ينطوي على الفرسان ( الذين يقولون الحقيقة دائما ) والأشرار ( الذين يكذبون دائما ) . هذا مبني على قصة بابين وحارسين ، أحد هما يروي الأكاذيب و الآخر يروي الحقيقة . باب واحد يؤدي إلى السماء و آخر للجحيم ، واللغز هو معرفة أي باب يؤدي إلى السماء من خلال طرح سؤال ل أحد الحراس . إحدى الطرق ل القيام ب ذٰلك هي أن تسأل : « أي باب سي قول ه الحارس الآخر يؤدي إلى الجحيم ؟ » . اشتهرت هذه الفكرة في فيلم « متاهة » عام في الألغاز الأكثر تعقيدًا ، يقدم شخصيات قد تكذب أو تقول الحقيقة ( يشار إلي ها ب اسم « العاديون » ) ، وعلاوة على ذلك ، بدلاً من الإجابة « بنعم » أو « لا » ، استخدم كلمات تعني « نعم » أو « لا » ، و لٰكن لا يعرف القارئ أي كلمة تعني . ويستند اللغز المعروف ب اسم « أصعب لغز منطقي على الإطلاق » على هذه الشخصيات والمواضيع . في أحجيات ه المسماة ترانسيلفانيا ، نصف السكان مجانين ، ويؤمنون بالأشياء الخاطئة فقط ، بينما النصف الآخر عاقلون ويؤمنون بالأشياء الحقيقية فقط . ب الإضافة إلى ذلك ، يقول البشر دائمًا الحقيقة ، ومصاصي الدماء دائمًا يكذبون . على سبيل المثال ، مصاص دماء مجنون س يؤمن ب شيء زائف + ليسو لٰكن سوف يكذب ب شأن ها ، و يقول إن ها خاطئة . يعرف مصاص دماء عاقل أن + هو لٰكن ه يكذب و يقول أن ه ليس كذلك . و مع ما يلزم من تبديل للبشر . وهكذا ، ف إن كل شيء ي قول ه إنسان عاقل أو مصاص دماء مجنون يكون صحيحًا ، في حين أن كل شيء ي قول ه الإنسان المجنون أو مصاص دماء عاقل غير صحيح . كتاب ه « غير مقرر إلى الأبد » نشر نظريات عدم الاكتمال لغودل عن طريق صياغة ها من حيث ال مفكرين ومعتقدات هم ، بدلاً من الأنظمة الرسمية و ما يمكن إثبات ه في ها . على سبيل المثال ، إذا قال مواطن من جزيرة الفرسان والأشرار لمُفكر ذو معرفة ذاتية كافية ، « لن تصدق أبداً أن ني فارس » ، لا يستطيع المُعتقِد أن يصدق إما أن الشخص الأصلي هو فارس أو أن ه شرير دون أن تصبح غير متسق ( متناقض ) ( أي الإيمان بفكرتين متناقضتين ) . ال نظرية المكافئة هي أن ه ل أي نظام رسمي S ، يوجد بيان رياضي يمكن تفسير ه على أن ه « لا يمكن إثبات هذا البيان في النظام الرسمي S » . إذا كان النظام S متناسقاً ، ف لن يتم إثبات البيان أو عكسه . انظر أيضا منطق دوكساستيك . المفتش كريغ هو شخصية متكررة في قصص ألغاز سموليان . وعادة ما يتم استدعاء ه إلى مسرح الجريمة التي ل ها حل رياضي بطبيعة ه . ثم ، من خلال سلسلة من التحديات الأصعب ، يبدأ ( والقارئ ) في ف هم المبادئ المعنية . و أخيرا ، تتوج الرواية ب أن يقوم المفتش كريغ ( والقارئ ) ب حل الجريمة ، ب استخدام المبادئ الرياضية والمنطقية المستفادة . عموما المفتش كريغ لا يتعلم ال نظرية الرسمية المطلوبة ، ويحفظ عادة سموليان بضعة فصول بعد مغامر المفتش كريغ لإلقاء الضوء على طريقة القياس للقارئ . المفتش كريج حصل على اسم ه من وليام كريج . [ ب حاجة لمصدر ] كتاب ه « السخرية من الطائر المحاكي » هو مقدمة ترفيهية لموضوع المنطق التوفيقي . وبصرف النظر عن الكتابة حول المنطق وتدريس ه ، أصدر سموليان تسجيل لوحة المفاتيح الباروكية المفضلة ل ه و قطع العزف على البيانو الكلاسيكية من قبل الملحنين مثل باخ ، وسكارلاتي ، وشوبرت . تتوفر بعض التسجيلات على موقع جمعية البيانو ، إلى جانب الفيديو " R ambles ، Reflectio ns ، Music and Readings " . كما كتب سيرة ه الذاتية ب عنوان « بعض الذكريات المثيرة للاهتمام : حياة متناقضة » \ . في عام صنع مخرج الأفلام الوثائقية تاو روسبولي فيلمًا عن سموليان ب عنوان « هذا الفيلم لا يحتاج إلى عنوان : صورة لريموند سموليان » \ . فلسفة كتب سميليان العديد من الكتب عن الفلسفة الطاوية ، و هي فلسفة كان يعتقد أن ها حلت ب دقة معظم أو كل المشاكل الفلسفية التقليدية و كذٰلك دمجت الرياضيات والمنطق و الفلسفة في كلٍّ متماسك . تركز إحدى نقاشات سموليان حول الفلسفة الطاوية على مسألة ا الإرادة الحرة في محادثة متخيلة بين الإنسان البشر ي و اللٰه . منشورات مختارة الألغاز المنطقية ما هو اسم هذا الكتاب ؟ لغز دراكولا و غير ها من الألغاز المنطقية - الفرسان والأشرار والألغاز المنطقية الأخرى ألغاز شطرنج شيرلوك هولمز - تقديم تحليل رجعي في لعبة الشطرنج . الشطرنج الغامض للفرسان العرب - الكتاب الثاني حول مشاكل الشطرنج التحليلي . السيدة أم النمر ؟ ISBN - السيدات والنمور ، و المزيد من ألغاز المنطق أليس في أرض الألغاز السخرية من الطائر المحاكي - الألغاز على أساس المنطق الجمعي للأبد غير محدد - الألغاز على أساس غير قابلية ال تحديد في النظم الرسمية الشيطان ، كانتور واللانهائية لغز شهرزاد The Magic Garden of George B . And Other Logic Puzzles ، Polimetrica ( Monza / Italy ) المتاهات المنطقية ، AK Peters الملك آرثر بحثا عن كلب ه كتاب Godelian Puzzle : الألغاز والمفارقات والإثباتات The Magic Garden of George B and Other Logic Puzzles فلسفة / مذكرات الطاو الصامت هذا الكتاب لا يحتاج إلى عنوان 5000 قبل الميلاد و غير ها من الأوهام الفلسفية بعض الذكريات المثيرة للاهتمام : حياة متناقضة من يعرف ؟ : دراسة الوعي الديني متاهة من خلال مكتبتي ، براكسيس الدولية تأملات : ال سحر والموسيقى والرياضيات من ريمون سموليان حقيبة مختلطة : نكت ، أحجيات ، ألغاز وذكريات أكاديمي نظرية النظم الرسمية منطق ل درجة الأولى نظريات عدم اكتمال Gödel نظرية ال تكرار للرياضياتيين Diagonalization and Self - Reference مجموعة ال نظرية و مشكلة الاستمرارية دليل المبتدئين إلى المنطق الرياضي دليل إضافي للمبتدئين إلى المنطق الرياضي قائمة المراجع هل الله طاوي ؟ ب قلم ريموند سموليان ، كوكب دون ضحك ب قلم ريموند سموليان ، كابوس معرفي ب قلم ريموند سميليان ، انظر أيضا مغامرات أليس في بلاد العجائب المفارقة السيدة ، أو النمر المراجع روابط خارجية ريموند سموليان : الموقع في جامعة إنديانا . ريمون سمليان في أرشيف ماكتور لتاريخ الرياضيات . ريمون سمليان في مشروع علم الأنساب في الرياضيات . ريموند سميليان في جمعية البيانو أعضاء هيئة تدريس جامعة إنديانا خريجو جامعة برنستون خريجو جامعة شيكاغو رياضياتيون أمريكيون في القرن رياضياتيون أمريكيون في القرن رياضياتيون من ولاية نيويورك سحرة أمريكيون طاويون أمريكيون عازفو بيانو أمريكيون عازفو بيانو كلاسيكي أمريكيون عازفو بيانو كلاسيكيون ذكور فلاسفة أمريكيون في القرن فلاسفة أمريكيون في القرن كتاب شطرنج أمريكيون كتاب غير روائيين ذكور أمريكيون منطقيون أمريكيون مواليد وفيات