کشف آتش، یا دقیق تر بگوییم استفاده کنترل شده از آتش به خاطر ضرورتی که داشته، یکی از اولین اکتشافات بشر به شمار می رود. اهدافی که آتش برای آنها مورد استفاده قرار می گرفته متعدد بوده است. آتش برای اضافه کردن به نور و گرما، طبخ گیاهان و حیوانات، پاک کردن جنگل ها از درخت به منظور کاشت گیاهان، ساخت ابزارهای سنگی، دور نگهداشتن جانوران درنده و سوزاندن خاک رس برای ساخت اشیای سرامیکی مورد استفاده قرار می گرفته است. بی شک در استفاده از آتش اهداف اجتماعی نیز وجود داشته است شامل: به عنوان مکان های گردهمایی، برای علامت به کسانی که دور از اردوگاه بودند و به عنوان فضاهایی برای فعالیت های خاص.

برهان عکس نقیض یکی از روش‌های مهم برای اثبات گزاره‌های شرطی در ریاضیات است. اگر گزاره‌ای به صورت \(P \rightarrow Q\) باشد، عکس نقیض آن \( \lnot Q \rightarrow \lnot P \) است و این دو گزاره از نظر منطقی هم‌ارز هستند. بنابراین می‌توان به جای اثبات مستقیم گزاره، عکس نقیض آن را اثبات کرد.

در این روش، به جای شروع از فرض \(P\) و رسیدن به \(Q\)، فرض می‌کنیم \(Q\) نادرست است و نشان می‌دهیم که در نتیجه \(P\) نیز نمی‌تواند درست باشد. این روش به‌ویژه زمانی مفید است که کار با \( \lnot Q \) ساده‌تر از کار با \(P\) باشد. در این مقاله تعریف دقیق برهان عکس نقیض، رابطه منطقی آن با گزاره اصلی، مراحل اجرای اثبات، تفاوت آن با برهان خلف و چند مثال حل‌شده بررسی می‌شود.

دانشمندان گنجینه عظیم و متنوعی از حیات را در اعماق عمیق ترین گودال جهان و غارهای لبریز از آب آن پیدا كرده اند. این گودال به حدی عمیق است كه حتی نور خورشید به بخش های پایینی آن نمی رسد. كشف موجودات زنده در اعماق گودال زاكوتان واقع در شمال شرقی مكزیك، توانایی توسعه حیات حتی در صعب ترین شرایط آب و هوایی را اثبات می كند. تحقیقی كه برای كشف حیات در این گودال انجام شده، می تواند به پژوهش ها درباره امكان وجود حیات در سایر نقاط منظومه شمسی، ازجمله یكی از ماه های سیاره مشتری به نام اروپا، كمك كند.