« first day (2695 days earlier)      last day (2235 days later) » 

12:03 AM
Why is it $U[\Lambda] \phi(x) U[\Lambda]^{-1} = D(\Lambda)^{-1} \phi(\Lambda x + a)$ and not, say, $D(\Lambda)$?
 
12:27 AM
i don't know who's been randomly flagging stuff recently, but it seems to be a real problem.
strange.
 
did someone flag my gay comment?
Homophobes.
 
@Phase no, it was just a general comment (I noticed the earlier conversation)
2 hours ago, by ACuriousMind
^seconded, and flag dismissed.
 
Got it, stupid conventions strike again
 
12:51 AM
@dmckee if you're around this one's pretty much worthy of the hammer: physics.stackexchange.com/questions/394683/…
(clearcut homework question)
 
vzn
1:08 AM
yesterday, by Phase
fr im deleting rn
 
 
1 hour later…
2:09 AM
Yeah I did
Instead of being a weasel why don't you either double check for yourself or confront me directly about it : P
 
How did obe get banned again, for 6 days?
 
@SirCumference im p sure mods aren't keen on saying that sorta stuff
 
@Phase It's not bannable to ask something like that
 
im not saying it's bannable just saying idk if they'll say or just say "best to move on"
 
2:43 AM
@Phase This is correct. We (elected moderators) should not be discussing the details of a suspension short of the user's explicit request to divulge such information, and it's basically never a good idea to do so while the suspension is in play. (Because by definition that person can't represent their own POV in such discussion.) Then since the only people with the verifiable information to speak knowledgeably on the subject can't/won't, it behooves the room not to dwell too long on it.
 
I have a question about technicalities
 
(for me?)
 
If someone is banned, and dictate to a friend who writes their views in chat
will the person being dictated to also be chatbanned
 
@Phase It depends what they say. If they say things worthy of a suspension, then yes. If not, then you're basically here: xkcd.com/810
(mild profanity at that link ^^ )
 
nah I meant like
because they're circumventing a chatban
I'm sure if they got on a second account to do so they'd also be chatbanned
but if they're talking through their friend that's fine?
 
2:51 AM
@Phase If someone were suspended and hopped on a second account and did nothing offensive they'd go undetected. That's actually the system working as intended.
 
3:14 AM
wait so if someone openly declared who they were
but didn't reoffend
there's no punishment
for circumventing penalties
i cant believe that tbh
 
3:32 AM
@Phase So you're talking about Alice getting suspended, then Bob says "Alice says: balhblah1" "Alice says: blahblah2" "Alice says: blahblah3"?
 
i was originally but then you said that Alice getting suspended and going on a second account and being clear that they're Alice is fine
 
Eh, that's not really fine. What I'm saying is that we know we can't possibly detect someone who's suspended creating another account, gaining 20 rep, and coming in innocuously. And that, if they do so, they've gone ahead and solved the problem we were trying to solve--their bad behavior--anyway. So the system's working fine.
If they come in and say "la dee dah, people, lookatme, it's old Alice-been-banned" then they're not acting innocuously. They should be suspended for the length of (original) Alice's suspension.
Now if Bob starts acting as a mouthpiece for Alice I'm going to pull him aside and warn him that he's enabling Alice in circumventing a suspension, and that isn't cool, and please stop or we'll have to treat you as a sockpuppet for Alice, here's your suspension to match Alice's.
But here's my question: why do we need to know all the esoterica about how to handle people being morons around suspensions? Let's just not get suspended, eh? And if we do, just sit in the penalty box for a while and come back behaving a little better.
 
vzn
addendum. theres this thing called sockpuppetry that gets serious hardine response on SE for good reason. eg use of multiple accts for voting etc... afaik it is sometimes defined rather broadly.
...
> Hugh Everett, creator of this radical idea during a drunken debate more than 60 years ago, died before he could see his theory gain widespread popularity
 
3:48 AM
Hey all :)
 
4:02 AM
@nitsua60 Let's just not ban people unless we really need to
More warnings won't hurt
 
