Natural deduction for propositional logic? Simple rules, real math. There are lots of good problems of varying difficulty in Logic in Computer Science by Huth and Ryan.
Edit: Perhaps this doesn't qualify as a game per se, but I think it might be a fun activity to work through the proofs together.
I don't see why that wouldn't be a game. As a kid (maybe not at 5, closer to 10?) my parents were giving me puzzle books that included puzzles based on deductive reasoning.
Clue is based on this form of logic. Or that's how I played it at least.
Growing up an a hobby farm with 20-40 (depending on the time of year), this is my experience too. Lambs are playful and full of spunk, but as they grow older they quickly become full-time grazing machines. Rams are just vicious.
My favorite was the person who happened to be burning a boat for fuel when it was being debated whether a crew could survive a shipwreck for years by using the ship as a fuel source. https://news.ycombinator.com/item?id=10803552
Aggressive rams are partially a byproduct of testosterone and selective breeding, some small scale farmers will leave rams in with ewes and their newborns to protect them from predators.
You're neglecting the emergent effect of neural networks. Fully understanding the output of one or more individual neurons hardly tells you anything about how the network behaves has a whole. From that standpoint, neural networks are nearly impenetrable. With human written software you can at least trace through the source code and get an idea of what it's doing. Imagine being handed a large matrix of numbers, being told it represents a neural net, and then being asked to find out what it does. Good luck!
Having been a programmer for thirty-some years now, I can assure you, impenetrable emergent effects in human-written software are very much a thing, and fully understanding the operation of one or more individual lines of code doesn't necessarily tell you anything much about how the program behaves as a whole. Other things equal, there is some tendency for human-written software to be easier to understand, of course, but it's very far from always true.
Think of it this way: if it were impossible to understand opaque, highly emergent systems designed by nonhuman processes, we might as well shut down every life sciences lab and toss all the biology textbooks into the recycle bin. In reality, of course, we can figure out how biological systems work, if we care to put in enough effort, and artificial neural networks are not only orders of magnitude simpler, but have the enormous advantage that we can run them on digital computers, which at least gives us full access to all the raw code and data.
If you're into games at all, I would highly recommend the Godot Game Engine (http://www.godotengine.org). They are very active on IRC and in the forums. If you have a question, you'll almost certainly get an answer. They are also are very welcoming of contributions.
I agree with you, but once a person is in the prison system, the goal should be rehabilitation because almost all prisoners will re enter society at some point. The problem is that the prison system isn't very good at rehabilitation as evidenced by the high rates of recidivism. Ask yourself this: does prison, as it exists today, make convicts better people?
>But what if the BJS’s findings have been fundamentally misunderstood? That’s the provocative contention of a recent paper published in the journal Crime & Delinquency, the title of which is “Following Incarceration, Most Released Offenders Never Return to Prison.”
And I here agree with you. Reduced crime including from ex-cons would obviously be the preferred situation.
Do you know if prison systems that have more of a reform focus have reduced recidivism rates? If so, what can be learned from these systems?
If it has been shown, that certain methods lead to better outcomes, what are the obstacles to implementing these changes in the US, or other countries?
Edit: Perhaps this doesn't qualify as a game per se, but I think it might be a fun activity to work through the proofs together.