Logic - Tumblr Posts

😂🤣🤪

Crispy af 🔥💯🔊

Not to be that music producer but this was so crispy I had to do The Thing

The Steven Universe fandom is dense af - The Series

I can give you so many reasons why considering past events but here’s one that just popped up- everyone somehow believing Yellow Diamond shattered Pink Diamond. First of all, I want to smash my head against a door. Second, the writers of the show made it clear that the YD had nothing to do with it. (If the diamonds end up having something to do with it then shit come back and roast me but I’d blame the crewniverse for their bad writing.) Any who, one of the first and only evidence you need for this is YDs actions in “What’s the Use of Feeling Blue?”. By the end of the song, the writers had the intent to establish her grieving and feelings for Pink were still enact, she just presents them differently. Y'all are over here acting like that never existed and now you’re saying how she was in denial of everything Blue Zircon was saying. Of course she was, but not in the way you think. She was in denial because she has her heart (gem?) SET on believing Rose Quartz did it. (For goodness sakes they bubbled all the RQs and she wanted to execute her immediately out of hatred and confidence that it was her) The truth is, NON of the diamonds were there at the scene, which was highly implied several times. That’s why they were so shocked when Zircon started saying all those things. Yellow Diamond didn’t want to believe anything else. She poofed her because Zircon accused a Diamond of killing another Diamond, that would make anyone angry…. Here’s the part that makes me mad at the fandom for the lack of acknowlegment: the recess scene and the ENTIRE fact that Steven is not Rose. I broke it down 👍. Steven doesn’t know how it happened because he is not Rose Quartz. Homeworld believes he is, but is shapeshifted. He told Zircon he did not know how it happened. Once again, he is NOT ROSE so he could never know. This lead to Zircon DOING HER JOB. She was nervous the entire episode for defending the guilty. THIS IS HOW SHE MADE LEEWAY. She had something to defend now. Does her argument make sense? Of course. But it implies something else. Something totally different that has NOTHING to do with YD. (In fact, maybe the writers even knew the fandom would fall for this although I can’t understand why literally the theory makes no sense.) It’s foreshadowing something. My take on it is pretty simple, I have a few theories but here’s an interesting one– the one who shattered PD was her Pearl? Think about it… She was close to her. She was allowed to be around her 24/7. No one would have saw it coming. Maybe it was even our Pearl, and that’s why she hates shapeshifting so much, as someone once theorized. I mean it still could be Rose but it’s now implied they had to do something evasive to shatter Pink, let’s not leave this possibility out.

Anyone could have shapeshifted into Rose, by request.

Hell it could’ve been another Rose Quartz and we’d never know.

Whoever did it, was part of the rebellion but was not noticed at that time or place. One fact remains: All fingers are pointing to a figure shaped like a Rose Quartz.

It wouldn’t add up if YD did it because so many people saw Rose do it. Eyeball even stated it herself. The gems acknowledge Rose did it. Either they know something we don’t ,OR maybe they are in the dark along with us…Rose kept many secrets.