@SirCumference I believe I've never kicked someone before yesterday. I think I've used a lot more words than I have force, but please correct me if I'm misunderstanding things.
(And I believe in each case--except the mistake for which I apologized sincerely--I specifically called out the thing I though was problematic beforehand.)
 
 
1 hour later…
Anonymous
5:15 AM
@SirCumference I think you don't know this, but obe had been repeatedly trying to verbally attack me, for some reason which I'm un-aware of. It all started since his ban, which took place 3-4 months ago for saying someone "I will find you and..." and ACM banned him. When he came back I just told him that being salty about it and continuously trying to attack the mods isn't really pleasant behavior and just to let it pass. And that's when he started attacking me, too.
 
Anonymous
It's been a sporadic phenomena since then.
 
Anonymous
The reason why he got banned for 6 days is when he came back after the ban yesterday he again made some bad-humor jokes against me.
 
Anonymous
@Phase You too, have a read.
 
Anonymous
I feel bad for the mods because they're restricted by the site rules from discussing reasons of bans, explicitly, and yet you are keen insisting. @SirCumference And no, this time he/she really didn't deserve anymore warnings. It was really needed as you said.
 
5:35 AM
My honest feeling is that anything related to dealing with problem users, imposing bans and so on, should be off topic in this room. Let the moderators do their jobs without any kind of judgement or harassment. There's nothing to be gained by analysing it here.
 
Anonymous
@DawoodibnKareem It's possible that a moderator makes mistakes. So discussing it among users should be okay, although avoided. I've seen instances where people have been suspended by mistake and mods later apologized.
 
Anonymous
However, continuously insisting mods to do something which they're not allowed to do is bad habit.
 
I disagree. If you think a moderator has made mistake, raise it with them privately. Or at least in a room that's just for you and that moderator. No point airing the dirty laundry in front of a crowd.
 
Anonymous
I myself had been banned once for saying something along the lines of "I watch IPL only because of the cheerleaders" or something like that. When I came back after the suspension Rob did indeed say that the ban was a bit too much, and they did that by mistake (without analyzing the context) just because someone had flagged it. And no, there's no way of contacting moderators privately, if you're banned in chat. (Other than commenting on their posts on the main site, which isn't a good idea.)
 
Banned for how long? The usual ban is 30 minutes. Nobody dies from being unable to chat for 30 minutes.
 
Anonymous
5:42 AM
@DawoodibnKareem Yeah, but in case of longer bans, like in obe's case
 
Anonymous
Not all chat bans are 30 mins long
 
Things seem to have turned pretty serious of late, what exactly happened here?
 
Anonymous
@PrathyushPoduval Read my first message above ^
 
It is possible to contact Stack Exchange administrators during a chat ban. But if it were just 30 minutes, why would anyone bother?
 
@Blue yeah I read it, but how did all of this start? Getting the room frozen and all
 
Anonymous
5:44 AM
@DawoodibnKareem The first option is possible, but it would again be a pain if people from all sites of SE started contacting the dev team, for discussing their chat-bans. I don't think you should encourage that idea.
 
Anonymous
I think the rule, as of now, is okay
 
There should be some appeal system for longer bans
 
Anonymous
As long as someone is not being "shamed" while they're chat-banned, it's all fine and good. People can discuss the facts. And mods can point out if someone is just conjecturing rather than stating facts.
 
Anonymous
@PrathyushPoduval I agree
 
Anonymous
@PrathyushPoduval Ah, that frozen part was due to something else. It's not related to this
 
5:46 AM
My reading the transcript thought it slowly lead to this
what happened here then?
(Did obe insult you here?)
 
Anonymous
@PrathyushPoduval Read this
 
Anonymous
@PrathyushPoduval Yes
 
Yeah, I still disagree. Analysing people's bans is not what this chat room is for. And I'm sure that chat bans of longer than 30 minutes are rare enough that it wouldn't be a huge imposition on the administrators to have to answer the occasional email.
 
@Blue Yeah that's what I read
among other things
 
Anonymous
@DawoodibnKareem Well, fair enough
 
5:48 AM
@Blue sorry, I missed some parts of it
 
Anonymous
@DawoodibnKareem But, keep in mind that SE is a democracy and people have the right to information. That perhaps what basically my point boils down too. However, your point is also strong and good. Can't deny.
 
> SE is a democracy
err, no it isn't
 
Anonymous
@JohnRennie Well...sort of. We hold elections for mods, etc. We decide many rules of the community by discussing among the people. Although it's not an exact democracy, it's close to one.
 
SE is a private company, whose purpose is to make money.
They outsource some of their labour to willing (and sometimes elected) volunteers.
This saves them a fortune.
 
@JohnRennie @PrathyushPoduval @Blue Good morning !
 
5:51 AM
Good mornin'!
 
Morning :-)
 
