Pinned post

#introduction

I study logic at Tohoku University.

Currently focused on reverse mathematics and modal logic, mostly using games.

Pinned post

Trying to think a simple explanation by myself, but with little success.

Two bad deontic axioms:

- The principle of fait accompli: If we do something we ought not to do, we ought to do it.

- The principle of continuous moral rectitude: If something ought to be, whatever is the case ought to be.

(Names given by Prior. These axioms hold in older proposals for deontic logic by Mally and Gelling. Paraphrased from Føllesdal and Hilpinen’s paper “Deontic logic: and introduction”.)

I'm organising a series of online public maths talks through Newcastle Uni's School of Maths, Stats and Physics, to be delivered by disabled presenters, taking place this December.

Talks can be any mathy topic, or about your experience as a disabled mathematician.

I need speakers: dm me if interested!

At least they put maths at MA, other things have no relation.

University asked me to get my guardian’s permission to go to a trip, that is, to email my mom on the other side of the globe and ask if it’s okay to go present a paper in a conference in another country.

That’s because I’m a PhD _student_. The other realistic option I’d have for a guardian would be my wife. This policy makes no sense🤷

pretty maths

I was playing with Desmos trying to draw a triangle in one line of code, and accidentally drew this en route: https://www.desmos.com/calculator/4g68z4esfb

Doing Math in Jest: Reflections on Useless Math, the Unreasonable Effectiveness of Mathematics, and the Ethical Obligations of Mathematicians

Article by Gizem Karaali

In collection: The act of doing maths

Mathematicians occasionally discover interesting truths even when they are playing with mathematical ideas with no thoughts about possible consequences of their actions. This paper describes two...

URL: http://arxiv.org/abs/1812.09601v1

PDF: http://arxiv.org/pdf/1812.09601v1

Entry: https://read.somethingorotherwhatever.com/entry/DoingMathinJestReflectionsonUselessMaththeUnreasonableEffectivenessofMathematicsandtheEthicalObligationsofMathematicians

Speaking of Undertale, it is probably the most emotional games I’ve ever played. If you like story games (with a few action(?)/RPG elements, just play it. Better enjoyed spoiler-free.

3-end

Show thread

Started playing Moon this week on my Switch. Pretty quirky game, the writing and character design is just great. Unfortunately it is a little too slow for my head to handle. A few qualities of life would have made it perfect (at least fast-forwarding would be pretty useful for experimenting). It is quite an experience, if you are in the right mindset. It also inspired undertale.

2-end

Show thread

- Hard limit on name length: mine is longer than permitted, had to use only one surname in place of my “full name”.

- Sees difference between full-width and half-width numbers: because of course ３ and 3 are different characters.

- Requires me to retype the password manually: of course my password manager is not to be trusted.

- Bonus: doesn’t indicate where the wrong input is, so trial-and-error is required.

There's an article titled "You're using the wrong dictionary" that argues that older dictionaries have more interesting and colourful definitions. It then reccomends a 1919 edition of Webster's dictionary.

I would like to share with you its amazing definition of "Art", which according to this, used to mean something extremely different from what we think it means now. And it is… EXTENSIVE

{thread}

- home page
- https://leonardopacheco.github.io/

- languages
- portuguese/english/japanese

- pronoums
- he or they, both are fine

Logic at Tohoku University.

Mainly interested in games, modal logic and reverse mathematics.

By games I mean both mathematical ones and computer ones.

Joined Apr 2022