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

او تا حد امکان سعی می‌کرد از ریاضی دوری کند. پدرش یک‌ بار تلاش کرد از روی یک کتاب به او درس بدهد، اما به‌جای حل کردن مساله‌ها، جواب‌ها را از آخر کتاب کپی می‌کرد. وقتی پدرش متوجه شد، آن صفحات را پاره کرد، 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 صورت‌بندی کرده باشید، پس قطعا یک اثبات دارید.

یه ریاضیدان با ماشین زمان می‌ره به ۲۰۰۰ سال پیش و به مردم اون زمان
statistical mechanics
درس می‌ده. با خودش اسلحه، کلی مهمات و یه فرهنگ لغت لاتین یا یونانی هم می‌بره تا به صلیب نکشندش.

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

فقط یک دهم درصد از ریاضیدان‌های دنیا اثبات رو درک می‌کنند.