Mathematics - 2016-11-28 (page 1 of 6)

« first day (2308 days earlier) ← previous day next day → last day (2716 days later) »

12:00 AM

I am starting to really like analysis stuff makes sense when you see it geometrically.

@arctictern hmm is it true that any subspace which is dense in our original space can't be closed then ?

a dense closed subspace is the whole space

yes I see

12:23 AM

@JessyCat One caveat to all of this: It may be that taking $\mu=ik$ creates problems elsewhere. For instance, once you go to $Y(y)$ you get something like $1-e^{-2\pi i y}$ as the generic solution, and this isn't real-valued. It wouldn't shock me if you can't write down an eigenfunction expansion for real-valued solutions to the PDE.

Hey, does anyone know of a question concerning all of the different methods to evaluating $\sum_{k=1}^nk^p$?

I tried to find it (i assume it exists) but it is eluding me

1:25 AM

@meow: I'm back, so at some point let me know what your question is.

Someone pointed out to me today that it would be a shame if Simon Brendle did not have a son named Victor.

Then there's the famous Austrian pianist Alfred Brendel.

I just found out a few weeks ago that Brendle had left Stanford.

Say it aloud, if you didn't catch.

Where did he go?

I still don't get it. ... Columbia.

About the only joke I can come up with right now is to point out that if Simon Brendle and Brett Spiner had children who got married, their last name could be Spiner-Brendle.

1:34 AM

@TedShifrin victor brendle?

shrug

Anyhow, both Hamilton and Brendle are now at Columbia.

Vector bundle. Ignore me.

Pfeh. several smacks

2

Bad joke I came up with just now.

closes ears and covers eyes

1:39 AM

If the English composer who wrote "The Messiah" had done mathematics, what would they refer to his work as?

His Handel-body of work.

ehehe

@Semiclassic: You need to go back to physics and get away from all of us.

Lol

I don't approve.

He's the only real physicist in here...

But we're rubbing off on him, just as we are on Danu.

1:43 AM

Well, Danu is a fake physicist, so it's good he made the transition.

Aren't you the judgmental one.

Oh, no, he's a lovely man. Fake modifies physics, not physicist.

I'm only a metastable physicist, I suspect. I'll decay out of my academic state one of these days...

I think you're hopping quantum levels, @Semiclassic.

Heya DogAteMy!! :)

Possibly.

Akiva Weinberger

1:45 AM

Hi

The quantum zeno effect does seem like a pretty good description of my productivity.

(i.e. the more i try to observe it, the less it actually happens :/ )

That, too, comes from hanging around here too much, @Semiclassic.

point.

@Ted Are you subscribed to Jacobin?

I know not whereof thou speakest.

1:47 AM

My wavefunction currently resides more in the maths chat than h bar, because h bar seemed to be relatively low in activity in recent days

All 'cuz 0celo got banned?

I've never gotten into the Physics chat. Don't know why.

Cuz you like us mean mathies?

@TedShifrin He was a talker.

Jacobin is a leftist magazine. You might like it.

Akiva Weinberger

Would the study of soda be fizzics

1:48 AM

Oh @MikeM ... I'll look into it.

Well a couple of regulars do say 0celo is the generator of activity in h bar. We do have other activity such as kamudi and other indians, but they seemed to come in slightly less recently

DogAteMy is training to be a horrendous punster of the highest order.

I subscribed recently, though the print issues have had some trouble arriving at my place, for some reason. But they give it to me digitally too.

The leftist stuff I've been seeing lately is Counterpunch.org (stumbled on that a while back) and TYT on Youtube.

well, I am kinda a mathie in a sense, although I tend to end up working in the reverse maths domain without knowing the term until yesterday

1:49 AM

(Hmm, maybe orders of punstery are unbounded above.)

like reverse scattering? oh, no, that's the wrong word.

I don't much like TYT. I really strongly suggest Jacobin.

Reverse mathematics

Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms. It can be conceptualized as sculpting out necessary conditions from sufficient ones. The reverse mathematics program was foreshadowed by results in set theory such as the classical theorem that the axiom of choice and Zorn's lemma are equivalent over ZF set theory. The goal of reverse...

Pfeh @ logic

Basically, find axioms needed to prove a theorem or lemma

similar to what DHMO and I was doing a couple of weeks ago when investigating zero term algebras

mathematical argument, important. mathematical logic...meh.

1:50 AM

Reverse mathematics is somewhat more subtle than that - I wouldn't say it's what you do.

I can't get myself as excited about axioms as I do about integrals, for instance.

I've never been excited by formal mathematics ...

