#2142398 - safe, artist:kopaleo, fluttershy, oc, oc:cosmia nebula, mouse, comic:mia's math moments, g4, acronym, algebra, associative algebra, bed, broccoli, category theory, comic, computability theory, curry, fermat's last theorem, food, g8, haskell, heart, japanese, katakana, lie algebra, masochism, math, model theory, sad, set theory, sitting, wacky waving inflatable tube pony

Interested in advertising on Derpibooru? Click here for information!

Help fund the $15 daily operational cost of Derpibooru - support us financially!

Comic Journal - Dreamy Mia
by KopaLeo
Cartoons & Comics / Digital Media / Comics / Strips©2017-2019 KopaLeo
Alternative titles:
Mia’s Math Moments - dream of mathematics

mathposting loudly *

Yes, this happened today. I didn’t read all of these math stuff, though. I mainly read about Turing jump, Turing degrees, o-minimality, definability, and some logics.

The first frame as a standalone picture:
Beautiful Dream by KopaLeo

–– annotations ––

The pony in the dream had no coherent image, but she made me feel comfortable, so I drew her slightly like Artline.
“first order theory of Fermat’s Theorem” refers to the idea that I read some time ago, that Fermat’s Last Theorem in some sense depends on strong axioms in set theory, and might be in some sense not provable with vanilla, first order, Peano arithmetics. I don’t know how it came to me in the dream, but it did. Further, in the dream, I found that I’ve helped the other pony prove an important lemma for it, all the way back 4 years ago…
“Mouse” are things in set theory. Set theory has some really crazy words, like amoeba order,
Cantor is one of the original mathematicians who studied set theory. He discovered uncountability of the real numbers, using the diagonal argument. Gödel is most famous for the two incompleteness theorems, one completeness theorem. He also did some set theory stuffs.
The Infinite Injury Priority Method is something in computability theory. I learned the Finite Injury Priority Method when I learned the Friedberg-Muchnik Theorem. The infinite one is infinitely more painful to learn, and I don’t think I’d ever have the need for it.
Yes, that paper contains katakana. See page 23 of this weird thing. It sounds like logic is laughing. The “broccoli” part is from another paper I can’t find right now.
I’m pretty sure they are serious, despite how funny it is.
Haskell Curry is the name of a logician, not actually a kind of curry. AoC is “Axiom of Choice” and is about choosing, but only in rigorous set theory.
Fluttershy is panicking because she’s surrounded by G8 Lie Algebras.

Syntax quick reference: **bold** *italic* ||hide text|| `code` __underline__ ~~strike~~ ^{^sup^} _%sub%

Detailed syntax guide

Comic Journal - Dreamy Mia  
by KopaLeo  
Cartoons & Comics / Digital Media / Comics / Strips©2017-2019 KopaLeo  
Alternative titles:  
Mia's Math Moments - dream of mathematics  
* mathposting loudly * 
 
Yes, this happened today. I didn't read all of these math stuff, though. I mainly read about Turing jump, Turing degrees, o-minimality, definability, and some logics. 
 
The first frame as a standalone picture:   
Beautiful Dream by KopaLeo 
 
  
---- annotations ---- 
 
1. The pony in the dream had no coherent image, but she made me feel comfortable, so I drew her slightly like Artline.  
2. "first order theory of Fermat's Theorem" refers to the idea that I read some time ago, that Fermat's Last Theorem in some sense depends on strong axioms in set theory, and might be in some sense not provable with vanilla, first order, Peano arithmetics. I don't know how it came to me in the dream, but it did. Further, in the dream, I found that I've helped the other pony prove an important lemma for it, all the way back 4 years ago...  
3. "Mouse" are things in set theory. Set theory has some really crazy words, like amoeba order,   
4. Cantor is one of the original mathematicians who studied set theory. He discovered uncountability of the real numbers, using the diagonal argument. Gödel is most famous for the two incompleteness theorems, one completeness theorem. He also did some set theory stuffs.  
5. The Infinite Injury Priority Method is something in computability theory. I learned the Finite Injury Priority Method when I learned the Friedberg-Muchnik Theorem. The infinite one is infinitely more painful to learn, and I don't think I'd ever have the need for it.  
6. Yes, that paper contains katakana. See page 23 of this weird thing. It sounds like logic is laughing. The "broccoli" part is from another paper I can't find right now.  
I'm pretty sure they are serious, despite how funny it is.  
7. Haskell Curry is the name of a logician, not actually a kind of curry. AoC is "Axiom of Choice" and is about choosing, but only in rigorous set theory.  
8. Fluttershy is panicking because she's surrounded by G8 Lie Algebras.