2:06 PM
I think Godel redefined what "proof" really means in mathematics

Not really

I mean in the big picture it will always be incomplete.

I mean sure
But that's not really relevent here

random thought: If our spacetime can be described in terms of hyperreals instead of reals, it probably will not make much of a difference because our measurement precision can never get down that far into the infintesimals

how so is it not relevant here?

2:16 PM
But surely there should be "aggregates" of infintesimals in a certain way such that the resulting microscopic phenomenon differs from anything that can potentially be described by real numbers....?

Because it's a proof from Gödel unrelated to his work in that area

But then if infintesimals exists, what will be the implication when such concepts interact with quanutm mechanics...?

ok

2:34 PM
@Slereah why even use a Fock space :p
Need to include that too

@bolbteppa Free theory baby
People never seem to actually really explain the Fock space
I had to look up how it's actually constructed

2:51 PM
I prefer to use the operator space directly, but then crazy numerical hell
Even quanutm computing cannot have infinite parallisation (because ultimately how similar two state vectors are are subjected to how fast can the laser pulse be set
thus there is nonzero separation between any two nearby superposition states
vzn, 2270: O and don't worry if the above sounds a bit like SCP-055, because the fact it is antimemetic means it will play a role in the Saturday election, or maybe even the mid terms in 7 November
That's the price they have to pay to stay hidden, so to speak, and it is a law of nature that they cannot get away from it
It all dates back to the Ultimate answer, the 42 of noncorrespondance, and because of that, they will all [data expunged]
So yeah, let them have their last, because after that, there won't be anything left
(I think I read too many SCPs)
> "Ideas can be killed," she says, stepping into the airlock.
"How?"
"With better ideas."
I repeat:
Ideas can be killed
Or more accurately
$$\Huge{\text{Ideas and metaphysics can not only be blocked, they can be ERASED FROM EXISTENCE}}$$

3:18 PM
@Secret Let's hope that doesn't get flagged for spam :P

lol
I get very unstable whenevr Slereah is nearby (or more accurately, Slereah under the effect of SCP-055)

it's been a while

@Secret Oh jesus what the hell

@Loong that is an excellent find

sir cumference: got pwned, that's what

3:26 PM
I almost burst out laughing in lecture because of this

lol

hi

@EmilioPisanty I finally remembered to look it up before leaving work.

@Loong your work pays for ISO standards?

yes

3:30 PM
fancypants schmancypants
so
you arranged for ISO to earn forty bucks' worth of BS?
OK, it's closer to thirty bucks

I think it's some general contract. I don't think that we have to pay for each individual download.

hopefully

Bug?
(repeated questions in "New feed items")

3:52 PM
BTW, can a mod or room owner remove the format-breaking MathJax from the star board?

hmmm

@EmilioPisanty with one flex of his mighty moderatorial thews John springs into action.

@JohnRennie what's a "thew"?
wait, that wasn't a typo?

@EmilioPisanty a tendon

bejeesus
the English language, sometimes....

3:57 PM
@EmilioPisanty it's a somewhat archaic word these days. Much loved of pulp era science fiction, a genre for which I have a weakness.

ah
so basically you're saying that you like archaic words
is OK
I get

a thew = a tendon?

@EmilioPisanty I'm British. We like archaic everything.

til

@JohnRennie I lived in Britain for >4 years. You lot like archaic stuff for sure, but nowhere near that much.
btw, speaking of
what's this I hear about DUP voting down the budget?
man, that'd be mighty interesting

4:00 PM
The DUP are rabid unionists, i.e. supporters of the union of Northern Ireland with the UK, and they fervently oppose anything that suggests weakening of the union and increased links with Eire. They would see it as the thin end of a wedge.
Actually they would be quite right, but union with Eire is inevitable in the long term anyway.

What's Eire

Do I have to Google everything for you? :-)
4

maybe

Éire (Irish: [ˈeːɾʲə] ( listen)) is Irish for "Ireland", the name of an island and a sovereign state. The English pronunciation is (AIR-ə). == Etymology == The modern Irish Éire evolved from the Old Irish word Ériu, which was the name of a Gaelic goddess. Ériu is generally believed to have been the matron goddess of Ireland, a goddess of sovereignty, or simply a goddess of the land. The origin of Ériu has been traced to the Proto-Celtic reconstruction *Φīwerjon- (nominative singular Φīwerjū < Pre-Proto-Celtic -jō). This suggests a descent from the Proto-Indo-European reconstruction *piHwerjon...

@JohnRennie so... what's brexit going to look like?

