« first day (4220 days earlier)      last day (1098 days later) » 

01:56
Integral domain has no standard definition?
koro, it does, or it did as far as i know. what variations have you seen?
Herstein defines integral domain as: a commutative ring with no zero divisors, whereas Dummit and Foote defines it to as a commutative ring with an identity (unit element) that has no zero divisors.
how does herstein define 'commutative ring' or 'ring'?
this has nothing to do with integral domains and everything to do with whether rings are required to have a multiplicative 1 or not.
the consensus is that they are but some books do not require it.
Denoting ring as (R, +,.), if R is commutative with respect to . then R is called a commutative ring.
i have seen some variation there but my impression is that it is not like whether 0 is a natural number, where there is an even split. most people these days want rings to have 1.
en.wikipedia.org/wiki/Ring_(mathematics) see the section entitled "multiplicative identity and the term 'ring'"
02:01
Having no standard definition for integral domain is serious because if not then the meaning of “a finite integral domain is a field” changes.
i would ask you to entertain the idea that there is a standard definition, and perhaps just that it isn't the one used by herstein.
Leslie: even the wiki page you shared has Herstein definition under the section domain.
Herstein definition doesn’t require identity (multiplicative identity) in definition of integral domain.
i don't generally accept wikipedia as an authority on this kind of thing. i direct you to "multiplicative identity and the term 'ring,'" indicating a shift in textbooks that began in the 1960s. so yes, there's different definitions in use. but herstein is on the wrong side of history.
in my humble opinion. either way, it isn't a crisis, it's just something to pay attention to if you look in some random reference.
which side of the fence they're on. i guess in that respect it is like whether 0 is a natural number.
something i haven't seen in a while is in group theory, a few books use cycle notation but adopt the convention that permutations are applied on the left. so (13)(12) sends 1 to 3, not to 2. that can be confusing. it seems to be pretty rare though.
@leslietownes I saw that too. It’s very confusing as we are used to do it the function composition way.
and i even goofed it. applied on the right.
to this day i can't understand things acting on the right.
:D
02:10
I looked up Gallian and integral domain is defined with an identity.
@leslietownes I agree. :)
i had a harmonic analysis class once from a prof who also struggled with it. his homework assignments would contain stuff like "Problem 1. In the formula in on page 50 of my notes, check whether it should be xy^{-1} or y^{-1}x or some other thing"
it always had to do with right vs. left
$\tiny {\text{Nerdle time }}$, @leslie
02:38
Mike Artin taught me that rings have identity and homomorphisms map identity to identity. Good enough for me.
@mohan10216 wow dude, no stranger has ever gone this far to help me, let me name my children after you lol
Yeah, right :)
A lot of strangers go quite far on this site, I might add.
03:09
Hi
03:20
undermathuate will now report on all of the work they've done. starting with, oh, algebraic number theory.
He @UnderMathUate
Been a while
*Hi
@blah No thanks, choose the name you and ur partner want.
Hi Leslie
@mohan10216 What's up. Just been studying mostly, so I haven't been around much lol
Same, I have my exams coming up
@leslietownes I proved the Collatz conjecture if you're interested.
hi mohan10216.
under: you're a few weeks late, i'm afraid.
03:21
;-;
whatever, i'm too young for that
How is everyone proving collatz
@mohan10216 I'm currently in the midst of midterms as well. Then spring break, which I'll spend here begging for problems.
i'm sitting in Bio class right now
@mohan10216 It was left as an exercise to the reader in one of my textbooks.
we're doing punnet squares
03:23
Ah, punnet squares. It's been a minute, but I think I remember the basic idea.
Basically Nash equilibriums
cool stuff
only coz of the game theory link tho
I was waiting for the math part
I should be studying for my programming exam tomorrow, but I'm gonna do the nerdle first.
you know the hardy in hardy-weinberg is 'our' hardy?
for like 10 mins
gotta go to econs class
bye
bye
@leslietownes Hm?
bio thing -- edited
03:26
in biology there's some crap called hardy-weinberg equilibrium. yes.
it's the same hardy from analysis, corresponded with ramanujan, etc.
is it very closely-related to math? becuase it's hard to imagine Hardy would devote the time to bio research lol
not really. it's a gloss on (a+b)^2 = a^2 + 2ab + b^2.
Hm, I'll have to take a look at that.
03:28
has something to do with punnett squares, which is why i brought it up.
one time a mentor asked me how my research was going and i said, ehh, not great, and he said 'wander over to the biology department. maybe you can be like hardy in hardy-weinberg and be famous for something easy.'
he was kidding but to be honest it's a good idea.
hardy is of course math famous but i heard about hardy-weinberg hardy in high school.
in math he's often paired with his frequent collaborator littlewood. he seemed destined to have a hyphen after his name.
good on him for having a name nearer to the beginning of the alphabet.
lol
Yeah, I wonder if I heard about it too before, but just don't remember since I didn't take much interest in my biology classes.
I do know littlewood tho
imagine what littlewood and weinberg could have done together.
probably math
guessed the nerdle, now I can sleep in peace
hello
again
hi
actually, gn. Be back in a few days. nice talking to you all
03:39
I wrote this question for my schools math olympiad, give it a try: Given that $a^{n} = a \times a \times a....$ for $a,n \in \mathbb{R}$ for $n$ number of times and that $a^{-n} = \frac{1}{a^n}$. And given that $e^{\infty} = \infty$ what is the value of $e^{-\infty}$? \\ $A) \infty$ $B)$ Undefined $C) 0$ $D)1$ $E)-\infty$
screen shotted
i'm not supposed to share out the question, shit.
actually wait, how do I delete the message?
Wait, isn't it zero?
Hover over the message and click the down arrow
There should be a delete option.
i'm gonna cry bro, the leader of the math olympiad is so strict...
not anymore apparently
i'm so stupid sometimes
Hm, I guess there's a time limit for that too. I thought it was just for editing. Sorry, man.
But they probably won't see it anyway.
But yeah, it's zero.
03:46
i think they had like 70k rep or smth
yeah, they used to be really active of MSE
my olympiad leader
Ooh, I didn't know they were on MSE
not anyomre i dont think
anyways, i'm happy that lots of my questions got chosen for the olympiad
this one didint get chosen, but may be chosen for later rounds i think
you can take a look here uwcmt.org
Oh you actually wrote it. That's pretty cool
03:49
I thought it was really cool when i first saw it coz i was surprised that the usual laws of indices don't work on infinity
Hey, this actually is really cool. There are barely any math competitions for older students.
then i remembered that infinity isn't a number
Yep, that was one pre-conception I had to work to get rid of in my discrete math course. Make for all sorts of messed-up conclusions.
There aren't? What about Putnam and IMO etc
Yeah, but that's only two.
03:51
What is discrete math anyways? I don't get it.
The study of math that surrounds distinct values/structures, rather than continuous.
For me, it was mainly just an intro-proofs course, but that's the general idea of discrete math itself.
Alright, i really do have to hit the hay now. gn
sounds interestng
gn
it is, take it if you have the chance. gn again
I'm not in uni but will definitely look out for it when I get there
 