Anonymous
@DawoodibnKareem Yes, and you can't make money without keeping users happy. People don't like being denied the right to information. :P
 
Anonymous
Anyway, let's stop this and move on
 
that would be woonderful
 
6:11 AM
@Blue I genuinely did not know. From where I stood, I solely saw him being banned on potentially the last day he could talk.
Hence why I kept asking about it.
 
Anonymous
It's okay. I'm happy that things got cleared now.
 
Yeah. Sorry again.
Well, on a brighter note, how's life been?
 
Anonymous
Too many tests and report-submissions, lol
 
Anonymous
I'm waiting for the summer vacations in May
 
Tell me about it, I'm drowning in midterms :/
 
Anonymous
6:18 AM
I'm presently writing the report for the lathe/drilling/carpentry workshop. Apparently, if things don't turn out right, I'll at least have the option of becoming a carpenter in future. :P
 
Anonymous
That's what the professor said XD
 
A carpentry workshop?
 
Anonymous
@SirCumference Yeah, we have it every Monday, even though I'm in the Electronics department. No idea why
 
Anonymous
Even CS students have to take part
 
Anonymous
We cut wood, shape metal rods, make screws, etc
 
6:20 AM
Huh. I mean we have labs in the U.S., but nothing so hands on
That at least sounds fun, making projects
 
Anonymous
It's not fun. Trust me. You wouldn't like to spend your time 3 hours in a 150 year workshop room filled with cobwebs. :P Apparently that place was a place to store bombs during WW2
 
6:43 AM
@Blue Do we need to learn things like Thevenin's/Norton's theorem, star-delta transformations, supernodes, superposition theorem for JEE? ..or will normal Kirchhoff's equations/symmetry do? I tried looking them up to learn them, but it gets very vast quickly..
 
What should I learn to do physics simulations in C++ like the ones done here ?
 
Anonymous
@Rick What I recommend learning thoroughly is nodal analysis. It's well discussed in BM Sharma
 
Anonymous
Other than that, star-delta could be useful, but not very often
 
Anonymous
Also maybe check out the Physics Galaxy lectures
 
ok
 
7:00 AM
@AlexKChen is it the physics or the programming you're asking about?
 
@AlexKChen Mathematics. If you can do mathematics, then the physics is easy. I'm assuming you know enough C++ not to trip over the programming.
 
Anonymous
@DawoodibnKareem How do you make those applets with C++? Is there any package for that?
 
Anonymous
Getting hold of a decent graphics.c package was such a pain, as I remember
 
Anonymous
Uh, maybe it's there in C++. I've only used C
 
@Blue Did you read the two sentences at the top of the page?
 
Anonymous
7:12 AM
@DawoodibnKareem It's written Java there
 
Anonymous
But you mentioned C++
 
Anonymous
"I'm assuming you know enough C++ not to trip over the programming."
 
Because Alex asked what to learn to be able to write simulations like that in C++.
"Learn Java" would have been a strange answer to such a question.
 
Anonymous
Yeah, that's what I'm referring to. Is there any such applet/simulation making package available for C++?
 
Anonymous
The popular one used to make simulations is Visual Python I guess
 
7:18 AM
I've never really looked for one. Applets are so 20th century.
And I prefer to write in Java.
 
Anonymous
I used to like Java. But nowadays I prefer Python. It's like an easy version of Java with much more features
 
Anonymous
Takes way less time to code
 
@Blue is sonometer in the syllabus ? I just saw a problem from it in AIEEE 2002
 
