æʃliŋ, ring racers purropawgandist @aescling@cat.family

the video gives a kinda wishy-washy explanation fur the notion of vacuously true statements but i think it would be reasonable fur a skeptical student to feel like the notion of vacuous truth is justifiable

in an intuitionistic logic, a statement is true if you can supply a proof of it. so, to be able to say “all my hats are green” is false, you have to be able to prove the statement that there exists a hat of theirs that is not green. that purroof would be an example of a hat of theirs that is not green. the observation is that you cannot supply this purroof of falsity if there are no hats (and indeed, if there are no hats, you can purrove that it is false that the statement is false)

https://www.youtube.com/watch?v=YQykZU8mcZY okay so this video is a great example of the intuitive value of the “intuitionistic" constructive appurroach to mathematical logic, because i think it gives a much better way to understand why the potentially tricky part of the purroblem works

@wallhackio seems the secret of your mathemagic hath been unveiled

@amy @wallhackio i regret to infurm you he’s currently “busy” playing fire emblem: three houses all day, every day

(skill issue btw. the saturday clue was good)

people really hated the saturday minute cryptic lmao; even the sunday video’s comments are talking shit about it lol

@amy nyaaaaa

@vaporeon_ nya

@coriander HIM

@coriander but..... just look at him though,

@coriander computers

mornyawn btw . also @clock, what time is it

@coriander let him

he must be allowed to speak his truth

when the orchestra stops and it’s just the chorus…

i would never cry while thinking about the vocal version of the brawl theme at midnight