Hi there! I'm Haru (or Ery), an adult, asian, disabled (hoh), audhd, st4t snow leopard (Panthera uncia). I study #philosophy and #mathematics :D

My academic interests are: #philosophyoflanguge, #logic (philosophical and mathematical), #epistemology, #metaphysics (logical, of objects), #philosophyofmind (of conception), and #philosophyofmath

My research topics are: Stalnaker-Lewis presuppositions, theories of meaning, type theoretic semantics, (dynamic) epistemic logics, non-classical logics (minimal semantics, non-normal, intuitionistic), Dummettian semantics, indeterminacy of translation, radical interpretation, and proof complexity.

I'm also interested in: model category theory, categorical logic, topos theory, provability logics, model theory, hermeneutics, biblical translation, and theology.

Other facets of autism I indulge in: rhythm games, Magic: the Gathering, music, Minecraft, conlanging, writing, #language learning, bird-watching, and drawing.

So apparently the geometry department wants a word.
Something about me “defacing” the sacred halls of Euclid with a claim that \(S^2\) doesn’t actually need three coordinates to exist.

Don’t worry — the cameras were rolling.
We’ve got the whole thing: the accusation, the replay, and the quiet moment when everyone realizes the wall was blank all along.

Three PDFs, three acts:

📄 Act I – The Note: On the Minimal Abstract Space Required to Contain \(S^2\)
🔗 https://carlostomas49.github.io/S2-Trilogy/OnMinimalSpaceforS2.pdf

📄 Act II – The Orthodox Reply: No, \(S^2\) Does Not Live in Two Dimensions
🔗 https://carlostomas49.github.io/S2-Trilogy/act2.pdf

📄 Act III – My Answer: On Mistaking a Coordinate System for a Concept
🔗 https://carlostomas49.github.io/S2-Trilogy/act3.pdf

The rest is geometry trying to explain away its own handwriting.

If the language feels dense, that’s fine, grab your nearest 𝐮𝐩𝐩𝐞𝐫-𝐝𝐢𝐯𝐢𝐬𝐢𝐨𝐧 𝐦𝐚𝐭𝐡𝐞𝐦𝐚𝐭𝐢𝐜𝐚𝐥𝐥𝐲-𝐦𝐢𝐧𝐝𝐞𝐝 𝐟𝐫𝐢𝐞𝐧𝐝 and have them walk you through it.
Just make sure that when they’re done, they don’t sound like the person from Act II.

🌀

Because here’s the thing — everyone makes mistakes.
Even the giants who once defined the tone of mathematics itself.
And that’s what makes this moment worth living through: a small correction echoing through a weary decade that’s relearning how to think, together.

A quiet fix to a loud assumption, happening out in the open, in the mid-2020s — post-pandemic, post-certainty — with the chalk dust still hanging in the air.

Stay safe, and cheers 🥂🌍

#Math #Topology #Logic #AI #PhilosophyOfMath #MathHumor #FediverseMath #PostPandemicEra

Could I please get some account recommendations and follows for @tones
I'll kinda vouch for him since my daughter thinks he kinda/sorta OK (at least until he gets his profile in shape. 😆)

He's kinda new here and I want help him get his feet wet in the fediverse.

So, if your got anything for the following tags, I'd appreciate it!

#Math #Mathematics #PhilosophyOfMath #PhilosophyOfScience #Chess #Jazz #Guitar #DudesInBoatsFilms

I also learned, this morning, that he is also into the genre of "dudes in boats", if that helps. e.g.: Master & Commander and Red October. I recommended "Kon Tiki" and "Das Boot".

When I was in graduate school, I attended a talk by Dustin Clausen for a University of Rochester math seminar. He disucssed his work with Peter Scholze on condensed sets, and how they were happy to redefine topological spaces to fit their paradigm, since the spaces which couldn't be described in their setup aren't of much interest.

I remembered 20th century conflicts over the definition of a space and thought this sounded fine. The community often needs to adjust definitions as a clearer picture of the area is formed, but I figured we tend to settle on the «correct» definitions.

I was quite surprised to discover this note (https://arxiv.org/pdf/1311.4940) earlier this year, which describes how every topological space (in the established sense) is a «metric» space, if the notion of metric is generalized slightly. This is a clear win for the established definition, since it did better than expected in generalizing the notion of a metric space, and still captures the spectrum of a ring, etc.

The older I get, the more I realize that «correct» definitions are like «true» foundations: a human attempt to simplify complex structure (and sell our ideas). That's not to say there are no bad definitions, but choosing a single winner may be short-sighted.

#math #topology #PhilosophyOfMath #geometry

The #SleepingBeautyProblem in #Probability

Are you a 'halfer' or a 'thirder'?

https://www.youtube.com/watch?v=XeSu9fBJ2sI&ab_channel=Veritasium

#Philosophy #PhilosophyOfMath #PhilosophyOfMaths #PhilosophyOfMathematics #Chance #SleepingBeauty

Is #mathematics invented or discovered?

https://www.youtube.com/watch?v=6CVjoOtA5eg&ab_channel=CloserToTruth

#Philosophy #PhilosophyOfMathematics #PhilosophyOfMaths #PhilosophyOfMath #Math #Maths #Idealism #Platonism #Realism #AntiRealism #Materialism #Physicalism #Metaphysics #CloserToTruth #RobertKuhn

An #infinite number of $1 bills and an infinite number of $20 bills would be worth the same

https://www.youtube.com/watch?v=M4f_D17zIBw&ab_channel=Stand-upMaths

#StandUpMaths #Maths #Math #Mathematics #Infinity #Philosophy #PhilosophyOfMaths #PhilosophyOfMath #MattParker #Limmy