Skip to content

A simple but useful bound on binomial coefficients

Andreas von Ettingshausen was a German mathematician and physicist who lived in the early part of the 19${^{th}}$ century. He studied philosophy and jurisprudence, but later taught and wrote exclusively on mathematics and physics. Something that today, a mere 200 years later, would be impossible.

Today I wish to share a simple inequality with you on binomial coefficients.
Read more…

The buck stops here—on a blog, that is

Stasys Jukna has written a comprehensive book on Boolean circuit complexity, called Boolean Function Complexity: Advances and Frontiers. It includes a discussion of Mike Fischer’s Theorem on negations, which we recently re-gifted.

Today Ken and I would like to fill in some missing details to Mike’s famous result.
Read more…

Our new book is finally out

 Cropped from EuroGP’08 src.

Ronan Nugent is our editor at the publisher Springer DE. He is a combination of an acquisitions editor—or commissioning editor in the British Isles—and a project editor. The former signs up the authors, and the latter sees the copy through from the manuscript to bound book

Today Ken and I want to thank him for helping get our latest book published.
Read more…

For 2014, that is

 Cropped from Guardian article.

Isaac Asimov was one of the most prolific writers of all times—he wrote or edited over 500 books. In his Foundation series a mathematician finds out that the future can be predicted based on equations.

Today Ken and I wish to make several predictions about the new year, without using any equations.
Read more…

Our selections for best results of the year

Terry Gilliam is the director of the movie The Zero Theorem. This science fiction film came out just this past year, 2013, but completes a dystopian trilogy with Gilliam’s amazing 1985 film Brazil and his 1995 film 12 Monkeys. The new film’s lead character, named Qohen Leth, is working on a formula to determine whether life holds meaning.

Today Ken and I want to announce the GLL winners for best results of 2013. No, Qohen Leth is not among the winners.

An old theorem re-packaged?

Emily Post was America’s premier writer on etiquette for much of the 20th Century. The Emily Post Institute, which she founded in 1946, carries on much of her legacy, directed mostly by family at the “great-” and “great-great-” grandchild level. It features a free online “Etipedia.” Alas searches for terms that would relate to theory research etiquette come up empty. This makes us wonder whether a service could be named for Emil Post, the famous co-founder of computability theory. I believe there is no connection between Emil and Emily, except for the obvious one.

Today, known as Boxing Day in British culture, is often re-boxing day in the US and everywhere, as we return gifts that are not-quite-right. But instead I wish to talk about the alternate practice of re-gifting, which raises issues of relevance to both Emily and Emil. Read more…

tags: ,

I beg your pardon

Elizabeth Mary, Queen Elizabeth II, is the Queen of the United Kingdom and of the other Commonwealth realms. She has just today granted Alan Turing a posthumous royal pardon under the rule of “royal prerogative of mercy.”

Today Ken and I want to add our thoughts to this event. Read more…