mousemath

mouse · September 28, 2025, 06:47:50 PM

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 [glow=red,2,300]JOSHUA GROCHOWS FALL 2025 CSCI3434 THEORY OF COMPUTATION LOOK AWAY[/glow]), 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:

Fishmé · September 30, 2025, 12:14:25 AM

Your homework gives me anxiety 🙃

Firedoll · September 30, 2025, 03:53:19 AM

get dat cheeze mous

mouse · September 30, 2025, 05:37:59 AM

Quote from: Fishmé on September 30, 2025, 12:14:25 AM
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

ThePedalMan998 · October 01, 2025, 10:42:15 PM

That sounds incredibly stressful.

rachel · October 03, 2025, 12:05:40 AM

Quote from: mouse on September 17, 2025, 05:22:25 PM
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

mouse · October 12, 2025, 06:55:42 PM

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

Fishmé · October 12, 2025, 09:09:35 PM

Mouse, you are a nerd! 🤓

mouse · October 12, 2025, 09:14:43 PM

Quote from: Fishmé on October 12, 2025, 09:09:35 PM
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

mouse · November 07, 2025, 05:07:21 PM

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!

rachel · November 25, 2025, 04:59:26 PM

Quote from: mouse on November 07, 2025, 05:07:21 PM
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