4:03 PM
So it's just Ireland...but using the Irish term for it?

'kin awful

like saying nippon instead of Japan?

I mean, it's just five months to go, surely folks have figured it out by now, no?

@JohnRennie lolz
looks like, yep

4:06 PM
It's funny in the same sense that lego graduate student is funny
(i.e. not funny)

@enumaris it's just Ireland, but with a nontrivial load of political, social, and cultural connotations
@JohnRennie c'mon, LGS is funny

hmmm

@EmilioPisanty LGS makes you laugh with relief

I guess if you're right in the middle of a grad-school-induced panic attack it'll be sad instead of funny, but take a bit of distance and the gallows humour becomes pretty funny
ditto with Brexit
@enumaris if you will, think of Eire as Ireland but without all the English invasions and colonialism

@EmilioPisanty right, but in the case of Brexit I (and 50 million others) are that graduate student

4:09 PM
@JohnRennie yeah, I know

Hmm, should I have used am or are in that sentence?

@JohnRennie have you talked with people who voted for brexit to get a sense of why they did it?

@enumaris shhhhhhhhhh
that's Rule Number One of remainers
you NEVER TALK TO LEAVERS

@JohnRennie I think "am" because the parenthetical is not part of the grammatical structure?

@enumaris yes, and they voted that way because they're having a rubbish time (mainly due to the 2008 crash and austerity) and want someone to blame. And the British press have spent years telling them that Europe is to blame.

4:11 PM
@JohnRennie I see...
So it's mostly an economic reaction like...Europe is bad for Britain's economy, therefore leave Europe?

@enumaris I can't remember which continent you're in, but there is similar sentiment in many European countries, usually associated with right wing movements. But only the UK was foolish enough to hold a referendum on it.

@JohnRennie holding a referendum is OK

Having studied Economics at the undergraduate level, it is indeed quite complicated...but my training has always been "more free trade = higher overall utility"
@JohnRennie I am in U.S.

only the UK was foolish enough to hold a referendum on it which wasn't legally binding but y'all still built up to be morally binding while also having no pre-defined what-happens-after plan

Sometimes I see some news about Californians who want to secede from the U.S. but it's always just a tiny fringe group...

4:13 PM
Pretty much every economist you ask will say that free trade makes everyone better off - or so my economist sister in law tells me.

and also allowing the proponents to run a campaign utterly devoid of plans on what would happen if they won

@JohnRennie yes, that is the general wisdom in Economics

@bolbteppa lol

@JohnRennie any chance y'all will go "it's too complicated to leave, screw it, we're staying"?

4:15 PM
But the UK press is mainly run by rabidly anti-European billionaires who use it to make statements that while technically true are functionally equivalent to lies.
@enumaris no, it's headed for a hard Brexit.

