#Proofs

[catscomputerscreativewriting]

It's so funny to me that people think of Math/Mathematicians as being hyper-logical and rational. Like, have you seen some of the wild things hiding in the Math?

Did you know there are non-computable numbers?? (https://en.wikipedia.org/wiki/Chaitin%27s_constant)

Did you know that there are things that are true, but we can't prove them??? (https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems)

Did you know that we can prove that something exists, and yet never actually figure out what that thing is?? (https://mathworld.wolfram.com/NonconstructiveProof.html)

Math is crazy. Math is wild. Math hardly makes sense, and when you think you understand the weirdest parts of it, everyone who hears you explain it to thinks you're a gibbering lunatic.

"In mathematics you don’t understand things. You just get used to them." - von Neumann

(please share more unhinged math with me, i want to see more scary math)

[djudy-just-found]

Page 3 of my comic book on "My Hero Academia & True Education"

And here is the promised page from the comic book.

I will be very glad if you support me with a subscription and a like. I will also be glad to read your comments about what you think about this work.

I'll see what interest you have in him and decide if I should continue to draw him. Subscribe if you are waiting for the continuation!

Carefully read the text to my posts. In one of the previous posts it is written how to get free art from me. If I see a response from you, I will continue to do so. Read past posts and don't miss this opportunity!

[weird-dorky-little-d]

Reagan: All right, Reagan, you made your choice because humanity needs someone to make the hard choices. And as long as the person you love is happy, maybe you can be happy later. Until then, you have a job to do.

Reagan: Staedtler kind of asked me to run away with him, like, forever. Brett? What if you being in charge was more of a permanent thing?

Brett: Forever? But, Reagan, you're my best friend, and... I... And I got this. All I care about is that you're happy.

[humormehorny]

Yo math people, what was your first proof?

[sscunck]

regarding the percy situation if i see any of y’all try to defend him saying ,,innocent until proven guilty,, i will literally shoot a fucking bullet trough my skull. if u cared enough to go on twitter and see the dozens of proofs the victims put out you wouldn’t even be questioning the situation. he’s been doing that FOREVER and too many of y’all are saying the victims could be lying. just say you’re defending a serial r@pist and go.

there’s also proof of him being disrespectful to women and the queer community, especially gay men. there’s also of video of him saying a racial slur (the c slur) and me being a poc that makes me even more angry.

and to the people who say shit like ,,i’m about to cry i loved him so much why did this have to happen,, THIS ISNT ABOUT YOU STFU RIGHT NOW. this is infuriating. what’s important rn is that the victims get their justice and that this boy gets what he deserves which is getting locked up. he’s a nepo baby and could barely act anyway it’s not the right time to be complaining abt the recasting of xavier thorpe NO ONE CARES.

i am truly hoping that what he did won’t be overlooked just beautiful he’s a famous white man. the fact that he’s gotten away with it all these years is truly sick.

[poligraf]

Hope proves man deathless. It is the struggle of the soul, breaking loose from what is perishable, and attesting her eternity.

— Henry Melvill

[greetings-inferiors]

If proof by contradiction was a person I’d give them a big fat kiss on the lips

[kelyghtbooks]

Had to order three proofs from amazon before they got the cover right. It was so dark you couldn't see a thing the first time, but I'm glad I had the opportunity to fix it before release.

[mohelconvention]

Just know, when I write, “Now, observe that…” in a proof, it could mean any of the following:

— watch me cook nerds

— Observe… (with the condescending tone of a 1980s supervillain)

— look at it bitch (with warmth and love)

— look at it bitch (derisive)

— look at it bitch (hesitantly like I’m trying to be dominate in the bedroom, and I think you might be into it, but I’m really not sure. Like you’ve said you might be into that kinda thing but were you dropping hints? I don’t know but the actual follow-thru feels unnatural and weird :/)

— look at it bitch (confidently, cause now I know you like it)

— I don’t want to fuck with latex right now, so I’m writing this by hand and I’m really tired, so everyone just nod in agreement

[a-dux]

One of the fun things about being a math major is learning new notation options and then getting to watch everyone almost immediately decide what they're gonna use forever. I have visuals for non-math people because math shorthand stuff is very fun to me! :D

For completing a proof:

Q.E.D. is considered kind of old fashioned but classic, the open box is quite common and the default for LaTeX (a program often used to help type up math), and I don't know what the general view on those last two are. I use the crossed box because I like the emphasis it adds and it's fun to write.

For stating a contradiction:

I will use that wondrous lightning-bolt symbol at any possible opportunity because it's delightful to have an opportunity to draw a small arrow-headed bolt of lightning in the middle of a math problem.

[catscomputerscreativewriting]

Listen, textbook, I admire the dedication to grifting my students into learning most of Constructive Logic before they've realized it. They are computer scientists after all. It's good for them. But... really? No explanation of formal proofs by contradiction in the undergraduate, Logic for CS textbook? You do include double negation elimination, which is an equivalent Classical axiom, but not, like, (A -> Bottom) -> ~A?

You mean I'm gonna have to derive that myself from the completely random and arbitrary Classical axioms you've decided to adopt and then neglected to prove the completeness of? Otherwise, all of these proofs will become extremely cumbersome and all of my students will swear off CS theory for the rest of their lives?

... ok fine, it'll be in the slides. T-T

[djudy-just-found]

Alastor (fragments of how the drawing was created)

That's what I got. It is a pity that I did not use the recording of the process of creating this drawing step by step.

[my-alter-egos]

Kids these days are writing geometric proofs as fill-in-the blanks, multiple choice drop-downs online. Back in my day, we had to hand write those suckers with no guidance whatsoever. Truly so much easier the "modern" way

[kimblestudies]

would anyone be interested in an upper level mathematics discord? I know there's math and hw servers out there but I was thinking it may be nice to help each other with let's say everything past precal ?

[daemonhxckergrrl]

I swear half of mathematics is someone going "halp I used the correct syntaxes but it brokeded it :("

and then a bunch of wizards who havent seen daylight in years consuming several thousand kg of tobacco as they use a bunch of pre-defined rules to either prove a new rule (adding a defined behaviour) or disprove it (slapping a big red ERR sign on it).

and then a feral alchemist shows up to create a Special Rule for Advanced Usage that provides a vaguely related proof no one quite understands but later becomes foundational to society.