dustpan = خاک انداز  _ cleanser =مایع پاک کننده _ cleanser =مایع پاک کننده 

جیمز هاتن (1726-1797) بنیان گذار زمین شناسی مدرن بود. او مفاهیمی که مردم از از زمین و جهان داشتند را تغییر داد. هاتن این کار را با مطالعه سنگ ها انجام داد. سنگ های عادی پیام ها و اطلاعاتی درباره زمین و جهان در خود دارند که جیمز هاتن موفق به رمزگشایی از این پیام ها شد.
جیمز هاتن کشف کرد سن سیاره ما زمین خیلی بیشتر از آنی است که همه فکر می کردند. (برای کسب اطلاع درباره چگونگی به دست آمدن سن زمین می توانید به مطلب سن زمین چگونه تعیین می شود؟ مراجعه کنید.) او به جای این که بر آن چیزی که همه می دانستند یا نوشته شده بود تکیه کند، شواهد مربوط به سن زمین را از طریق چشمانش جمع آوری کرد. قبل از کاری که هاتن انجام داد به عنوان مثال در غرب پذیرفته شده بود که سن زمین حدود 6000 سال است. غربی ها این عدد را براساس تفسیر خود از زمان بندی کتاب مقدس مسیحیان به دست آورده بودند.

روش‌های اثبات در ریاضیات مجموعه‌ای از شیوه‌های منطقی برای نشان‌دادن درستی یا نادرستی گزاره‌های ریاضی هستند. انتخاب روش مناسب، به ساختار منطقی گزاره، نوع فرض‌ها، دامنه متغیرها و شکل نتیجه بستگی دارد. در این مقاله، چارچوب کلی اثبات ریاضی و تفاوت میان اثبات مستقیم، برهان خلف، برهان عکس نقیض، اثبات با تفکیک حالات، استقرا، استقرای قوی و مثال نقض بررسی می‌شود.

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