is that better than the flat out lies Mr. Orange says every day?
@JohnRennie :(

@bolbteppa man, the pound bit at 1:11 gets me every time

One point to be made is, both have a FPTP voting system

The opposition party is more interested in forcing a general election in the hope of dislodging the government than it is in what's good for the country.

@JohnRennie any chance y'all will make free trade deals and the like to make it like you technically left the EU but functionally remains the same?

4:17 PM
So there is simply no large segment of the politicians who are prepared to stand up and say frak it let's just forget the whole idea.

@enumaris that's generally known as the "betrayed brexit" option

oh, there's even a name for it

@enumaris no, because then the UK would be getting all the benefits of membership with none of the costs. If that happened the other 27 countries would immediately do the same and that would be the end of the EU.

so there's hope?

@enumaris I think that's the name
the gist of it anyways

4:18 PM
@JohnRennie ah...well then...
I have no more suggestions for y'all...my condolences

It's vital for the EU that the UK is seen as having suffered due to Brexit to stop other member countries deciding to do the same thing.

So the EU is hoping the UK falls on its face hard?
ouch

There will be few tears shed in Brussels when that happens.
And I find it hard to criticise them for that.

@enumaris yes, but more importantly: yes, and this was blindingly obvious from before the referendum

I think people blame the ringleaders too much and not the voters enough for this kind of mania

4:21 PM
the UK actively voted to put themselves in a position where it is vital to their negotiating partners in the EU that the UK falls on its face hard

There really is no excuse for indulging in this fear-based mania under any circumstances and it's a tragedy people are still pandering to such irrationality

@bolbteppa same thing happening over here with Mr. Orange tho
well maybe not "same", more "similar"

@enumaris yeah, even harsher words apply in that case :p
3 weeks time is the first moment to save grace, it's amazing the Senate is not already a foregone conclusion to the dems

whatcha got against this guy?

I have my mail in ballot and am ready to vote
@EmilioPisanty maybe I should use the term Mr. Cheeto?

4:24 PM
Get 2-3 people who didn't vote in 2016 to vote this time round

@enumaris that's a fantastic term

To be fair, suppose I were asked to vote on string theory. I have little understanding of it and too little time to significantly improve that understanding, so I would be voting based on whether Peter Woit or Briane Greene was more convincing. And this is pretty much the position that large parts of the UK public found themselves in.

@bolbteppa in my state, the only 2 candidates for the senate are both Dem
just one more radical dem and one more center dem

Exactly, questions like this shouldn't be put up for popular vote, only in the fever swamps was this taken seriously

@JohnRennie now I'm imagining Peter Woit using "immigrants" as an argument against string theory...uhhhh

4:26 PM
Luckily Michio Kaku would swoop in and save the day in that case, where was Brexio Kaku :(

@JohnRennie I suspect you would do much more research, even if it's just to see what exactly Woit and Greene have said, than the majority of voters though...

Bernie Kaku was the light against Mr Orange (and will be :p)

Bernie Kaku was shut down by Hil Tyson

@enumaris to be fair, the impression I get of Peter Woit is that he's a nice chap. If you went out for a drink with him you'd find him good company. He just has a rather string opinion on string theory. But then much the same is said of Motl.

4:28 PM
@enumaris wait, what's the deal in CA?
why's there no republican candidate?

Nunes is from CA

@EmilioPisanty no republican candidate for Senate

CA Senate race has a jungle primary right

I think probably the republican candidate didn't get enough votes to get put on the ballot, but I'm not sure

> Under California's non-partisan blanket primary law, all candidates appear on the same ballot, regardless of party. In the primary, voters may vote for any candidate, regardless of their party affiliation. In the California system, the top two finishers—regardless of party—advance to the general election in November
huh
that's a bizarre way to run legislative elections
but hey, whatever rocks your boat

4:29 PM
So we get Feinstein and De Leon

it's not like US elections make any sense to begin with

(Hartson should've won)

@bolbteppa you say "jungle primary" like you expect non-USians to know what it is

Center-Left Dem (or radical left if you go by Mr. Cheeto's definitions) and Far-Left Dem ( Don't know how to go more left than "radical left")

jungle primary basically means there's no primary, just a runoff

4:32 PM
@EmilioPisanty Obviously you drop all candidates into the middle of a jungle somewhere and those who survive a week proceed to the next round.

@ACuriousMind ah, of course

I don't really get why they call it a jungle primary vs. a runoff tbh

@ACuriousMind interestingly, that method would have made sure Mr. Cheeto was never elected

I think that's a Battle Royale primary :p

his bone spurs would have prevented his involvement

4:33 PM
I like bone spurs that weren't captured

@Semiclassical because US politics has a mental age of 5 and it can't fully parse abstract concepts unless they're spelled out using explicit metaphors?
dunno, just hypothesizin' here

@bolbteppa No, that's dropping them into an arena with a weapon of their choice, last candidate standing gets the position

Get your murderous election schemes right!

I vaguely remember the end of that movie coming down to two people facing off or something :p

4:34 PM
i think the distinction is that a jungle primary is a runoff election with no party nomination process

@bolbteppa they used the power of love to make the organizers change minds so they both survived

so a jungle primary is a runoff without a primary :P
(or, it's a primary in the sense that a runoff itself is: a primary for who is eligible to be elected, not who serves as a party nominee)

4:48 PM
ooo a moon-landing conspiracy dude on PSE
-2

it seems like NASA and other space agencies are making fool of the whole world. i think that they are showing us just fake photos of them going there. ????

@ACuriousMind as a mod, you still have to "vote" to close rather than just "close"?

@enumaris Yes, it's still "one person, one vote". But in case of being a mod, I am The Person, and I have The Vote.
(with apologies to Terry Pratchett who I stole this joke from)

@ACuriousMind The Patrician is so great.

He really is <3

lol
What's the flag option I should use if I think the question belongs better on another stack exchange - but not meta or math?

Terifying but utterly methodical in his aims. I can work with a person like that.

4:53 PM
@enumaris Vote to close normally and ask the OP to consider flagging their question for migration (with a custom mod flag) or just to delete it here and reask it there. There's actually very little benefit to migration as opposed to the OP just deleting and reposting on the other site.
But arguably low-rep users could worry about being hit by the automatic question ban for deleting too many questions, so flagging for custom migration is totally fine

hmmm