(Who really knows at this point the only reason why I made this is to show you that it could never be YD. Bye y'all)

I love these posts

Tauriel’s Sermon on the River Bank (10/34)

I tried but I’m not that good at making edits especially cause I’m using my phone

Curry-howard correspondence is a neat little thing.

Tuples are equivalent to And

Sum Types are equivalent to Or

atleast Exclusive Or I think, since you can't have an `Either p q` be both `Left p` and `Right q` at once. They'd need to be more like `Either a (Either b (a,b))`

Keep in mind that `a,b` can be any type, not just booleans. It's not so much a comparison as much as it just says if the type exists.

(Exists in the way there's a representation of it in code.)

For the longest time I just thought it was just some cool equivalence. I've never really utilized this concept until I've used Lean which actually utilizes this concept. Proving two statements are equivalent means creating an isomorphism between both of the types.

For example

Proving

(P ∨ Q) ∨ R = P ∨ (Q ∨ R)

Is similar to proving the Isomorphism

Either (Either P Q) R

<=> Either P (Either Q R)

(a <=> b is equal to a -> b and b <- a) btw

And

Proving

(P ∧ Q) ∧ R = P ∧ (Q ∧ R)

Is similar to making the Isomorphism

((P,Q),R) <=> (P,(Q,R))

(Though of course And is easier due to the inclusivity thing I mentioned earlier)

Day 5 of learning Lean

why is proving ¬(p ↔ ¬p) so hard

Of course with Truth tables and classical logic, this is near trivial to solve. In fact here's the proof

example : ¬(p ↔ ¬p) := Not.intro λ(Iff.intro pnp npp) => have hnp : ¬p := (imp_iff_not_or.mp pnp).elim id id have hp : p := npp hnp hnp.elim hp

Could be a lot shorter, especially at proving the (¬p ∨ ¬p) part. But you get the gist.

Unfortunately this line exists

imp_iff_not_or is apparently only in classical logic, because it relies on the law of excluded middle which is (p ∨ ¬p) which intuitionistic logic does not have as ¬p is defined as (p -> False).

right now I'm looking into modal logic for solutions and it seems promising, having translations from Intuitional to KT4 modal logic, though I still don't know how I could translate it to a lean solution. It's also very likely there is a simpler solution that I am not seeing.

Either way, it's pretty fun despite my frustrations.

So far still stuck at page 3 of theorem proving in lean 4, though I only have 1 problem to solve.

That's undertale logic for ya.

You know something I've wanted to say for a long time, but never could?

Why do people think a culture defines your feelings?

I was looking at some aesthetic Studio Ghibli posts and had like a flashback to when I missed seeing both Ponyo and The Secret World of Arrietty in theaters because my mom figured it was just some kids movie and I could catch it when they showed on TV.

Aside from the fact those movies never showed on cable ever, I realized everyone I know sees animation as childish.

Obviously, that extends to everyone else in the world and what I don't understand is the logic that if Japanese audiences can emote to an animation, why would any other country or group of people be different?

This also goes for any country that experiences something different from what your used to, but still emotes to it.

At the end of the day, we're all humans and share the same emotions no matter our cultural upbringing.

I think this makes me realize why I care to defend my "childish" hobbies as much as I do because I understand that it's not just a cartoon for kids to mindlessly consume, it's art in a form unexpected from what's the norm.

Who can relate?

GOD DANGIT ITS SIDEWAYS

Not to be horrible or anything, but since dogs are considered animals of lesser intelligence , i think they probably would still be around for ... food. Since ‘resources’ are low, i’d assume he wouldn’t get rid of beings that serve purpose. I wouldn’t want to eat dogs though, i’d rather just drift off

ok so since the Russo brothers confirmed that animals and plants and the like all died in the snap,,,,,,, that means dogs died too,,,,, and lemme tell ya if ANYTHING happened to my dog earth wouldn’t even NEED the avengers I’d mcfucking d e s t r o y thanos myself because NO ONE FUCKING MESSES WITH MY DOG NOT EVEN A CRUSTY ASS RAISIN WITH A ROCK COLLECTION

Finally finished this art piece. When I saw the new Ducktales poster I immediately thought I hope someone makes a Sanders sides version of did. And then I was like why not do it myself ? I also based it a bit on the Inside out poster. And this is the perfect day to post it since it’s also the anivirgery (thank you @elliottsonthevirge for the beautifull pun) of someone’s name reveal. @thatsthat24 I loved how you sung to Virgil may he have a peacefull name day.

Okay so this is my first time adding a taglist. And I promise not to spam but I am not sure if everyone on this wants to be tagged since this I could only find a sander sides fic taglist. So please let me know if you want be removed.

@fursuit-cover-me @yaya2cute4u12 @thesoftestlittlepuffball @ineedtoart @thelogicalloganipus @romanpizza @helloprincey @hellomusicalnerdhere @lacteouslesters @lucifer-in-my-head @warnadudenexttime @angstyteenv @airakorainies @gay-space-rain @dorothyannewise @andlipstickboys @bunny222 @creepyfloof @the-queen-of-fandoms @healinghufflepuff @thatsmsmactoyou @jamjam-1995 @futuristicinfluencernerd @delarpix @pailettehazel @aloa2u @lazycb @squirescreen @thecollectorofdarkness @panfilet @lucho-arts @dootdoodley @monstrous-madison @delphox-lover @skip-the-potato @escapedoodland @mangomonkeyboy @thatsweaterchick @twoframesstudios @awesomesilver @goldenfoxination @callmetrash1 @ebeanie @tj-the-nonbinary-alien @the-paper-head @pipiana-chan @galaxxibeast @official-alien-pancakes @10cloverfiield @fux-nixi @imaginatekate @theaestheticworld @invisible-bunny @blacknwhiteblog @harrisonburg44 @sachikoaiyuki @so-fucking-proud @thatrandomfangirl28 @gigi-is-drawing @skythehooman @thatonelegobrickuhate @turtledog-loves-her-anime @artsy-6321 @crazybutcalm2 @thatonerandomromanian @drbblud

@cremafied @blackholebunny @s-t-s-g @craftymelongirl @jennijam07 @randomslasher @tragicillustrator @infinitesimal-heart @oli-smiles-sometimes @elkius @kingsketchdoodle @themightylotad @angelic-ace @turtley-gay @all-these-things-that-ive-dun @wave-glox @lucho-arts @rayray2425 @shinsyl @akwardly-magical @shyrenthedawndragon @mintyteabirdy @meplushyou @demigosh @moriarrtty @necro-nova @lilis-doodle-dome @internally-screeming @kobaltski @breloomings @peachy-pattoncake @ethanhanbury @romanasanders @purpsart @mimiloverfox @ec-sanderssides @finnlinnaj @jojoztar @swerve-art @2queer2deer @could-always-be-gayer-2 @anxiously-romantic @featuredfander @morallogic @fangirltothefullest @novaedream @cattonsanders @notafeeling @parano--vigilant @logically-asexual @colorful-unknown @the-sanders-sides @the-sanders-snides @sidespart @charmingsides @imtoobiforyou @ifitsbritishimprobablyafan @fandergecko @pantton-sandacers @sugarglider9603 @misplaced-my-notes @meyonto @thomassandersownsmysoul @moxieties @ellistruggle @sander-sides-fangirl-with-pma @sanders-sides-fantasy @voidsides @cnv99 @paperghastly @im-basically-logan @caffibun @shesavampirequeen @tiny-mudkip @flatlinesunrelenting @blue--stopsigns @sanders-sides-thuri @aharleigh2 @pumpkinofspace @menaciingly @justisaisfine @notalwaysthevillian @fantasyinsanity @notallpotatoesarefrenchfries @officialwaterfairy @sunshine-in-a-petal @galaxy-warping @toastraccoon @finiteframe3 @quietgamesart @quietlypondering @why-did-the-jax-fall-over @galaxy-lilies @iamtrashcans @l0lli @okaybirdboy @the-pastel-peach @prettyinaccurate @phhiih @blombla-art @unknownsandersfan @purplepatton @angsty-hoodie @angst-patton @violetvirgil @basementtreasure @nightcatssketchbook @rocithefangirl @lowkeyvirgilobsessed @sanders-trash @deceitful-deception @akuryoudraws

@panic-at-the-everywhere-lol @chatterghosts @jewelsafecorner @aliensdoodless @demonlucy-chan @sinningbutwithstyle @sandy-sides @thought-u-said-dragon-queen @reba-andthesides @mint-bees @menacefh @simplypatton @pipapatton @agayfairy @pastel-patton123 @rose-gold-roman @hugemultifandomnerd @fandomsandanythingelse @lunar-logan @lazyscouts @lollingtothemax @smedenn @altruistic-skittles @peachy-pattoncake @minnie-monnie @melchann @goodjobmiranda @sidespart @never-logical @luarpice @strangerthings-and-phan @sparkedawg @allthemetalsoftherainbow @kirsten-the-freak @the-darkness-art @aliferous-ly  @pattson @jughead-is-canonically-aroace @saphirestrike @redundant-statements-for-400  @proudhufflepuff @birdybabybird @quinintheclouds  @yourpalmogar @all-my-fandoms-are-killing-me @dementeddracon  @thatgaydemigodnerd @sanderdrabbles @countessmissyshort @anxiousravenclaw @creativenostalgiastuff @koalaaquabear @deep-ocean-blues @heythereprincey @devastate-my-space @inalandofmythandtimeofmagic @ffsas-side-account @urtrashthemes @the-incedible-sulk  @savingshae @somepostontheinternet @grey-lysander@fricksonsticks @reba-andthesides

@rose-gold-roman @thatonenerdtm @redundant-statements-for-400 @septifanderplier @do-rey-me @dementeddracon @confinesofpersonalknowledge @trashfireiplier @asterias-confused-writings @save-dirk @lacandra @emphoenixcat @thenerdycube @walking-encyclopedia @trashypansexual @saphirestrike @memesanddreamsinc @catsandrandomness @vulnerablevirgil  @too-precious-to-process @radioactivebread @crofters-jam @faacethefacts @nightly-illustrator @robanilla @thestoryoftaylor @voices-and-stardust @countessmissyshort @aikogumi @allthemetalsoftherainbow @theworldismysupernova @vampyrsarah @ruuworld @romanssippycup @aph-roman @spacenerrrd @kurna-kovite @deadinsidebutliving @johnnyboylaurens @hi-disappointed-im-daughter @pandagirl0730 @thats-so-crash @echomist13 @allierox15 @theroyalramen @smokeyrutilequartz @theworldismysupernova @alextheodd @erlenmeyertrashofsandersides @heir-of-the-founders @thepusheenqueen @anachronistic-cat @pieces-of-annedrew @the-prince-and-the-emo @shadow-walker-1201 @micha-like-you-find-in-rocks @ocotopushugs @deep-ocean-blues @emovirgil @lacrimosathedark @depressed-alone @strangerthings-and-phan @urtrashhq @bluebellie01 @anthoscopus @panicatthephanficfandom @fireflightyt @bubblegum-borb @pinkeasteregg @anxiousoddish @asalwayss @musicsavedmefromdeath @spacevirgil @spoonfullofcrofters @siriuswhiskers @areyousirius-noheisdead @magicmapleleaf @katesattic @planetsanders @artistictaurean @sesame-icecream @magical-octopus @kentato-kenart @hanramz-the-fander @crankywhenprovoked @sanders-sides-things @randomslasher @virgil-is-verge @jesusonafrickinboat @migraine-marathon @tree4life25 @sandersfanders @thomas-must-get-sleep @osnapitzbc @evilmuffin @louisthewarlock @candiukas @just-another-transblog @skylagamingfea @mercythemermaid @devastate-my-space @purplesatankittycat @yourhappypappypatton @thesilentbluesparrow @kirsten-the-freak @storytellerofuntoldlegends @potterlover394 @madelynna @incredible-introvert @koalaaquabear @sanders-fam-ily @hissesssss @theshipqueenarrives @virgilisaneternalmood @jughead-is-canonically-aroace @sugarblob0 @logically-sided @pearls-of-patton @v-blue-writer @minshinxx @the-optimism-of-the-ostriches @rptheturk @shygirl4991 @baileystarsketches @emokittenlikesgore @cripplingchips @heythereprincey @icbatocomeupwithausername @allaboutme7 @space-d0ubt @captain-loki-xavier @logan-exe @starry-eyed-haiku-dreamer @digitally-analog @datonerougecookeh @starlightlogan @katatles-the-fish @funsizedgremlin @thegirlwiththedragonheart @clueingforblogs @moonlightinwater @thecrimsoncodex @cinderlunarcyborg @kickthenavi @pansexual-cat @sarcastic-anxious @didsomeonesayyoutube122 @nottodaylogic @fanatic564 @jaybingu @lepardlover @cashmeredragon @all-these-trees-stealing-mah-o2 @on-lock-like-attica @the-lonely-angel @proudhufflepuff @idiotauthor @ill-interested @jade-dragon226-fan @literaturegays @confinesofpersonalknowledge @sanderssides-deathangel @too-random-for-me @karmicmayhem @hghrules @theanxietyofbeinganxious @ace-of-hufflepuffs @ace-v-p-d @ive-given-up-on-it @violetmcl @muontsy2 @microsoft-nerd @hoodie-bros @ashbash-the-trashcash @milomeepit @angeliclogan @watch-me-introvert @lockolocka @makemeaplant @blazeimagines101 @thegreyacefromspace @ffsas-side-account @sides-of-a-sunset @unknownsandersfan @the-feels-are-coming @k9cat @toujours-fidele @angered-turtle @nyxwordsmith @gamerzylo @nymphaedoratonks @aliferous-ly @221biotchplease @minamishipsit:) @anastasialestina @my-dark-anxious-son @deathbyvenusftw @lucifer-just-needs-a-hug @cinquefoilelove @a-blog-just-for-sanders @roman-is-a-gay @anxie-teaa @prplzorua @lana–22 @mollycassmith @ruuworld @mollycassmith

@dudlebuggs @pinkeasteregg @sanders-fam-ily @evilmuffin @funsizedgremlin @musicsavedmefromdeath @radioactivebread @emokittenlikesgore @thenerdycube @siriuswhiskers @milomeepit @pieces-of-annedrew @fricksonsticks @inkyroo @trashypansexual @nottodaylogic @redundant-statements-for-400 @notveryglittery @starlightlogan @the-feels-are-coming @artistictaurean @muontsy2 @theanxietyofbeinganxious @osnapitzbc @today-only-happens-once @logically-sided @thegirlwiththedragonheart @baileystarsketches @just-another-transblog @ocotopushugs @darude-slamstorm @do-rey-me @migraine-marathon @sarcastic-anxious @fireflightyt @allthemetalsoftherainbow @juvenile-changeling @v-blue-writer @ace-of-hufflepuffs

Happy birthday Thomas You and your friends make me feel a lot of things with your works Mostly good feelings with an ocassional bout of sadness. Your work and that of the community of fanders continues to inspire me everyday. Thanks you for everything have a blessfull wonderfull day today. #thomassanders #thomasandersfanart #sandersides #happybirthday #Happybday #virgilsanders #pattonsanders #logansanders #romansanders #art #digitaldrawing #sketch #TS #tsfanart #logic #morality #creativity #anxiety https://www.instagram.com/p/BwpmqDRFQAU/?utm_source=ig_tumblr_share&igshid=n795yorwd6if

Keatonian Logic.

Me: *has a lot of stuff to do*

Also Me: *proceeds to watch 2 hours worth of asmr videos*

I joked with @cherryleevee about Sander Sides in Osomatsu-San style. To both our surprise they actually look kinda good! (And then I went overboard and drew like 12 of them :”D )

Sander Sides by @thatsthat24 / Thomas Sanders (you can watch the first episode here!)