mousemath

Heyo!
its ya girl, math
anyways, i have a midterm coming up and am going to post my pre-midterm problems here (Im not supposed to share them, so if you're in JOSHUA GROCHOWS FALL 2025 CSCI3434 THEORY OF COMPUTATION LOOK AWAY), but nobody here gives a shit and its actually really good for review to have all the shit in one thread, so you get them anyways

Computability:



Equivalence of Models:



Induction:

Your homework gives me anxiety 🙃

get dat cheeze mous

Your homework gives me anxiety 🙃

this most recent set is also fucking timed, so we have to solve the problem and type our response in like 40 mins

That sounds incredibly stressful.

heyyy gang this week's math brought to you by mouse is cellular automata and Rices Theorem (adjacent to the Halting Problem)

Ooooh I love cellular automata. The spirals generated by the rock paper scissors visualization is pretty cool

midterm shit for this class is over, which means i can post my normal homework. enjoy linearspace turing machines

Mouse, you are a nerd! 🤓

Mouse, you are a nerd! 🤓

the 7 tape combination was fun!! it's close enough to a precious set (see the CA problem set also posted here) that I wasn't struggling with concepts and could just sit down and write it out

woah whats this???? a new mousemath post?? crazy!

im so behind on uploading the problem sets here, but i just completed more stuff on the BUSY BEAVER problem, and its pretty cool. This one gets a bit into the weeds toward the end, but im pretty proud of it!

woah whats this???? a new mousemath post?? crazy!

im so behind on uploading the problem sets here, but i just completed more stuff on the BUSY BEAVER problem, and its pretty cool. This one gets a bit into the weeds toward the end, but im pretty proud of it!

oh yeah busy beaver!! I've heard of people solving millions of iterations to prove different busy beaver numbers

https://en.wikipedia.org/wiki/Busy_beaver