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

أمثلة 

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

مصادر 

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