#introduction
I study logic at Tohoku University.
Currently focused on reverse mathematics and modal logic, mostly using games.
The battle system is the same since SMT3, each party member gets a turn, and gets one more for hitting an effective move; while the same holds for you enemies. My build choice was a mix of physical attack, with some support moves; I got my demons to have magics and other support skills. I still need to play the New Game+ to get the ending I actually wanted.
1-end
The demons are based on creatures/gods of many real world religions. While they include many from christian mythology, most are from other religions (the shinto god which names the shrine near my home was in SMT4). The main character can befriend and fuse them. You actually need to convince/bribe demons to have new partners, so it’s not just a random throw, and each one has a different approach. Also the main character has a nice hair.
1-2
Shin Megami Tensei V (2021)
I decided to buy my switch when this was announced a few years ago. It fulfilled my quite high expectations. It’s a quite solid dungeon crawler with an okay story. While it’s story is a little bit sparse, it’s main beats hit hard. One could say it is a more modern take on SMT3. You travel through a post-apocalyptic Tokyo, can befriend demons (maybe a not good choice for the english translation), and things happen.
1-1
My last week’s presentation is on YouTube: https://youtu.be/2ZpxkUqF58s
I talked about the connection between determinacy for infinite games and reflection principles, in reverse mathematics. (All are things I want to talk about here, later.)
More on this game can be found in van Benthem’s “An essay on sabotage and obstruction” and Aucher et al. “Modal logics of sabotage revisited”. There is quite a lot more about these sabotage games and its related sabotage logic in the literature. This logic allows us to erase edges from a graph, and gives a formalization of the sabotage game. (I’ve been reading about them this week, trying to find something amenable to work on.)
Answer (long)
Blocker first cuts one edge connecting the center to the bottom right. He then erases the nodes connecting Runner’s current position and the exit node (if there is no such edge, he may erase any edge).
The sabotage game has two players: Blocker and Runner, Every turn, Blocker erases one edge and then Runner moves one step. Runner wins the game iff they can reach the ‘exit’ of the graph.
In the graph below, who wins the game?
Answer below.
For clearness: the start is at the upper left corner, and the exit is at the lower right corner. The graph is non directed multigraph, so there are two paths from the start to the center and so on.
This puzzle is originally by van Benthem,
Since I’m already talking about my experience here, I think I should thank @christianp and @ColinTheMathmo for administering Mathstodon. This server in general felt quite welcoming, and I was a little scared about the feediverse. In addition, their posts are pretty interesting!
I think a month and something passed since I created an account here. I’m using the birdsite less (and planning to semi-retire my account there). There are still some people that I like hearing about there, so I’ll probably just mute things proactively.
I think the biggest differences for me is that here everything feels a little more slow and there is a lot less screaming to the void. In general it feels a little better here.
Logic at Tohoku University.
Mainly interested in games, modal logic and reverse mathematics.
By games I mean both mathematical ones and computer ones.