Yeah, I found python a source of endless frustration when I tried to learn it. I am much faster in Java.
 
Anonymous
@DawoodibnKareem That's strange, considering that it's one of easiest languages to learn. Coming from a Java background I could pick it up pretty quickly, because it has many common features.
 
Anonymous
7:25 AM
@Tanuj I think so
 
@Blue what chapter is it in ?
 
Anonymous
@Tanuj sound
 
waves ?
 
Anonymous
Yeah
 
@Blue Good for small projects. Difficult to do anything major. In my opinion.
 
Anonymous
7:31 AM
That maybe true. I haven't developed any large-scale "apps" in Python. But I used it in a couple of very large data science projects. One of the projects is for an actual data science company, with which I'll be working with, this year (just for getting some industry experience). The integration with Jupyter notebooks, numpy, matplotlib, etc. is just something amazing imo.
 
I'm sure you're right. I just have far too little experience in Python, and far too much in Java.
 
7:48 AM
@Blue Oh nice, which company are you working with?
 
Anonymous
@PrathyushPoduval In a start-up made by the CTO's of Tata Cliq and Xelpmoc, named DataSutram Innovation Labs. They haven't yet made a website, but I guess it will be up soon
 
How did you get the internship?
 
Anonymous
The good part is, both the CTO's a professional statisticians. So it's fun talking about math with them. :)
 
@moorephysics Now that I have learnt a bit of C++ (lol, after 7 months), which resources you suggest for making simulations in that (wrt this question)? Also, do you recommend learning javascript or sticking to C++ for this?
 
@Blue Is it in kolkata?
 
Anonymous
7:53 AM
@PrathyushPoduval It's not really a short-term internship but rather a long-time project with the company. I just attended their 3 day workshop few weeks back. They had given us some problems to solve, and they liked my ideas. So... (Not many students from 1st year attended the workshop, so that's I had a higher chance of getting selected as they were looking for students who would have more time to devote :P)
 
Anonymous
@PrathyushPoduval Yup
 
Lol okay, what'l you be doing there? (is it paid?)
 
Anonymous
@PrathyushPoduval They're working on some open problems, like predicting development index of a place, from open-source data. You can't use Google maps (because it allows only around 2000 data requests per day!)
 
Anonymous
Also, problems like effective geofencing etc
 
what are your sources for the data?
 
Anonymous
7:56 AM
@PrathyushPoduval As of now, we just have the census data/electoral rolls/magic bricks. They told us to inform them if anyone can come up with better open source data. Some guys were saying they'll extract data from from Facebook (lol!)
 
The last part seems very controversial of late lol
What were the problems they gave?
 
Anonymous
@PrathyushPoduval Here are some sample problems.
 
Anonymous
@PrathyushPoduval If you're good enough to hack Facebook data, I'm pretty sure Facebook USA will immediately give you a job :P It's very very difficult, if not impossible
 
interesting, can i apply? :P
I'm sure you must've heard of cambridge analytica?
 
Anonymous
@PrathyushPoduval Well, you'd then have to travel to Kolkata regularly :P
 
7:59 AM
lol okay, not required
 
Anonymous
Don't worry. In Bangalore you'll get many such opportunities, if you look out for them
 
yeah, actually working on something would be prety interesting
 
Anonymous
As for now, just keep learning. Statistics is a very useful skill
 
yeah, but the way our schools thought it was more of mugging up
i had to figure out the logic of stuff by myself
 
Anonymous
@PrathyushPoduval That's true. Maybe check if there are any local companies offering internship, etc. I guess it will be a bit difficult to get in unless you're are atleast an undergrad. BTW there are many good open problems on Kaggle
 
8:01 AM
yeah i do things on kaggle
 
Anonymous
and kdnuggets
 
never heard of kdnuggets
I'm trying to understand the usage of notebooks
they look quite helpful
 
Anonymous
@PrathyushPoduval Cool! Check out the EdX Python for Data Science course
 
Anonymous
They have a lecture series on it
 
yeah my cousin told me about the edex course
not quite gone through it
 
