ColinTheMathmo @ColinTheMathmo@mathstodon.xyz

If something's neither here nor there, where the hell is it? -- Chic Murray

Anyone who believes in conspiracy theories has clearly never tried to organise a meal for four or more people. -- Source?

Man is least himself when he talks in his own person. Give him a mask, and he will tell you the truth. -- Oscar Wilde

God may not play dice with the universe, but something strange is going on with the prime numbers -- Paul Erdös (1997)

Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away -- Antoine de Saint-Exupery

Thank God children are made of washable material. And they bounce.

RMW: Some people find it hard to accept a compliment. Me: Perhaps they just don't get enough practice.

There's no such thing as bad weather, just inappropriate clothing. (Although sometimes the appropriate clothing is 'Building')

That moment you realise that though you work & interact with a particular on-line community, you just don't understand them at all.

A: Because otherwise it would be confusing. Q: Why do questions always come before answer?

War is neither glamorous nor attractive. It is monstrous. Its very nature is one of tragedy and suffering. -- Dalai Lama

OK, I have a question. Consider this statement:

Suppose \( x \in \mathbb{R} \)
is such that \( \forall (s,t)\in \mathbb{Q}^2 \),
\( |x-s|=|x-t| \implies s=t. \)

Then \(x\not\inℚ \).

Is that a theorem, lemma, observation, or something else?

Never put off until tomorrow what you can do the day after tomorrow. -- Mark Twain

In about half an hour, UK #ISS pass, starting at 06:13:34, duration 54 secs, visible, Magnitude -1.3

Some passes of the #ISS visible from the UK overnight - I'll tweet/toot warnings closer to the time

Hmm. The MathJax didn't render, but the admins are onto it.

We apologise for the inconvenience.

Meanwhile, here it is without the markup ...

Consider this statement:

Suppose x in R is such that for all (s,t) in Q², |x-s|=|x-t| => s=t. Then x is irrational.

Is that a theorem, lemma, observation, or something else?

Before he was a famous musician, Johnny Cash was a military code breaker for the US Air Force.

In about half an hour, UK #ISS pass, starting at 05:26:28, duration 61 secs, visible, Magnitude -1.2