I'm not sure what I'd call your taste. Probably "investigating alternate algebraic structures"

or universal algebra?

Is there something I could add to latex to format my pdf nicely?

That's a bit vague, Karim.

1:52 AM

just a sec I will show what I mean

@Ted There's some cool stuff flying around. I want to see if I can get a logic guy to speak about reverse math.

I admit that one of my friends/colleagues at MIT gave a lecture on forcing that had me intrigued, but that was the one and only mathematical logic lecture that had that effect on me.

user image

I'm going to give a talk next quarter titled "Coarse geometry (or: what happens to metric spaces after you've had a few)". The intent is to start the talk with a few shots and take more as it goes.

I am writting this elliptic curve project.

1:53 AM

although I was currently busy on working out something in memory lane thus all maths activity was paused atm.

Mike: Indeed, I do have interest in picking a random axiom, and then construct a consistent algebraic structure from it, and then investigate its geometric consequence (if any)

I would like for example the equations to stay in the same line

is there a way to do that ?

Akiva Weinberger

I know a really cool guy from MathCamp who studies reverse mathematics

Also, remember that to do quotes you need `` and then '' ...

reverse mathematics

Who?

1:53 AM

lol

You want the equation displayed, then, Karim?

Akiva Weinberger

Noah ("Steve") Schweber

I have seen at least one seminar re: logic that I found interesting

Akiva Weinberger

He is known as Steve when he is at MathCamp, because there cannot be two Noahs

@Semiclassic: I have no problem being more perversely opinionated than everyone else.

1:54 AM

Oh, is this Noah Snyder?

LOL @DogAteMy

@TedShifrin yeah I would like them to stay in the same line or go to a new line I want to the equation to stay intact not go in different line.

Akiva Weinberger

@MikeMiller That is the other Noah, yes

@AkivaWeinberger your name is noah ?

Akiva Weinberger

What? No @Adeek

1:55 AM

ohhh ... well, either you need to display it or you need to force a line break. Often that looks clunky unless you do some rewriting either before or after.

Sorry, Schweber.

Akiva Weinberger

Steve's name is Noah.

I thought DogAteMy's name was Akiva ... silly me.

Akiva Weinberger

He's the logician I mentioned

I didn't know snyder did math camp.

1:56 AM

@TedShifrin I see I have to do force line break it will look a bit weird..

Consider an infinite list of statements, each saying "Every statement after this is false."

Akiva Weinberger

Apparently they had a ping pong match and Snyder won, so he got to keep his name

So you need to add a few words so that the line doesn't look ridiculous ... or else use $$ $$ and display the equation(s).

what is the code for forcing line break in latex ?

LOL @DogAteMy

Akiva Weinberger

1:56 AM

@Semiclassical Sure. Also, why

\newline

It's the Yablo paradox, and it's what was in the seminar I liked

Akiva Weinberger

@TedShifrin Something similar happened with two Marks, or so I'm told. They had a Mark-off.

Mike: I just briefly checked, the stuff I had been doing does seemed to be a subset of universal algebra (with the operator being binary operators, axioms that allow zero terms)

Akiva Weinberger

And now you can't slap me since I wasn't the one who came up with it

1:57 AM

Must have been quite a process, DogAteMy.

user image

@TedShifrin what do you think of the following definition ?

If you're going to display with $$ $$, you don't need to force a line break, Karim.

Akiva Weinberger

@Semiclassical What's paradoxical about it

You need to get a basic book on LaTeX ... or read on line.

should I say that the constants live in $\mathbb{K}$ or I mean it makes sense from context ?

1:58 AM

Lemme borrow from Wikipedia, it says it better than I do.

yeah I didn't use new line @TedShifrin

At the beginning you should say that the coefficients live in $K$.

Akiva Weinberger

@TedShifrin You mean \$\$ \$\$

Let the statement S_k be "For every i>k, S_k is false."

Oh, yeah, I wasn't in LaTeX mode here :D

Akiva Weinberger

1:58 AM

Oh @Semiclassical

dumb

with k starting at k=1, for specificy.

This sounds like the ultimate barber who shaves himself, @Semiclassic.

Akiva Weinberger

None of them can be true, but they can't all be false. Wow.

user image

1:59 AM

There's actually a Steve who wrote a book on reverse math.

« first day (2308 days earlier) ← previous day next day → last day (2716 days later) »

Transcript for

Nov '1628

$Mathematics$ Mathematics

Associated with Math.SE; for both general discussion & math qu...

join this room
about this room

00:00

06:00

12:00

18:00

all times are UTC

$Mathematics$

site design / logo © 2024 Stack Exchange Inc; legal

mobile