Ásgeir Berg
@asgeirberg.bsky.social
Philosopher at the Icelandic Institute of Philosophy. http://www.asgeirberg.org/
I thought this was a good time to mention (again) that @fennert.bsky.social and I wrote a paper arguing that using LLMs to generate and verify proofs does not necessarily give us mathematical knowledge as that notion has traditionally been understood: www.mxphi.com/all-issues/v...
The Philosophical Prospects of Large Language Models in the Future of Mathematics
The Philosophical Prospects of Large Language Models in the Future of Mathematics — Fenner Stanley Tanswell, Ásgeir Berg
mxphi.com
My paper on my solution to the rule-following paradox is out in Ergo: doi.org/10.3998/ergo...
An Objective Communitarian Account of Semantic Content
Communitarian accounts of semantic content have been widely rejected in the literature on the rule-following paradox and related issues—for good reason. In this paper, I offer a game-theoretic account...
doi.org
I find it very annoying when climate change deniers sarcastically say "OH TAXING PEOPLE MORE IS JUST GOING TO FIX IT". Why is it so hard to imagine that taxing pollution would reduce pollution? Don't right-wingers typically believe that taxation reduces whatever is taxed?
This is meant to be a pro-AI argument. I think it is one of the strongest anti-AI arguments: He's essentially saying that by using AI, you will, overtime become dependent on it and cannot function without it. That's horrible!
Guys like this don’t realize that they are the freak
The problem with the trolley problem is that people think that it is a problem in ethics, when it is actually a problem in metaethics.
One reason I don’t like the trolley problem is because are we supposing people can’t get out of the way
While the Fields Medal celebrates the under-40s, the mathematician Joan Birman has, at the age of 99, solved a major open problem in representations of the Braid groups, a topic she has worked on for more than 60 years.
This is just to say I have eaten the sun god's cattle on the island which you were probably saving for Apollo Forgive me they were delicious and so charred and so warm
I found this amusing because a philosophically inclined friend of mine started attending sociology-adjacent events and found the field full of terribly ill-thought out pseudo-philosophy. The sociology bits were fine, though.
Let’s be honest. If Philosophy hasn’t been ‘liquidated’, Sociology will not be. For all the criticisms, at least Sociologists collect data. Meanwhile the Philosophy people just make things up out of thin air. Just whatever they want. Doesn’t matter.
I accept the point that strangeness of results is not the sole way how we should evaluate arguments (maybe there are abstract objects!). But I can't accept that it should play no role: I find it harder to accept that there exist non-concrete former balls than Williamson getting the logic wrong.
If I understood him correctly, Williamson thinks that Socrates became an abstract object upon his death because otherwise there would be nothing referred to in the statement "Socrates was a philosopher" (we need an abstract object *now* having the property of having been a philosopher).
In 200 years, my money is that analytic philosophy will be caricatured as following the maxim "if there's a word for it, then it exists objectively"
Alasdair MacIntyre in Rational Dependent Animals pointed out that we arrive in this world utterly dependent on others for years, many of us leave it the same way, and in between any independence we achieve is pretty thin. Easily forgotten.
Two things that foreigners don't understand about Icelandic whaling are (a) it is a way for Icelanders to perform their patriotism/nationalism. Without foreign activists trying to stop it, it would have stopped a long time ago, and (b) it is a way for Icelandic conservatives to own the libs.
If I hear one more time how the 1976 UK heatwave was worse than today's, I'll literally melt.
The video of my talk at the Isaac Newton Institute a few weeks ago is now online: "Can Mathematics Be Hacked? Infrastructure, "Artificial Intelligence" and the Cybersecurity of Mathematical Knowledge" www.youtube.com/watch?v=O11k...
Dr. Fenner Tanswell | Can Mathematics Be Hacked? Infrastructure, Artificial Intelligence, and the...
YouTube video by INI Seminar Room 1
youtube.com
I gather from the volume of posts that JD Vance said something about the decline of civilisation in Britain?
I suspect this holds for almost all, if not all, foods that have an "authentic version". So many traditions, especially related to food, are much younger than we tend to think and change faster.
Do you have any foods where the modern "inauthentic" version is just clearly better? My go-to here is Babka, which in my own lifetime has morphed from some okay sweet bread with a swirl to a kind of loaded cinnamon roll cooked in a bread pan.
guy who uses Chris Tucker's filmography to illustrate Wittgenstein's rule following paradox
I'm old enough to remember when Spiked was a very left-wing publication. I'm not plugged in well enough to understand what happened.
Guess how many times this Spiked piece - which blames Orban’s loss on ‘identity politics’ and ‘therapy culture’ - mentions that Furedi is literally working for Orban? democracyforsale.substack.com/p/orbans-brits
A thread🧵about formalisation and the abc conjecture. A new Mochizuki paper was just posted! This one is unusually interesting, as it is about formalisation efforts for the abc conjecture "proof". www.kurims.kyoto-u.ac.jp/~motizuki/Fo...
kurims.kyoto-u.ac.jp
This is improving fast, though, so who knows how it will be in a year, say. Of course, autogenerated maths can be a mess, which might also add problems to the formalisation efforts. See my mini talk on "vibe formalisation and slop mathematics" www.youtube.com/watch?v=WXtF...
Dr. Fenner Tanswell | Vibe Formalisation and Slop Mathematics
YouTube video by INI Seminar Room 1
youtube.com
Right now, unfolding around us on a global scale, is a rich and unambiguous lesson on the dangers of fossil fuel dependence. The most obvious solution is for the affected countries to reduce their dependence through clean energy. Are you seeing that message in media?
Smá innleg í umræðuna um fyrirhugaða skerðingu á latínukennslu í Menntaskólanum í Reykjavík: www.visir.is/g/2026284838...
Leyfum íslenskum menntaskólanemum að kynnast latínu! - Vísir
Latína og latínunám lifir góðu lífi víða um heim. Mennta- og háskólar í þúsundatali bæði innan og utan Evrópu bjóða upp á kennslu í málinu. Enda er nám í latínu afskaplega skemmtilegt og latína lifand...
visir.is
It would be easy to make fun of the white collar workers but what he's describing is alienation in Marx's sense. I would predict that this will have major social consequences.
"And Alexander wept, for there were no more worlds to conquer." -Hans Gruber
The New York Times is a disgrace and has been for a long time.
Have you ever once seen the New York Times quote Trump like this?
St Augustine wrote: "Without justice, what are states but great gangs of thieves?" No reason I bring this up.