← 1 message moved from Explorers of the Deep

dang, pretty quick

good job

I do have to say, answering that question was pretty fun

I knew that result was a thing, but I hadn't done it myself

← 4 messages moved from CURED

:/

← 1 message moved from CURED

\forall v , \forall v' , \neg \left[\neg(v'>1) \vee \neg(v > 1) \vee (vv' = p) \right]

Let me quickly explain why.

So the statement is translated as follows :

very nice

← 1 message moved from CURED

p is a prime if and only if : for every v,v' , we don't have that either not(v'>1) or not(v>1) or (vv' = p).

← 4 messages moved from Teresa Lisbon, senior agent, CBI

:57975849 I don't know what you mean. But I have a seminar starting in 40 minutes and don't have much time right now.

@Onir I'm sure everybody highly appreciated that. But don't over do your praise. ;-)

I'll try to keep my praises modest, to avoid getting kicked with the same expeditiousness

@Onir sounds like a good plan.

I'll try to namechange less often, I didn't know amwhy didn't like it

If it helps keep track of me, I'm the only user with location set to "Mexico" in that ballpark

@Onir It's not that I don't like name changes, but I'm not fond of changing a username, unbenounced to other, to fly under the radar, so to speak. I'm not saying you were trying to do that for that reason. It merely raises the question for many. That's all.

Oh ok, I added my personal site just in case

to my bio

I'll be back in a couple weeks probably, although hopefully not