"O Canada," the national anthem of our neighbors up north, comes in two official versions — English and French. They share a melody, but differ in meaning.

Let the record show: neither version of those lyrics contains the phrase "all lives matter."

But at the 2016 All-Star Game, the song got an unexpected edit.

At Petco Park in San Diego, one member of the Canadian singing group The Tenors — by himself, according to the other members of the group — revised the anthem.

School's out, and a lot of parents are getting through the long summer days with extra helpings of digital devices.

How should we feel about that?

Police in Baton Rouge say they have arrested three people who stole guns with the goal of killing police officers. They are still looking for a fourth suspect in the alleged plot, NPR's Greg Allen reports.

"Police say the thefts were at a Baton Rouge pawn shop early Saturday morning," Greg says. "One person was arrested at the scene. Since then, two others have been arrested and six of the eight stolen handguns have been recovered. Police are still looking for one other man."

A 13-year-old boy is among those arrested, Greg says.

Copyright 2016 NPR. To see more, visit http://www.npr.org/.

After an international tribunal invalidated Beijing's claims to the South China Sea, Chinese authorities have declared in no uncertain terms that they will be ignoring the ruling.

The Philippines brought the case to the Permanent Court of Arbitration in The Hague, objecting to China's claims to maritime rights in the disputed waters. The tribunal agreed that China had no legal authority to claim the waters and was infringing on the sovereign rights of the Philippines.

Donald Trump is firing back at Supreme Court Justice Ruth Bader Ginsburg after she disparaged him in several media interviews. He tweeted late Tuesday that she "has embarrassed all" with her "very dumb political statements" about the candidate. Trump ended his tweet with "Her mind is shot - resign!":

Donald Trump wrapped up his public tryout of potential vice presidential candidates in Indiana Tuesday night with Gov. Mike Pence giving the final audition.

The Indiana governor's stock as Trump's possible running mate is believed to be on the rise, with New Jersey Gov. Chris Christie and former House Speaker Newt Gingrich also atop the list. Sources tell NPR the presumptive GOP presidential nominee is close to making a decision, which he's widely expected to announce by Friday.

Copyright 2016 NPR. To see more, visit http://www.npr.org/.

The unassuming hero of Jonas Karlsson's clever, Kafkaesque parable is the opposite of a malcontent. Despite scant education, a limited social life, and no prospects for success as it is usually defined, he's that rarity, a most happy fella with an amazing ability to content himself with very little. But one day, returning to his barebones flat from his dead-end, part-time job at a video store, he finds an astronomical bill from an entity called W.R.D. He assumes it's a scam. Actually, it is more sinister-- and it forces him to take a good hard look at his life and values.

Copyright 2016 NPR. To see more, visit http://www.npr.org/.

Pages

Mathematician's Work Lives On In Everyday Life

Jun 23, 2012
Originally published on June 23, 2012 11:07 am

Transcript

SCOTT SIMON, HOST:

Alan Turing was born a hundred years ago today. He was a British mathematician and computer pioneer, and may have done as much as any soldier or statesman to win World War II. And his work continues to reveal itself in our everyday lives. WEEKEND EDITION's math guy Keith Devlin joins us from the studios of Stanford University, where he's also a professor.

Keith, thanks for being with us.

KEITH DEVLIN, BYLINE: Nice to be with you again, Scott.

SIMON: In addition to his role in World War II, he's best known among mathematicians for solving something called the David Hilbert's Decision Problem.

DEVLIN: That's right. And that was a problem that had been around since the 1920s. It was an abstract problem in mathematics. And he thought up this idea of a theoretical computing device that could be programmed to solve problems. Not only did he think about it, he proved that you could actually build one of these things. We now call these things Turing machines.

SIMON: So when we call him a computer pioneer this is not just the first man to walk over the landscape. This is a man who put the landscape in place.

DEVLIN: Oh, in fact, when computers were actually built, they were very similar in many ways to that theoretical Turing machine that he'd invented. He went to Princeton to do a Ph.D. And at Princeton at the time people were beginning to build the precursors of computers. And Turing was involved in that and that was a lucky break.

Then when he goes back to the U.K. in the Second World War, he gets involved at the famous Bletchley Park code-breaking house and builds computers to help solve the German Enigma code.

SIMON: Alan Turing received the Order of the British Empire for his contribution. And yet by 1952, this hero was charged with a criminal act for having a consensual homosexual relationship, which was then illegal. His security clearance was yanked, and the story gets really sad after this.

DEVLIN: Yeah, it does. And it's bizarre, because the authorities only discovered it because Turing - there was a break-in at house. He reported it. And he said he thinks it was this particularly person he'd dealt with and simply tells the police very naively, oh yes, I was having a homosexual relationship with this person. So then the authorities come down and, as you say, his security clearance was revoked.

But he was offered treatment with female hormones as an alternative to going to prison. And he took that and either because of the effect of the hormones or just the whole stress of the thing, a couple of years later in 1954, he kills himself. He laces an apple with cyanide, bites into it and dies instantly. And then he's found the next day dead of cyanide poisoning.

SIMON: Where do you see Alan Turning in our lives today?

DEVLIN: Oh, wow. I see it every time I pull the iPhone out of my pocket, because that's an instantiation of what in 1936 he proved was possible. You know, I think it about 1999 or 2000 that Time magazine named Turing one of the 100 most important people of the 20th century because of his role in creating the computer. I would probably put him in the top 50 because of the impact that computers have had on our lives on a large scale and on a very local and personal sale.

SIMON: WEEKEND EDITION's math guy Keith Devlin, speaking with us from Stanford. Thanks so much, Keith.

DEVLIN: My pleasure, Scott. Bye bye.

SIMON: This is NPR News. Transcript provided by NPR, Copyright NPR.