Na Univerzi v Ljubljani smo uspešno prestali mednarodno evalvacijo finske agencije FINEEC, ki je potrdila naše mesto med odličnimi evropskimi univerzami. Kratko poročilo mednarodne komisije, ki je ocenjevala našo Univerzo, si lahko preberete na povezavi karvi.fi/en/current-iss…

Just came here to say that I wrote a blog post on space-filling curve in constructive math. math.andrej.com/2024/01/30/spa… (Further discussion takes place on Mathstodon, pointers can be found on my profile, I am not on Twitter anymore.)

For undegraduate students FMF UL is organizing the Ljubljana Mathematics Summer School mathematicsinljubljana.fmf.uni-lj.si. We provide housing and free meals! Application deadline: April 14, 2024

Fully funded PhD positions at FMF UL Math department of the University of Ljubljana (full tuition, full-time public sector employee, travel & equipment money, minimal teaching): imfm.si/javni-razpisi-… (deadline April 15, 2024) uni-lj.si/study/young-re… (deadline April 9, 2024)

arxiv.org/abs/2404.01256

“How not to believe in Excluded middle". This was fun. youtube.com/watch?v=96iHUx…

"A web of theorems" - Andrej Bauer, Principal Investigator University of Ljubljana univerzalj 🎨🤖 2/7 #AerospaceResearch #AFResearchLab #AFOSR #BasicResearch #AFOSRSTEM

Andrej Bauer

Did Turing prove the undecidability of the halting problem? with Theodor Nenu We discuss the accuracy of the attribution commonly given to Turing (1936) for the computable undecidability of the halting problem, eventually coming to a nuanced conclusion. jdh.hamkins.org/turing-halting…

I am very much looking forward to giving a talk for the general audience at the Sydney Mathematical Research Institute SydMathInst on August 13. It's the toughest kind of talk to give, but also the most rewarding. …ical-research-institute.sydney.edu.au/event/zeros-an…

Have you ever wondered how computers can help us to visualize and solve equations? What drives #mathematicians to solve equations in the first place? Join Andrej Bauer at the #NationalScienceWeek SMRI #publiclecture to answer these questions and more! 👉 Register:

If you'd like to know what this is, you're kindly invited to fly to Sydney and attend my #publiclecture “Zeros” on Tuesday, August 13, 2024 at 5:30pm at SydMathInst, which is part of #NationalScienceWeek, see bit.ly/4dvtDm8 for details.

Povzetek vodnika za vzpostavljanje spoštljivega dialoga in razumevanja v polariziranih razpravah. kvarkadabra.net/2024/08/kako-s…

The video of my SydMathInst public lecture is out. youtu.be/8wrYPqEU1x0?si…

#Zeros by Andrej Bauer video is now on YT. If you missed out on this great public lecture, catch up here 👉 bit.ly/4cPuCN2 #ScienceWeek

You arrive at a bank and there are two clerks with two INFINITE queues of people waiting. The queues are identical and the clerks equally effective. As you're considering your options, a guy walks in and joins one of the queues. Which queue will you join?