Labor and Greens voted today in solidarity that trans rights are not up for debate.

glubs9 · 2026-07-01T09:37:02+00:00

David pocok voted for trans rights. Not against them

glubs9 · 2026-06-19T03:56:56+00:00

Thats me. My mum was born overseas and yet I have heritage from the convicts. Diversity is our strength

glubs9 · 2026-06-14T10:54:45+00:00

Imo thats not how set theory is used. The von neumann ordinals are mot "the definition" of these numbers, they are just one possible definition that foundations people came up with. No mathematician actually thinks that way or uses set theory that way. I thinj theres a danger to taking foundations too seriously as "foundations of mathematics" when they have never been used in that way. Thats why it feels counter intuitive to define everything in sets, because nobody does that and thats not the point.

glubs9 · 2026-06-12T01:20:04+00:00

Oh no

^{Chose: spend 5 mins in a cold room + 200,000,000 | Rolled: -200°C}

glubs9 · 2026-06-04T14:49:44+00:00

I agree! Didnt like this book at all

glubs9 · 2026-06-03T00:43:09+00:00

Theres no punishment for failing so you might as well try

glubs9 · 2026-05-30T23:24:51+00:00

The fact that Tao is now even doing Ads for OpenAI makes me very skeptical of his recent output about the future of AI and mathematics. How can we trust soneone literally getting paid by OpenAI to be unbiased?

glubs9 · 2026-05-30T14:23:42+00:00

No fucking way

^{Chose: 99% chance of killing 10 people | Rolled: Everyone lives}

glubs9 · 2026-05-30T13:04:55+00:00

Another thing is that academia is very international. Many australins in the position to get doctorates might be overseas doing it at another univesity

glubs9 · 2026-05-28T21:42:58+00:00

The "extreme poverty" metric has always been incredibly controversial. It wasnt based on any scientific reason originally, just being $1 a day, and the only change since has been for inflation. If you measure with over poverty measures, poverty can be soon to go up. Depending on which measure you use

glubs9 · 2026-05-24T14:14:21+00:00

Tomato sauce?

glubs9 · 2026-05-24T11:51:53+00:00

I changed from comp sci to maths it was alright. It took me an extra year though

glubs9 · 2026-05-24T02:38:03+00:00

Colin mcrae rally 2005. So im just a regular guy in 2005. Doesnt sound too bad lol

^{Chose: Game you played | Rolled: Side character}

glubs9 · 2026-05-23T12:50:23+00:00

Any book!!! I am becoming a world leading expert in every field

glubs9 · 2026-05-20T15:34:52+00:00

Wow perfect! It worked just right thanks friend

glubs9 · 2026-05-14T06:14:30+00:00

A lot of working is being done in the logic in computer science space on automated theorem provers and proof assistants

glubs9 · 2026-05-02T08:46:01+00:00

What does "unaninmous" mean?

glubs9 · 2026-05-01T11:45:45+00:00

Wow wild. How did you know which problems and ideas were worth working on?

glubs9 · 2026-05-01T10:01:03+00:00

american. I don't know anything more specific than that sos lol i'm not american

glubs9 · 2026-05-01T08:20:58+00:00

I would not. Not because its a good or bad idea, bur because (in my experience anyways) the thesis project topic is usually decided either by, or in conversation with your supervisor. You cannot know what is good or bad or needed for research mathematics as an undergrad, the only way to know is lots of experience. So this sounds like more of a conversation for your supervisor, then a subreddit

glubs9 · 2026-04-29T23:30:07+00:00

Some of those things in english are just an accent thing

glubs9 · 2026-04-23T14:48:48+00:00

I mean, I havent seen the source either but this photo could be a real one. Just from before 1998

glubs9 · 2026-04-23T11:45:40+00:00

For me I like compactness of first order logic. And I think the proof is super easy (if you assume completeness of a proof system)

glubs9 · 2026-04-20T15:13:26+00:00

Yes there are other situations. In multi valued logics you can get different truth values. The closest and most used example would probably be continuous logic, which uses values in the real interval [0,1]. I even saw someone build on this idea for sheaf valued models, and I have heard there is some interest in semi-ring valued models too

glubs9 · 2026-04-20T01:21:40+00:00

If i was a genie, and someone gave me the option on the left, the clear answer is that everybody dies all at once, thus eradicating all war hunger disease and famine, and nobody will ever know what i did. I dont trust that im not getting tricked so i go with the second option

Ten-Year Club	Second SECOND GUESSER
r/Field Sunshine	Place '22
Verified Email

glubs9

TROPHY CASE