Does anyone know of a some text explaining the difference between intension and extension? Especially a reference for people who are not used to this terms in logic or philosophy.
Trying to think a simple explanation by myself, but with little success.

@icecolbeveridge @ColinTheMathmo @EdS One more example of defining for convenience: is 0 a natural number or not? Depending on what you’re doing, one may be better than the other. (And in practice both are used.)

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 beginning to have confidence in my writing. It’s still not good, but I can finally sit and put things in the paper (and then come back and edit). There is some chance that writing my PhD thesis will probably be less painful than when I wrote my masters thesis.

accessibility rant, subtitles 

I don’t get why so few streaming sites here in Japan have subtitles. The only ones that are usually available are japanese subtitles for foreign movies (the exceptions are mostly Netflix produced things).

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!

There's no angle from which a dodecahedron looks like a regular solid.

me ticking the 'stay signed in box' on a website: nice, this'll keep me signed in
the website: haha you fucking dumbass

Finally discovered the classification system of my university’s library: the National Diet Library Classification. I couldn’t find any good reference in English though. There’s only this mostly Japanese with annotations in English (but not always): ndl.go.jp/jp/data/catstandards
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🤷

@nytpu A few games
- Unravel (you play as things made of yarn)
- Baba is you (you play as… something…)
- Overcooked (you can play as cat, racoon, etc. but also has human PCs; also has characters using wheelchairs)
- On the cartoony side, some nintendo games: kirby, donkey kong, star forx,…

pretty maths 

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

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: arxiv.org/abs/1812.09601v1
PDF: arxiv.org/pdf/1812.09601v1
Entry: read.somethingorotherwhatever.

hamster poop 

I don’t know why, but my hamster started shooting poop from her mouth last month. She climbs on my hand and after a few moments just shoots it. 🤷

Craig Smoryński on the proof of the existence of fixed-points for GL (or the de Jongh—Sambin Theorem):

“De Jongh’s original proof was semantic and so complicated he never showed it to anyone; Sambin’s original proof was syntactic and so complicated I never read it completely.”

@Scmbradley My family used to drive over 1000km two times a year to go to my grandparents place (an then back). Once we moved to a place 500km away it became multiple times a year. Brazil is quite big, so all of this driving was only in three or two states.

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
Show older
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!