نظریههای اثبات ریاضی
اثباتگرایی منطقی منطق ریاضی
نظریههای اثبات ریاضی
اثباتگرایی منطقی منطق ریاضی
اطلاعات تکمیلی
معرفی مختصر کتاب
کتاب حاضر قرار است به چيستي اثبات رياضي بپردازد. اثبات رياضياتي، طبق نظريه سه سطحي، نظريه روشي-نهاديد، در سه سطح قياس رفتار عام و خاص و اخص، داراي سه مفهوم عام و خاص و اخص است؛ بهطوريکه مفهوم اخص اثبات حاصل تغيير مفهوم خاص و مفهوم خاص نيز حاصل تغيير مفهوم عام است. اثبات معناي عام کلمه چيزي جز استدلال رياضياتي موفق نيست. اما در معناي خاص عبارت است از استنتاجي که در مقام توجيه يا تبيين نتيجه ارائه شود و به دليل مطابقت با يک الگوي استنتاجي متفق فيه يا به دليل معرفي الگوي استنتاجي جديد با قدرت تبييني بالا براي اعضاي جامعه رياضياتي معين قانعکننده و قابلپذيرش باشد.
