برهان الاستحالة
برهان الاستحالة هو برهان يدل على عدم إمكانية حل مشكلة معينة، أو لا يمكن حلها بشكل عام. لإثبات أن هناك شيئاً مستحيلاً عادة ما يكون أصعب بكثير من مهمة إثبات احتماليته.[1] نظريات الاستحالة عادة يمكن التعبير عنها كمسائل كونية في المنطق.
هذه مقالة غير مراجعة. ينبغي أن يزال هذا القالب بعد أن يراجعها محرر مغاير للذي أنشأها؛ إذا لزم الأمر فيجب أن توسم المقالة بقوالب الصيانة المناسبة. يمكن أيضاً تقديم طلب لمراجعة المقالة في الصفحة المُخصصة لذلك. (أكتوبر 2018)
أمثلة
أحد أشهر براهين الاستحالة كان برهان فيردينوند فون ليندمان في عام 1882، الذي بين أن مسألة تربيع الدائرة القديمة لا يمكن حلها، لأن العدد باي عدد متسام وغير جبري وفقط الأعداد الجبرية يمكن بناؤها عن طريق المسطرة والفرجار. وتم أيضاً إثبات استحالة مسألتين كلاسيكيتين في القرن التاسع عشر وهن تثليث الزاوية ومضاعفة المكعب.
مصادر
- Pavel Pudlák, Logical Foundations of Mathematics and Computational Complexity. A Gentle Introduction, Springer 2013. (See Chapter 4 "Proofs of impossibility".)
بوابة رياضيات
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.