Leonardo Pacheco @leonardopacheco@mathstodon.xyz

#introduction
I study logic at Tohoku University.
Currently focused on reverse mathematics and modal logic, mostly using games.

The rainy season is already over here, almost one month earlier than usual. The summer is going to be long in Japan.

[A] good science-fiction story is a story about human beings, with a human problem, and a human solution, that would not have happened at all without its science content. — Theodore Sturgeon

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

I’ll use this thread to register a few comments on games I’ve been playing recently. Most of them will be JRPGs, but I’ll also post about other genres. These will be mostly spoiler freeI will probably add one or two reviews whenever I’m in the mood.

So 0/\(\infty\).

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.)

My paper was accepted at WoLLIC! Now I need to polish it up (and make preparations for the trip)!

So, I spent a week at Paris (and two days sleeping after getting back home). Pretty nice to go to a maths event after such a long time, and also had the chance to give a talk. Though it still feels pretty weird to go to places where people are not masked...

Tomorrow is my time going out of Japan since 2019. I’m a little bit anxious, but I’m gonna do a talk on next Wednesday so I’m happy.
(Slides are also finished, until I find mistypes)

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).

Blocker wins the game.

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,

#math #puzzle

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.

Btw, I’m playing on the PS3, so it’s a 11 year old game that has a 4 years old remake.