Mathematical Girls - Gödel's Incompleteness Theorems
Alt Names: | Mathematical Girls: Gödel's Incompleteness Theorems Suugaku Girl - Godel no Fukanzensei Teiri 数学少女-哥德尔不完备定理 数学ガール ゲーデルの不完全性定理 |
Author: | Yuuki Hiroshi |
Artist: | Matsuzaki Miyuki |
Genres: | Harem Romance School Life |
Type: | Manga (Japanese) |
Status: | Complete |
Description: | "I" (Boku) love mathematics. Just after the high school entrance ceremony, "I" meet a beautiful girl: Miruka. Miruka is a mathematical genius. She gives me many math problems; she shows me many elegant solutions. Miruka and I spend a long time 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 this third volume (series), we talk about logic puzzles, Peano arithmetic, epsilon-delta, Cantor's diagonal argument, Hilbert's program and Gödel's Incompleteness Theorems. Sequel of http://bato.to/comic/_/comics/suugaku-girl-r1550 |
Go to Mathematical Girls - Gödel's Incompleteness Theorems Forums! | Scroll Down to Comments |
Latest Forum Posts
Topic | Started By | Stats | Last Post Info | |
---|---|---|---|---|
No topics has been found for this comic. |
113 Comments
Definitely looks like LaTeX. Wow.
>nobody likes maths
Are you really that close minded?
Even following that line of reasoning, those that do like maths are a determinedly loyal fanbase, willing to put up with a little dramatic tension and manga fluff if they get what they want.
Generally stories written to inform by exploiting literary devices are much more interesting than those written merely to entice the lowest common denominator with shallow dramatic tension.
Nerd mangas are best mangas. We need more navel gazing mangas on the topics of math and science, bring us back to our roots as nerds and geeks.
I don't believe it was cancelled. It said what it wanted to (and also it was released in volume format, which I wouldn't expect of a cancelled project.)
And people read this for the romance?
The characters are fresh and interesting.
The romance was amazing. Glasses Girl had a kiss with him so it kinda left me satisfied. But I am still very sad that such a good story ended like this.
The Mc is good but he's very childish. He falls off the ranking by a little and he acts like its the end of the world. And knowing Glasses girl would be leaving he acted very immature. He deserved that slap filled with love.
Again. That Kiss left me very happy and fulfilled. If it didn't end with a kiss I'd be mad at this Manga.
She's a very moe glasses girl indeed.
I'm learning this right now in my Principles of Programming Languages class. I can never escape.
Interesting! Can you tell us about it please?
Interestingly, set theory is used in cryptography and (indirectly) to classes in object-oriented programming through duck identification principle.
Yup, fixing it. A symbol in the files' name couldn't be read so it caused uploading issues.
I read them on Forgotten Scans' website, but it looks like chapters 9 and 10 on batoto might need a reupload. A potato shows up every time I try to open them.I see; thanks for the info and the double release.
Please note that with chapter 10 the series is not complete - one chapter remains.
Thanks, good to know, but i always try to avoid pictures.
There exists well-ordering for reals too (using ZFC + axiom of choice). Of course it's different than '≤', but it exists. So it doesn't mean we need countable set to arrange our table. Actually as you said we don't need well-order (or any order) at all.
https://www.codecogs.com/latex/eqneditor.phpis good for generating pictures or links which can be embedded or downloaded of arbitrary mathematical expressions. Example at the end of the post.
The stronger meaning that sjoe mentioned is enumerability, which is exactly what they talk about in the second-to-last panel here - http://vatoto.com/read/_/350574/mathematical-girls-g%C3%B6dels-incompleteness-theorems_v2_ch8_by_dkthias/7- what they are doing in the last panel is just setting up the table, which is a visual aid. Well-ordering is the right concept to think about here - it's what enables them to draw the start of the table.
Racky is right in the generalisation though - Cantor's theorem that 2^X does not biject with X (which goes exactly along the lines of the argument presented here) doesn't need X to be orderable, it just uses the enumeration.
I think it is just a language problem. Word "order" in this case is used in it's common meaning not an mathematical one. Of course one could try to use synonymous words that are not "math related" but i don't think it's really needed.
Ah, I guess this is where my lack of pure math knowledge hinders me. I apologise if I stated something obvious. I had a look at the definition of ordering, (is this what you meant?). The statement "So if it were a countable set it should be possible to put it in order" is not wrong, like you say, but I see it's perhaps irrelevant since you can order ℝ too. So if I get you right, you're saying the author/translation should've used a stronger word, which implies countability rather than just ordering?
PS: I just googled for the symbols. Check this.
What i mean is that even if set wasn't countable, e.g. real line (or in this case (0,1) interval) it could be ordered (or in our case well-ordered). It's not something related to our proof. Countability and ordering are totally different things.
I understand that, that's why i called myself a nitpicker. Order in mathematical meaning is something different. But, essentially what is written in manga is not wrong, just little out of place if you take word "order" as mathematical property.
PS: how you entered set symbols?
Hmm, I took ordering to mean "mapping of every element of the set in question, ℝ, to a corresponding (unique) element in the set ℕ" which is how countability is defined. In that sense, (or so the proof by contradiction goes) it's possible to assign an order to it, though that may not be the same as our intuitive notion of ordering in terms of how large or small the number is. Please correct me if I'm wrong.
It's a true statement with the mathematical meaning - N is ordered quite naturally, so we order by the index from N. The point here is that you can enumerate it with natural indices, which is what was said in the previous panel. This panel is just setting up the illustration which you can visualise.
Maybe i'm gonna be nitpicker but on page 6 he says "So if it were a countable set it should be possible to put it in order". Ordering has nothing to do in this case, unless it was used as a common word without a mathematical meaning. Also, i don't know why but the same proof with binary notation was much easier to understand for me.
That ending
Wow. Epsilon-delta, mathematical induction, Cantor's diagonal argument, those references to the Klein bottle and fractals... How had I not heard of this manga so far?
Oh, I don't know. I'm a mechanical engineer who just graduated this year and I was perfectly fine with the math. I positively enjoyed it, but again that might be because I've always liked mathematics :/ Also, just my opinion but I don't really think the author sucks at explaining at all. Or at least the translations are well done, and some of the explanations/comments on the last page were interesting. Thanks a lot, DKThias & Norway Scan & Forgotten Scans.
I learnt quite a bit of number theory when I was 15-16, but I think logic is nicer, more fundamental and more accessible, so these days I recommend this book: https://en.wikipedia.org/wiki/Naive_Set_Theory_(book)to secondary schoolchildren who want to learn more interesting mathematics. I recommend it to you too.
They are consistent to begin with (hopefully) and this actually leads to showing that they can't prove themselves consistent (which is much of the point of the Incompleteness Theorems), but yes the manipulation is what computers do and it happens on a very fundamental level. This is why there's massive overlap between Theoretical Computer Science and Logic. Logic is usually (possibly outdated) classified into Proof Theory, Set Theory, Computability Theory, Model Theory and Category Theory, and all of these (with the possible exception of set theory) are fundamental to compsci.
So in summary, its using an established system that has limitless ability to generate variables and outcomes (arithmetic) and transform logic statements and systems into them so that u can process them easier and since many of these things uses arithmetic in them, it makes them consistent within themselves?
thinking about it, that is wat computers do essentially and i never thought u can do it in such a basic level things, i mean physical input is one thing, but transforming logic was a bit out of my imagination.
yeah, definitely something u wanna learn in high school in Japan i guess