Anonymous
8:03 AM
It's great :)
 
Anonymous
Alright, I gotta go now
 
Anonymous
Cya!
 
goodbye!
 
I love the way this chat room discusses real issues (not necessarily just physics) in a useful and informative way. With all the silliness and random flags we've been having recently it's easy to lose track of just how awesome this room can be.
 
I'm not seeing much discussion of real issues. Or of physics.
 
8:10 AM
@JohnRennie You'd probably enjoy The Incomprehensible Room, or whatever they're calling it these days. The people there are a little weird though.
 
in English Language & Usage, 23 mins ago, by CowperKettle
> Mongolia has held its second fencing tournament, dedicated to the memory of the victims of the first tournament.
Indeed :-)
 
Now if that's not a "real issue", I don't know what is.
 
8:26 AM
@DawoodibnKareem : nerve gas is a real issue. As is the undemocratic EU, along with judicial overreach, data privacy, immigration, overpopulation, pandemic, the death of physics, the threat to a free press, and fake news.
Anybody want to talk about the principle of equivalence? That's the principle that only applies to a region of infinitesimal extent. So it doesn't apply at all. Hence the surface of the Earth is not accelerating upwards at 9.8m/s². Its velocity is not changing. It isn't accelerating at all.
 
@JohnDuffield Damn those Mongolians!
 
Hi guys! It's been a while
It's currently 4:30AM though and I have to sleep but I will be on tomorrow for a little bit and pester some people with some questions
I wont be back regularly unfortunately
o/
 
 
1 hour later…
9:52 AM
So...
h bar have gone through topics:
Food, Physics, CS, memes, maths, politics, life, chemistry, philosophy, pseudoscience, spirituality, religion, current affairs, language, travel
5
2 hours ago, by John Rennie
I love the way this chat room discusses real issues (not necessarily just physics) in a useful and informative way. With all the silliness and random flags we've been having recently it's easy to lose track of just how awesome this room can be.
 
We discuss the sorts of things you'd expect any group of highly motivated and intelligent humans to discuss. That includes everything from deep issues to random nonsense. That's humans for you.
 
10:10 AM
Well topic wise h bar is a lot richer than other chat rooms, which gives it its strength
2
 
I think the flagging system is pretty bad, and the way most of the moderators approve the flags is also pretty bad.
Hilarious how stackexchange just made this and said to themselves "This is it! No way we can improve this!"
 
@BalarkaSen to be fair, I doubt it's the moderators responsible for the dubious flag approvals. I suspect it's the 10K users.
 
Oh yeah fair point
Yes.
 
All 10K users get to vote on flags as well, and some of them don't take the trouble to read the post properly before deciding.
There's a lot wrong with the chat system, but SE don't make any money from the chat as they don't post ads there. The chat is just a freebie to entice people to join and use the main site.
Under the circumstances I have some sympathy with the SE's position.
 
I thought it was so the comments sections in questions don't get clogged up with pointless arguments.
 
10:22 AM
I think flags should not be anonymous for one.
To those who have the ability to see and approve them, I mean
10K users should not be given the ability to approve flags, for another. Only volunteered 10K users should (there should be a mechanism by which they can volunteer)
By volunteering they're signing a contract of responsibility, basically, so are automatically responsible for whatever flags they approve/disapprove.
 
@BalarkaSen there is a basic principle here, which I agree is a good principle in theory though in practice there are problems.
When you're at school you expect the teachers to keep order, then when you're an adult you expect the police to keep order. It's easy to get into the mindset that it's someone else's job to keep order.
The principle at work here is that each and every one of us has the responsibilty to keep the chat rooms a nice place to be.
It is specifically not the case that it's the moderators' responsibility.
 
Yes, I agree. But I do not see how the community can possibly handle the current flag system which is totally anonymous to the community. This is one of the plus sides of the main site, where the editorial/review system is mostly guided by the community.
To give a loose analogy
 
