Suugaku Girl: Godel no Fukanzensei Teiri

Mathematical Girls: Godel's Incompleteness Theorems

Suugaku Girl: Godel no Fukanzensei Teiri

数学ガール ゲーデルの不完全性定理

"I" (Boku) love math. Just after the high school entrance ceremony, "I" meet a beautiful girl: Milka. Milka is a mathematical genius. She gives me many math problems, she shows me many elegant solutions. Milka and I spend a long time by discussing math in the school library.

One year later, I meet another mathematical girl: Tetra. Tetra is one year younger than me, and asks me to teach her math. While I teach her, she begins to understand math and to love its elegance gradually.

In the third series, we talk about logic puzzles, Peano arithmetic, epsilon-delta, Cantor's diagonal argument, Hilbert's program and Gödel's Incompleteness Theorems.