برهان الاستحالة

N write.svg
تعرَّف على طريقة التعامل مع هذه المسألة من أجل إزالة هذا القالب.هذه مقالة غير مراجعة. ينبغي أن يزال هذا القالب بعد أن يراجعها محرر مغاير للذي أنشأها؛ إذا لزم الأمر فيجب أن توسم المقالة بقوالب الصيانة المناسبة. يمكن أيضاً تقديم طلب لمراجعة المقالة في الصفحة المخصصة لذلك. (أكتوبر 2018)

برهان الاستحالة هو برهان يدل على عدم إمكانية حل مشكلة معينة، أو لا يمكن حلها بشكل عام. لإثبات أن هناك شيئاً مستحيلاً عادة ما يكون أصعب بكثير من مهمة إثبات احتماليته.[1] نظريات الاستحالة عادة يمكن التعبير عنها كمسائل كونية في المنطق.

أمثلةعدل

أحد أشهر براهين الاستحالة كان برهان فيردينوند فون ليندمان في عام 1882، الذي بين أن مسألة تربيع الدائرة القديمة لا يمكن حلها، لأن العدد باي عدد متسام وغير جبري وفقط الأعداد الجبرية يمكن بناؤها عن طريق المسطرة والفرجار. وتم أيضاً إثبات استحالة مسألتين كلاسيكيتين في القرن التاسع عشر وهن تثليث الزاوية ومضاعفة المكعب.

مصادرعدل

  1. ^ Pavel Pudlák, Logical Foundations of Mathematics and Computational Complexity. A Gentle Introduction, Springer 2013. (See Chapter 4 "Proofs of impossibility".)
 
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. شارك في تحريرها.