Show newer

spoilers fur the puzzle in the video 

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)

Show thread

youtube.com/watch?v=YQykZU8mcZ 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

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

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

Show thread

not sure WHY you would make something like that the theme song fur a smash game, but i am definitely not complaining

Show thread

utterly blessed decision on sakurai’s part to get nobuo uematsu to write the theme fur brawl. what a fucking gorgeous song

i am normal and can be trusted with actually good comedy rap

it is said that speech first developed by primitive humans who would utter simple phrases to each other

Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.