معده انسان هر سه تا چهار روز، پوشش داخلی خود را به‌طور کامل جایگزین می‌کند.

اسید موجود در معده شما آن‌قدر قوی است که می‌تواند فلز را حل کند. پس چرا خود شما را حل نمی‌کند؟

دوستت ۳ برش پیتزا خورد و تو ۲ برش. اما تو پیتزای بیشتری خوردی. چطور ممکنه؟

اگر یک شبه همه زنبورهای عسل باغچه‌ات ناپدید بشن، اولین چیزی که از کار می‌افته چیه؟

دگرگون می‌شوم، اما به همان صورت بازمی‌گردم.

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

آشنایی‌های اولیه با ریاضی می‌تواند گمراه‌کننده باشد. ریاضیات در ظاهر درباره یاد گرفتن قواعد است، اینکه چگونه و چه زمانی باید از ترفندهای قدیمی استفاده کرد تا به یک پاسخ رسید. پژوهش ریاضی در اصل یک کنش خلاقانه است. گفته می‌شود که وقتی دیوید هیلبرت، که شاید تأثیرگذارترین ریاضیدان اروپای اواخر قرن نوزدهم و اوایل قرن بیستم بود، شنید یکی از همکارانش برای دنبال کردن ادبیات داستانی از ریاضیات کنار کشیده است، با طعنه گفت: او به اندازه کافی برای ریاضیات imagination نداشت.

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

an informal mathematical statement is a theorem if and only if its formal counterpart has a formal derivation.

Too many proofs look more like LSD trips than coherent mathematical arguments.

اگر اثبات خود را در یک زبان صوری مانند Coq یا Lean صورت‌بندی کرده باشید، پس قطعا یک اثبات دارید.