Mathematical Girls - Gödel's Incompleteness Theorems

Tiêu đề: Mathematical Girls - Định lý Bất toàn Gödel

Mô tả:
"Boku" (tôi) yêu toán học. Ngay sau lễ nhập học trung học, tôi gặp một cô gái xinh đẹp: Miruka. Miruka là một thiên tài toán học. Cô ấy đưa ra cho tôi rất nhiều bài toán; cô ấy chỉ cho tôi nhiều lời giải thanh lịch. Miruka và tôi dành rất nhiều thời gian thảo luận toán học trong thư viện trường. Một năm sau, tôi gặp một cô gái toán học khác: Tetra. Tetra nhỏ hơn tôi một tuổi, và nhờ tôi dạy toán cho cô ấy. Trong khi tôi dạy cô ấy, Tetra dần dần hiểu toán và yêu thích vẻ đẹp thanh lịch của nó. Trong tập thứ ba của series, chúng tôi nói về các câu đố logic, số học Peano, epsilon-delta, lập luận đường chéo Cantor, chương trình Hilbert và Định lý Bất toàn Gödel.