10:38 AM
@JohnRennie I'm not sure I'd even put it that way: I've never heard SE staff describe chat as an enticement to using the Network, just as a little side-gig that users asked for, that ends up being pretty popular with a small segment of the user-base, and which in small ways plays a support role to Q&A.
@BalarkaSen I, personally, think you're right that the flagging system would be better if publicly done. Flags aren't analogous to downvotes, they're analogous to votes to delete. Which are public to those who can VtD.
 
Right.
 
But I don't hold my breath that any SE dev-time will go to it. chat << network Q&A << SO, best I can tell. Which is proper, given the business model.
 
You and John are probably right on that
It's not very high up in the priority list
 
I'm always right. Admittedly, reality is wrong sometimes :-)
 
I mean, the what-is-it 150 (?) network Q&A sites are a side-benefit that the company that makes/runs SO decided to allow the world to create. And then gamified us into creating the world's highest-quality database of expert Q&A.
 
10:45 AM
@nitsua60 I don't know if any cynicism is implied, but for the record the Physics SE is a fantastic resource and one I would have given my right arm for back in the 1970s when I was a teen physics nerd.
 
No, not cynical at all.
I just try to keep in mind, when thinking of our Overlords, that the whole edifice that I dedicate time to every day is a side-thought for the company that owns it.
 
