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.
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.

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
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!)