$\mathbb{R}$eal $\mathbb{N}$ews: Abstractophobia

Friday, Aug 28, 2026

We’ve all been there: it’s grandma’s birthday so you’re at her apartment in Roosendaal with your whole family. Your uncle is talking about how he’s using the A.I. at his …

by Hugo Rennings

4 minute read

Do LLMs deserve this much attention in academia?

Friday, Aug 28, 2026

While the first public release of ChatGPT, which kicked off the AI-boom, happened less than four years ago, Large Language models (LLMs) now seem to have permeated every part of our digital existence. …

by Filip Rehburg

6 minute read

Embedding provability and proofs: What they don't tell you about the Gödel-McKinsey-Tarski Theorem

Friday, Aug 28, 2026

Some better-known facts

Let me begin this article like a good book on mathematical logic: with Kurt Gödel and a definition. In a short paper from 1933 titled “Eine Interpretation des …

by Justus Becker

13 minute read

Fundamentals of Computational Perplexity Theory

Friday, Aug 28, 2026

Introduction

This article lays the groundwork for a new field of theoretical Computer Science, which we call Theory of Computational Perplexity. Computational …

by Matteo Celli

6 minute read

Rotating Bread: Understanding high-dimensional holes using pastry

Friday, Aug 28, 2026

There is a joke that topologists cannot distinguish between a bagel and a coffee mug. The reason for this is that topologically speaking, they are equivalent (or homeomorphic, to use the precise …

by Max Wehmeier

5 minute read

Structuralist Foundations for Mathematics

Friday, Aug 28, 2026

Structuralism in philosophy of mathematics is the view that mathematical statements rather than describing objects, describe only structures on objects, and that mathematical entities as such are or …

by Magnus Kjaergaard

13 minute read