I think Mathematics SE is a good resource but getting slowly worse in quality as time progresses. I do think MathOverflow is seriously fantastic, on the other hand. (I don't participate there, though: too high of a difficulty level for this chad)
Also there are lots of other SE's I think are actually pretty great. Skeptics.SE is killing it these days
 
11:18 AM
Just passing by to drop this one
 
Just learnt that physicist is an anagram of itchy piss. Who knew?
3
 
 
2 hours later…
1:17 PM
@BalarkaSen lol is the third one making fun of British?
@BalarkaSen I want a PhysicsOverflow on stackexchange site here about grad and research level physics. (not the one physicsoverflow.org, that site is confusing. I still can't figure out how many members are active there, given many posts there are actually taken from PSE.)
 
Anonymous
@Shing Same. But I don't think they are planning to make any such site, anytime soon. The Theoretical Physics SE site was indeed good, but had less activity
 
Anonymous
MO was an extremely well planned site
 
Anonymous
It will be difficult to replicate that
 
@JohnRennie : "The principle at work here is that each and every one of us has the responsibilty to keep the chat rooms a nice place to be". Then live up to it. On Tuesday words like crackpot cretin and trolls were being flung around by you and your friends. And despite being flagged, they're still there.
 
@Blue what a shame.
 
Anonymous
1:27 PM
Well, we are often visited by both crackpots (with their revolutionary theories of physics) and trolls.
 
Anonymous
There's not much less-harsh sounding words for them.
 
cough
 
Please do not abuse the flagging system
 
I rest my case.
The principle at work here is that each and every one of us has the responsibilty to keep the chat rooms a nice place to be.
 
I shall bring up the fact that there is a distinct difference between a crank and a hack
Hack means you're hot garbage. Crank means you're crazy
 
Anonymous
1:34 PM
@BalarkaSen Is that a new word in town?
 
Anonymous
I like it
 
A person can be a hack without being a crank. I, and many other, consider N J Wildberger a hack
But that guy totally has a degree in mathematics
 
@BalarkaSen the chap who thinks infinity doesn't exist?
 
Yep
Or irrational numbers...
Believing in finitism doesn't automatically make a person crazy or a social outcast, is my point
 
But isn't it the case that he makes a cogent argument and it's just the assumptions he makes that distinguishes him from the mainstream?
 
Anonymous
1:38 PM
Isn't existence of numbers philosophy anyway?
 
@BalarkaSen : is he the guy who thinks the surface of the Earth is accelerating upwards at 9.8m/s²?
 
@JohnRennie I don't think it's particularly cogent. It's very flawed and it's difficult to talk to him about why it's flawed.
But that still doesn't make him a crank
 
@Blue from the little I know of it the integers are defined using set theory.
 
@JohnDuffield Lol, does he?
Why am I not surprised
 
So they certainly exist if only in some Platonic sense.
 
Anonymous
1:40 PM
Integers and stuff are well defined in group theory
 
Anonymous
But I didn't mean that
 
@BalarkaSen : naw. But a lot of people do. And if you were to challenge them on that, they might be unpleasant.
 
Anonymous
I'm not sure what Balarka meant by "existence" there
 
Anonymous
I don't know the guy he's talking about though
 
NJW doesn't believe that real numbers can be consistently defined
 
Anonymous
1:42 PM
Ah, I see
 
Defining them is not a group theoretic endeavor, it's a set theory problem, like @JohnRennie said
 
@JohnDuffield I'm constantly surprised at how people believe illogical things like that... Is he also a flat-earther, by any chance? That seems like the only way to explain upwards acceleration without also exploding Earth.
 
Anonymous
@BalarkaSen Right, I get what you mean
 
@ArtOfCode : they do. All too often when you challenge them they start getting abusive because they don't want to talk about the issue.
 
@JohnDuffield Aye, all too common
 
1:44 PM
There's a lot of things like that in physics. Some are "pop science myths", but some are more than that. They've been around for so long that they've kind of taken hold, as it were.
 
@JohnDuffield that's you!
 
@BalarkaSen I have to confess I find myself uneasy about the idea of infinite sets ...
 
necessary and sufficient condition due to our boi
now how to check it??
@BalarkaSen what is the stable normal bundle
 
@BalarkaSen But then I suspect most physicists don't believe infinities arise in physics
 
@JohnRennie what?
 
1:46 PM
Politics SE: My political ideal is so long that it exceeded the char limit by 1000 words
 
@0celo7 shh, you're not a physicist :-)
 
@Secret thank god
it means the gods do not want you to post it
 
lol
well in simple words: If you want to find me on the political spectrum, you will be in a superposition of you cannot AND you will find the whole spectrum colored almost completely
(Only tested for australian politics so far however)
 
@0celo7 Normal bundle direct sum-ed with R^k for whatever k
I'll look at the paper later
 
@0celo7 : it isn't me. I say the principle of equivalence only applies to an infinitesimal region, so it doesn't apply at all. That's why the principle of special relativity is nowhere precisely applies in the real world.
 
1:51 PM
In less simple words: Policies, not parties, and very delocalised
 
Anonymous
@BalarkaSen Is there a direct definition of integers in set theory, without defining natural numbers first?
 
Anonymous
The one I know uses a construction
 
I was about to leave, only hear to raise a point in response to @JohnRennie: The idea of infinite sets are rather unusual. Indeed, in the process of making the idea mathematical consistent we have to make it inconsistent with our intuition/perception/reality: the easiest example is the Zeno's paradox. Hardest example is the Banach-Tarski :P
@Blue Depends on what you accept as a definition.
 
Morning
 
Peano axioms constitute a definition of the natural numbers
 
Anonymous
1:52 PM
@BalarkaSen Well, say what you accept
 
Anonymous
@BalarkaSen Yes, I know that one
 
You can work that definition out to define the integers first
By using a "bi-directional" induction
Here's a tangential point to keep in mind: These are not strictly definitions, in the same way axioms of Euclid are not axioms. The concept of a "point" or the concept of a "number" are synthetic objects - it's like calling a variable in coding. You don't define it, you call it, then impose some properties on them, and you have a theoretical framework
Wherein you do the math
 
@ArtOfCode : I'm afraid it's far more common than you might appreciate. A similar issue is the waterfall analogy. Some will say you don't understand it if you don't understand the maths, which has credentials going back to Gullstrand-Painleve coordinates.
However Einstein rejected them for good reason. The waterfall analogy is effectively a Chicken Little scenario, and the sky is not falling in.
OK I have to go I'm afraid. I work for a living. IT.
 
I was going through (for unrelated reasons) the people who gave the Charles Eliot Norton Lectures on Harvard and why am I not surprised by E. E. Cummings' lecture title.
"i: six nonlectures"
John Cage: "I-VI"
 
2:08 PM
@JohnRennie We had this very long discussion in the logic room about the real life manifestation of infinity, and largely, we believed that since we don't have computers with unbounded memory and time, we cannot even have potential infinity to exist, let alone an actual infinity like the set of all natural numbers
in Logic, Mar 16 at 3:37, by user21820
@Secret What does it mean by "they cannot prove"? The point is that any practical formal system you design will essentially be equivalent to a proof verifier program that must be run on an ideal computer (one with unbounded memory and time and so on).
so in theory, if our universe can allow a more controlled and two way version of a bag of gold spacetime to exists, then we can have TARDIS like space to put an infinite computer to compute at least with potential infinity
 
Anonymous
@BalarkaSen I'm not sure I get it. The one I know is basically you define $0$ as the empty set, then define $1$ as $\{0\}$, $2$ as $\{0,1\}$. It will be closed under these recursive unions. Consider an ordered pair $(a,b)$, which be equivalent to another ordered pair $(c,d)$ when $a+d=b+c$. You then define an equivalence class [(a,b)]. Then you can define $0 = [(0,0)], 1 = [(1,0)] , -1 = [(0,1)],..$.
 
Anonymous
When I said that integers are well defined in group theory I referred to the fact that it is a cyclic group under addition with generator $\{1\}$
 
Anonymous
But perhaps that's not a good definition
 
The naturals are defined using peano axioms, set theory provide a way to represent and encode them (as above)
the integers is then taken as an equivalence class of these, and then from then the rationals and the reals are defined
 
Anonymous
That's precisely what I described above
 
2:14 PM
But to be able to call the collection of naturals a set, you need to presuppose it exists. In set theory, this is done by the axiom of infinity
 
Anonymous
@Secret Right, yes
 
Anonymous
Peano's axioms are pretty much the basic reflexivity, symmetry and transitivity stuff
 
Anonymous
I used the definition of the successor function $S(n)$ above
 
Anonymous
$S(n)= n\cup\{n\}$
 
user21820 also mentioned that since any formal system we have to express it as some finite string manipulation, it follows we need the concept of numbers and hence he argues that any formal system we can write down will contain peano arithmetic
and yes
 
Anonymous
2:20 PM
Anyhow, from my perspective group theory seems an extension of set theory. It provides more descriptions to the structures
 
Anonymous
(I know one might object that algebraic structures have operations defined on them while regular sets don't :P)
 
@0celo7 hey are you busy right now? wanna help me with some math on skype? i promise it's fun math
 
very busy, sorry
 
np
welp time to post questions in here and hope acm reads them like the old days
 
@BalarkaSen What is a stable vector bundle? Wiki is not helpful
 
2:36 PM
how do I map an infinite sequence of natural numbers $S_i$ that have the factor $2^i$. so it'd be like for $i=1$, $(2^1 \cdot 1, 2^1 \cdot 2, 2^1 \cdot 3, ... )$
I don't remember the notation
wait actually i don't think multiplying like that would generate the sequence
basically $S_1$ would be a sequence of all natural numbers with $2^1$ as a factor
 
Anonymous
@Obliv Uh, multiples of $2$?
 
oh right
sorry i got like 3 hours of sleep last night because there was a lot of noise..
and i couldn't go back to sleep :\
 
Anonymous
Get some rest, now :P
 
@blue I legit worked on this problem for like 8 hours straight last night lol i'm not stopping now
how would you write the definition of the sequence? @blue do you know
like $S: \mathbb{N} \to \mathbb{N}$ with some defined function or something? I don't remember the notation
 
Anonymous
@Obliv I think $2\Bbb{N}$. $7\Bbb{Z}$ means the integer multiples of $7$ for example. But don't quote me on that. There are more knowledgeable people in the math chat
 
2:46 PM
okay I'll just go with that for now. So I write it as $S_i$ is the infinite sequence defined as $F: \mathbb{N} \to \mathbb{N}$ where $F(i) = 2^i \mathbb{N}$
that looks right enough for me
 
Anonymous
Looks fine!
 
thanks
okay anyone know if this makes sense: $T_{i}$ is the sequence that is defined by $F:S_i \to T_i$ where $F(i) = \dfrac{S_i}{2^i}$
 
Anonymous
The best way to check if such things make sense is to to write down a few elements of the domain and check where they are getting mapped to.
 

« first day (2695 days earlier)      last day (2235 days later) »