2 hours later…
06:09
youtube.com/watch?v=HDiaEYl-39s refers to a Math.SE post about why using the small-angle approximation to solve $\lim_{x\to0}\frac{1}{sin^2x}-\frac{1}{x^2}$ gives the wrong answer, but the link to that post is missing. Does anyone know which post this is?
06:25
@JosephSible-ReinstateMonica I have not yet seen the video you linked. But do you mean $\sin x\approx x$ for small |x|?
joseph: hard to say, given that he doesn't provide a link, but maybe math.stackexchange.com/questions/2910595/…
approximations are not additive in general. Let me state one definition so that the earlier statement makes sense.
Let's say that $f\sim g$ as $x\to a$, where $a\in \{-\infty\}\cup \{\infty\}\cup \mathbb R$ iff $\lim_{x\to a}\frac{f(x)}{g(x)}=1$
It is not in general true that $f\sim g$ and $h\sim k\implies f+h\sim g+k$, where f,g,h,k are real valued functions defined on R.
The limit $\lim_{x\to 0}\frac 1{\sin^2x}-\frac 1{x^2}$ is one such example. Note that even though $\sin^2x\sim x^2$ and based on this, if the approximations were additive, we would get the limit as $\lim_{x\to 0}\frac 1{x^2}-\frac 1{x^2}=0$. But that's not true.
The expression $\frac 1{\sin^2x}-\frac 1{x^2}$ is in indeterminate form ($\infty -\infty$) as $x\to 0$ so nothing can be said from the expression in that form. It requires simplification as showed in the link shared by Leslie.
07:03
@Koro Yes, that approximation. Also, to be clear, I do get why that happens; I was just curious what his source was
I wonder if it was actually math.stackexchange.com/q/3200272/355349 that it was based on
07:26
hello good night
hi good night
:-)
this is my settling down time before bed :-)
settling down is essential
Hello!
hi @shin!
what's up Koro!
finished the linear algebra?
07:35
yes, I'm yet to finish the exercises though :).
@shin: what are you studying these days?
@Koro woah, that has to be getting you pretty near mastery hehe
@Koro went on a foreign language tangent these last three months. i'm almost done and coming back to math
@shintuku nice :). There are some foreign languages that I want to learn too.
Russian, Japanese, Spanish and French too.
that would definitely leave you with the ability to speak to at least than half the world population
cool choices
i've been working on russian this last month
have you started with any?
I had started with french grammar but by now I have forgotten most of that. :(
you should try anki for that. that's what I use to learn little bits and not forget them in the long run. so you can keep adding bits here and there over a long time and not forget any of it
and cool, french grammar is difficult hehe
but i mean, compared to maths most things are easier lol
07:53
and there was no one around me who spoke french.
yeah that makes it difficult too. i found a couple of russians willing to help over the internet, so much easier when you can ask questions
@shintuku is this part of your college curriculum?
like, in all languages there are a ton of things that don't make sense, and have just been inherited from the past so you wouldn't know if someone didn't tell you
In my case, we had one course called ‘writing systems of the world’ and it was not really focused on learning Japanese or any other language.
@Koro no hehe, i have all economics this semester and no maths/languages
@Koro huh, sort of like linguistics theory?
07:58
No linguistics was another subject, which I didn’t take. I had taken the course on writing systems. I don’t know why I took that.
@Koro culture! hehe
:-)
There was one elective course called Game theory, which I didn’t know anything about.
I didn’t take it.
important class for economics, that one
08:48
@shintuku I came to know about that too long after not taking game theory.
@shintuku Best of luck to you! :)
09:01
@Koro thanks!
09:57
Let $E$ be a (analytic) rank $1$ elliptic curve over $\bQ$ with torsion group $\bZ/2\bZ$.\\
Let $E'$ be $\bQ$-isogenous to E with torsion group $\bZ/2\bZ\oplus\bZ/2\bZ$.\\\\
(1) Assume $\Sha_{E' /\bQ}$ is nontrivial \\\\
What conditions would have to hold for (1) to imply that $\Sha_{E/\bQ}$ is also nontrivial?
 
1 hour later…
11:20
what is an example of two periodic functions $f$ and $g$ such that every period of f is incommensurate with every period of g and that f+g is still periodic?
$f(x)=\sin x, g(x)=\sin (\sqrt 2 x)$ give an example where $f+g$ is not periodic.
12:19
If you have a space of bounded killing flow lines say spanning points $p$ and $p'$ s.t. the flow vanishes at these points and the boundary, maps the boundary to itself, and you take the space of flow lines at a given radius from a center point, you'd get a flow on some surface of revolution. Is there a name for a surface like this?
@Koro good question
@Koro what does incommensurate mean
periods $T_1$ and $T_2$ are said to be incommensurate if $T_1/T_2$ is not rational.
in the example above: f has a period $2\pi$ and $g$; $\sqrt 2 \pi$ and their ratio is not rational hence $2\pi$ and $\sqrt 2 \pi$ are incommensurate.
suggested to me to my now deleted post.
But this example looks very complicated to come up with.
12:37
I want to try this with almost periodic functions
 
2 hours later…
14:10
👹

'' Algebra is the offer made by the devil to the mathematician. The devil says: `I will give you this powerful machine, it will answer any question you like. All you need to do is give me your soul: give up geometry and you will have this marvellous machine.''

- Michael Atiyah (2004). Collected works. Vol. 6. Oxford Science Publications. The Clarendon Press Oxford University.
🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥🔥
 
1 hour later…
15:27
what is known about $n$ intersecting topological 4-manifolds?
16
Q: Intersection of topological manifolds.

joseph123A condition for the intersection of two smooth manifolds to be a smooth manifold is that they intersect transversally. Is this only an obstruction because of the smooth structure? Question: Is the intersection of two topological manifolds always a topological manifold? If not, are there conditio...

context.
16:04
I assume if n=2 case for general manifolds, then the arbitrary n case is hell.
16:47
does anyone know why in this en.wikipedia.org/wiki/… , $\omega$ in local coordinates is supposed to be real? Wouldn't that mean that $h_{\alpha \overline{\beta}}$ would have to be wholy imaginary ?
basically i dont see how they are getting that form, when I computed it myself I got the coefficient of $dz_{\alpha} \wedge \overline{dz_{\beta}}$ to be minus the imaginary part of $h_{\alpha \overline{\beta}}$
17:02
oh never mind.. i am dumb, I assumed they are summing over 'correctly ordered' tuples
over all $\alpha,\beta$ it is as they write
er, in this case, incorrectly ordered tuples
17:24
If f,g are continuous and have fundamental periods $T_1, T_2$ such that $T_1/T_2$ is not rational, then f+g can't be periodic.
How do I prove this?
@geocalc33 If you understand what goes wrong when transversality fails, you have plenty of examples where the intersection is not even a topological manifold. Just intersect planes with a torus (the usual picture stands it up and takes horizontal planes).
@Koro what have you tried?
I tried to draw contradiction by assuming f+g is periodic. I tried to show that that would show $T_1/T_2$ rational. But that didn't work.
How did you go about that?
You assumed f+g is periodic. Then what?
then ofcourse if it has period T then $h(x)=f(x)+g(x)=h(x+T)\implies f(x+T)-f(x)=g(x)-g(x+T)$. Also, $h(x+kT_1)=f(x)+g(x+kT_1)$ and $h(x+mT_2)=f(x+mT_2)+g(x)$. From here, I didn't know what to do.
17:40
I think the clue is the word continuous and what you've shown about periods when you have a continuous function.
there's not much to do from here, I thought and then looked at the solution in the back of the book. The solution used a result from another exercise and I find that non-intuitive.
This problem is nothing much to do with functions, actually.
I'd consider $x := x + kT_1 + mT_2$ as a whole, Koro.
And repeatedly apply your identity from the periodicity.
nevertheless, the solution works. I am now open to the idea that sometimes there may not be a way that involves their ideas like the earlier question I asked today. I was expecting some elementary function (involving log, exponential, trigonometric, inverse trigonometric etc.) but apparently there isn't such function!!
@anak I had done that. That took me only upto: $h(x+T_1)-h(x)$ is $T_2-$periodic.
By interchanging roles of $T_1, T_2,$, one gets: $h(x+T_2)-h(x)$ is $T_1$- periodic.
You haven't responded to my comment. Should I say a little more or shut up?
17:49
Ted, what you said is similar to using result from another exercise.
which as I said is fine but non-intuitive. Does everything have to be intuitive? I'm now open to the idea that -no.
@Koro what do you know about the function $\lambda(k,m) = kT_1 + mT_2$, $\lambda\colon\mathbb Z\times\mathbb Z \to \mathbb R$?
This is quite intuitive. Think about $m\alpha + n$ as $m,n$ vary over integers. What is the difference between $\alpha$ rational and $\alpha$ irrational?
I know that its range set is dense in R under the given situation involving incommensurate. @anak
I think the rest is pretty easy from here, isn't it?
Sounds like anakhro and I are saying the same thing.
This is related to very famous and very important exercises — like the points $e^{ik\theta}$ on the unit circle when $\theta$ is a rational/irrational multiple of $\pi$.
Like the dense line on a torus ... like ...
17:53
My favourite Lie group
The key is that $T/T_i$ is incommensurate for some i in {1,2}.
Usually when you use the terms in/commensurate, you have two values you are discussing.
I would forget the proof by contradiction and just show that $f=f(0)$ on a dense subset.
Oops. By $f$ I mean $f+g$.
Effectively koro has that.
Yes, but sometimes proofs by contradiction muddy the clarity.
18:00
verily
awards Ted the Brouwer Medal of Intuitionist Bravery
LOL
It backs up my rant a week ago about proof by pleonastic contradiction.
suppose for i=1. Then $h(x+T_1)-h(x)$ has two incommensurate periods $T$ and $T_2$. Since $h(x+T_1)-h(x)$ is continuous at x, $n_kT_2+m_kT\to x\implies h(n_kT_2+m_kT+T_1)-h(x)\to h(x+T_1)-h(x)\implies h(T_1)=h(x)$
So h is constant.
never mind.
@anak sorry, I meant the term for $T$ and $T_1$.
19:03
5
Q: Prove that $\lim_{n \to \infty} \frac{1}{2^n}\sum_{k=0}^n(-1)^k {n\choose k}f\left(\frac{k}{n} \right)=0$

Shroud Let $f:[0,1] \to \mathbb{R}$ be a continuous function. Prove that $$\lim_{n \to \infty} \frac{1}{2^n}\sum_{k=0}^n(-1)^k {n\choose k}f\left(\frac{k}{n} \right)=0$$ I know that $f$ is uniformly continuous and I tried to get some inequalities for the terms $f\left(\frac{k}{n} \right)$. For al...

The answer here is so badly written.
Face and time used to be distinct concepts until Mark Zuckerberg unified the two into a framework now known as FaceTime
isn't Facetime from Apple?
yeah
I guess I meant Steve Jobs
FaceTime is any model that infuses 3 dimensions of face and one dimension of time into a 4 manifold
I'm super curious about the tranverse intersection of two of these 4-manifolds
I wonder if there's a book about that
19:30
koro: i don't mind it too much. fun fact, if you erase the (-1)^k in the inner sum it converges to f(1/2)
was raoul bott serious when he said eighty percent of mathematics is linear algebra?
it's a little late to ask him.
do you think he was, sir?
i don't think that any statement of that sort could be taken literally, or 100% seriously, but it probably expresses something that he did think was true.
19:50
in what sense do you think he was using the subject of linear algebra to be so all inclusive, sir
i dunno. in what context did he say that? he must have had some reason.
I'm still searching for that :-)
5
Q: Prove that $\lim_{n \to \infty} \frac{1}{2^n}\sum_{k=0}^n(-1)^k {n\choose k}f\left(\frac{k}{n} \right)=0$

Shroud Let $f:[0,1] \to \mathbb{R}$ be a continuous function. Prove that $$\lim_{n \to \infty} \frac{1}{2^n}\sum_{k=0}^n(-1)^k {n\choose k}f\left(\frac{k}{n} \right)=0$$ I know that $f$ is uniformly continuous and I tried to get some inequalities for the terms $f\left(\frac{k}{n} \right)$. For al...

Shouldn't the sum in the answer be: $\sum_{k=0}^{n-1}\binom{n-1}{k}(f(k/n)-f((k+1)/n))+(-1)^n \binom{n-1}{n-1}f(n/n)$?
user, one thing to keep in mind is that some people who work in realms of geometry/topology where algebraic invariants are computed sometimes use "linear algebra" to mean something significantly broader than what it means in a normal university curriculum.
i've heard people use it to embrace basically anything that happens after you apply a functor into the world of algebra.
I will keep that in mind while searching for context, thank you sir
19:59
I want to comment to that answer: -1. very badly written answer with no explanation at all. What is $\binom{n-1}{k-1}$ when k=0? and why are the sums equal?
But that will be rude :(.
The answer posted is same as given in the solution manual.
This reminds me of trying to find the context of the von Neumann quote about not understanding mathematics...
@Koro it would be $0$, they are using the fact that the number of ways of choosing $k$ things from $n$ is the same as the number of ways of doing so so that a particular fixed item is always chosen, and such that this particular item is neve chosen
then its just a matter of expanding the sum, and rewriting the summation indices
...and now I find out it's eighty percent linear :-/
my first thought when looking at that sum was to somehow involve bernoulli polynomials/ weak law of large numbers
but that answer is fine to me
@porridgemathematics: I expanded the sum as that seemed natural to me and I ended up with a sum written above and there is this one extra term that doesn't cancel.
Had they put limit before the sums, then that would make more sense.
The equality of the two sums doesn't look trivial to me at all.
is it trivial?
20:07
i can see how they are equal without writing it out, so in that sense it could be
but i could be wrong?
try to match the terms
and yes, that binomial coefficient is $0$ when $k = 0$
I agree that $(n,r)+(n,r-1)=(n+1,r)$.
that helps
the $-f$ term is coming so that you get $(-1)^{k+1}$
now you should be able to match terms
So when we match the terms, one term viz. $(-1)^n (n-1,n-1)f(n/n)$ is left out.
@Koro when $k=0$, that would be $0$. Ah, I see that was answered.
20:10
By (n,r), I mean that $\binom{n}{r}$.
i dont see how that's left out
@robjohn yes, I understood that. In fact, looking at it another way: $(n,0)=(n-1,0)$.
also shouldn't it be $(n,n)$
@Koro yes, $\binom{n}{0}=1$ for all $n$
@porridgemathematics no, I think. The nth term is: $(-1)^n (n,n) f(n/n)= (-1)^n ((n-1,n-1)+(n-1,n))f(n/n)$
20:13
and what is $\binom{n-1}{n}$, for $n\gt0$?
the answer is so badly written I think. I expanded the first sum without looking at that answer and had the observation that: one term is left out.
Oh no.
I messed up one calculation, I think.
0
Q: Schwarschild radius and paramaterizing path

monoidaltransformConsider the metric $ds^2=(1-\frac{2m}{r})dt^2+(1-\frac{2m}{r})^{-1}dr^2 + r^2d\theta^2 + r^2sin^2\theta d\phi^2$. Suppose a particle very large starts at the initial radius $R$ and then radially infalls. My text then states: It can be shown that the parameter defining the particle's trajectory (...

@leslietownes that explains the Atiyah quote about algebra :-)
@porridgemathematics I was wrong earlier. It's not left out. We have $(-1)^n(n,n) f(n/n)=(-1)^n (n-1,n-1) f(n/n)$ and this combines with preceding term.
6 hours ago, by user 85795
👹

'' Algebra is the offer made by the devil to the mathematician. The devil says: `I will give you this powerful machine, it will answer any question you like. All you need to do is give me your soul: give up geometry and you will have this marvellous machine.''

- Michael Atiyah (2004). Collected works. Vol. 6. Oxford Science Publications. The Clarendon Press Oxford University.
20:21
@robjohn it was a calculation mistake.
I understood the summation now.
Thanks a lot.
20:39
@robjohn $$ \frac{\Gamma(n)}{\Gamma(n+1)\Gamma(0)}? $$
21:04
Hello!! In which cases is the probability equal to the expected value ? In general do we not have that the expected value is equal to the probability multiplied by the amount of times the event happens, i.e. μ = P(x) * n ?
@XanderHenderson and $\Gamma(0)$ is?
but I also don't like that formula for binomial coefficients. It often gives values that do not work in many useful binomial formulas. The bottom argument should always be an integer and any bottom argument less than $0$ should give a $0$ coefficient
21:30
@robjohn 3.
c = ♾️ = -1/12
how's that^ for abuse of notation :P
haha
And how about "suppose that $\epsilon<0$ is given."?
21:50
if you need a new name for a variable, why not choose one of the less popular digits.
d/d7 (sin(7)) = cos(7).
Are there any theorems or lemmas relevant to the comparison of two integers of the form $x^a$ and $y^b$?
@XanderHenderson Darn! that makes things so much simpler since $\Gamma(n)=0$ for all positive integers.
22:05
You see, I don't know why I didn't see it sooner, but you can get a truncated approximation to the natural logarithm through floored logarithms by increasing the order of the domain.
@leslietownes c is the speed of light; which, physicist once believed was infinite.
Suppose I want $\log_2(3)$ to 64 bits. $2^{-64}\lfloor\log_2(3^{2^{64}})\rfloor \approx \log_2(3)$. In other words, more generally: $$\lim_{n\to\infty^{+}} \lfloor\log_2(x^n)\rfloor = \log_2(x)$$ for real $x$ and positive integer $n$.
All due to the fact that $\ln(x^n) = n \ln(x)$
Unless you're insane, no one computes $x^{2^{64}}$ and counts the number of bits in the result. If you can find the largest power of two just greater than $3^{2^{64}}$ without computing the product, then you can just compute the quotient of those two exponents. All it requires is comparison.
mais ç'est fondamental!
@AMDG You need to divide something by $n$, there
@robjohn I probably left something out. Oh right, I see now lol the LHS.
My bad
22:17
nor is that a natural logarithm
Well... it is if you muliply by $\ln(2)$ :D
:L
23:12
I'm trying to recall something I saw once about a surprisingly simple statement known to be undecidable. I think it was undecidable by Peano Arithmetic, but maybe some other well-known system, or a slight modification of one. I think it used just ordinary algebra operations, and there were probably low-degree polynomials in one or two variables. Any guesses?
23:25
@robjohn Were you able to confirm that your uncle commanded the Kitty Hawk?
@RandomVariable No, I think I posted that his command was not what my mother thought. He took command of VAW-114, which I think was with the Kitty Hawk at the time.
Here He was promoted to Captain at the change of command we attended.
the carrier was there, he was being promoted to captain, he was leaving with the carrier, so I can see why there might have been confusion.
AFK BBL
@robjohn I misunderstood. I thought that was still a possibility.

« first day (4220 days earlier)      last day (1098 days later) »