ginnungagap

5 ms·

1.
by ginnungagap 3y ago
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 sets of Baire class 1 functions), but I had no idea he
2.
by ginnungagap 3y ago
Wow that was fast, how does that safety system work?
3.
by ginnungagap 3y ago
> 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 page 144 that the existence of an uncountable set
4.
by ginnungagap 3y ago
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 believe that model to be countable (why should the metathe
5.
by ginnungagap 3y ago
Of course, but what is your point?
6.
by ginnungagap 3y ago
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 substructure of the same cardinality of the language at best),
7.
I'm not trying to destroy art, says man planning to do just that if Assange dies(theguardian.com)
5 points by ginnungagap 3y ago|0 comments
8.
by ginnungagap 3y ago
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 way)
9.
by ginnungagap 3y ago
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
10.
by ginnungagap 3y ago
Those seem to be working! Thanks!
11.
by ginnungagap 3y ago
Italian here, I was trying to access anna's archive today (and libgen as well) without success, is there any easy workaround?
12.
by ginnungagap 3y ago
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!
13.
by ginnungagap 3y ago
I'm not sure what's your point, that hardly looks like a math heavy degree
14.
by ginnungagap 3y ago
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 known model theorist! (Even though they're not really ve
15.
by ginnungagap 3y ago
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 category?
16.
by ginnungagap 3y ago
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 look better, but he's not included in this pdf. To be f
17.
by ginnungagap 3y ago
> 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 Conway's, and Conway's paper does not prov
18.
by ginnungagap 3y ago
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 categories and are often used as examples
19.
by ginnungagap 3y ago
> 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) camera, leica is going to make them
20.
by ginnungagap 3y ago
> 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, despite being consistent. The short summary is to n
21.
by ginnungagap 3y ago
> 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 axiomatizable). Let me just point out for other readers that Löwenhei
22.
by ginnungagap 3y ago
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 you say a bit more on what makes pretty much all o
23.
by ginnungagap 3y ago
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, E), where V is a finite set, and where E is a subset of P_2
24.
by ginnungagap 3y ago
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
25.
by ginnungagap 3y ago
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?
26.
by ginnungagap 3y ago
Thanks for your comment! Do you have any book or online lectures do suggest to get a taste?
27.
by ginnungagap 3y ago
This does sound very interesting! There was a chip design course during my masters that I always regretted not taking because it overlapped with something else
28.
by ginnungagap 3y ago
Thanks for your opinion, photography is a hobby of mine, but I never really considered the option of turning it into a job
29.
by ginnungagap 3y ago
> The conventional wisdom was that if academia didn't work out it would be easy to jump into industry. Thanks for your comment, this is definitely a widespread opinion in my department as well, but I've heard from many people w
30.
Ask HN: For advice: I'm a mathematician looking for a plan B outside of academia
34 points by ginnungagap 3y ago|77 comments

More ›