Viewing profile — ginnungagap

I know Talagrand because some of his work comes up in topological dynamics (work around Rosenthal's l¹-dichotomy culminating in the Bourgain-Fremlin-Talagrand dicothomy for compact…

Wow that was fast, how does that safety system work?

> This is simply false, as I already explained. I'm sorry but this is just wrong. Since you seem to like Shapiro's book more than traditional set theory books let me quote from pag…

It is a theorem of ZFC that uncountable sets exist and every model of ZFC will have a set that the model believes to be uncountable. It doesn't matter than the metatheory might bel…

Of course, but what is your point?

Löwenheim-Skolem gives you a countable elementarily equivalent submodel (assuming you're working in a theory in a countable language, otherwise it gives you an elementary substruct…

Beginners do that exactly until the first time they have a render crash halfway through, then they learn about rendering each frame as an image (yes I learned this lesson the hard …

If to understand D you need to know both B and C, each of which requires familiarity with A, the graph is not a tree

Those seem to be working! Thanks!

Italian here, I was trying to access anna's archive today (and libgen as well) without success, is there any easy workaround?

Oh I see, I was confused because I didn't mention PPE in my comment, maybe you meant to answer to the other top level comment which does use this abbreviation!

I'm not sure what's your point, that hardly looks like a math heavy degree

Weird to write an article about Liz Truss as a math snob (a description that seems rather stretched to be honest) without mentioning that her father, John Truss, is a fairly well k…

The pdf includes famous altered images from the 2006 Lebanon war but not other well known staged ones from the same conflict, so maybe the author does consider staging a different …

Enver Hoxha, the Albanian dictator from 1944 to 1985, also had the habit of having photos altered to remove former allies that fell out of favour and just generally making himself …

> I think this paper is refuting Conway (and others') proof of the claim that a set can be divided into 3+ parts without relying on the Axiom of Choice. This paper is not refuting …

Let (X,≤) be a partially ordered set. Define a category C whose objects are the elements of X, while for the morphisms there is a single arrow x→y iff x≤y. Those are called posetal…

> this idea isn't new, Leica did this in 2012 They also released the M10 monochrom in 2020 and the M11 just this year. As long as there's people willing to pay 7k for a (B&W) camer…

> the system not being able to prove its own consistency doesn't mean that it being inconsistent! Another funny thing that can happen is that a system proves its own inconsistency,…

> In other words, it shows that there is something fundamentally impossible in trying to capture an infinite structure (like numbers) by finite means (e.g. recursively axiomatizabl…

I'm curious about this, another comment in the thread expressed the same opinion about math pages on wiki, while I've always heard the opposite opinion among mathematicians. Could …

The author is using the usual definition where vertices are an arbitrary (finite) set and edges are pairs of vertices. From the book: Definition 2.1.1. A simple graph is a pair (V,…

Usually people don't explicitly post links to libgen in their public website, but the vast majority of mathematicians makes ample use of libgen and sci-hub without thinking twice

Thanks for your comment! Compiler development does sound like a very interesting area, do you have a textbook or online lectures to recommend to get started?