Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51
Vladimir Voevodsky, formerly a gifted but restless student who flunked out of college out of boredom before emerging as one of the most brilliant and revolutionary mathematicians of his generation, died on Sept. 30 at his home in Princeton, N.J. He was 51.
Nadia Shalaby, his former wife, said he was found dead in his home by friends, whom she had called when she had not heard from him. They then called the police. He had been ill and had apparently collapsed, she said. [The cause was not immediately known, but Dr. Shalaby said on Oct. 11 that it was found to have been an aneurysm.]
Dr. Voevodsky was renowned for founding entirely new fields of mathematics and creating groundbreaking new tools for computers to confirm the accuracy of proofs. In 2002, he was awarded the Fields Medal, which recognizes brilliance and promise in mathematicians under 40.
He was “one of the giants of our time,” Thomas Hales, a mathematician at the University of Pittsburgh, said in an interview. Dr. Voevodsky, he said, transformed every field he touched. In his work using computers, for example, he upended mathematical thinking to such a degree that he changed the meaning of the equals sign.
“If you want to ask how profound his work is, that’s how profound it is,” Dr. Hales said. “It changes the very meaning of what the equals sign means in mathematics.”
He added: “His ideas gave a new way for all mathematicians to do what they do, a new foundation. The foundations of math are like a constitutional document that spells out the governing rules all mathematicians agree to play by. He has given us a new constitution.”
Vladimir Voevodsky was born in Moscow on June 4, 1966. His father, Alexander, directed a laboratory in experimental physics at the Russian Academy of Sciences; his mother, Tatyana Voevodskaya, was a chemistry professor at Moscow University.
Vladimir was kicked out of high school three times, once for disagreeing with his teacher’s assertion that Dostoyevsky, who died in 1881, was pro-Communist. He was also kicked out of Moscow University after failing academically, having stopped attending classes that he considered a waste of time.
He continued to study mathematics independently, however, and with the mathematician Mikhail Kapranov he published several papers so impressive that he was invited to enroll at Harvard as a graduate student, despite never having applied for admission there and holding no formal undergraduate degree.
Once enrolled he again failed to attend lectures — but his body of research was so astonishing, colleagues said, that no one cared. He graduated in 1992 and remained at Harvard to do a fellowship. After spending several years as a member of the Institute for Advanced Study in Princeton, he became a professor there in 2002 and remained there for the rest of his career.
Dr. Voevodsky was awarded the Fields Medal for his discovery of an elusive mathematical object whose existence had been predicted decades earlier. The object provides a sort of mathematical wormhole that allows powerful theoretical tools in one field of mathematics to be pulled through and used in another. He then used those tools to crack a three-decade-old puzzle, giving birth to an entirely new area of mathematics called motivic homotopy theory.
Soon afterward, however, he abandoned that branch of mathematics for what was perhaps a more quixotic quest, to find the answer to a fundamental question: How do mathematicians know that something they prove is actually true?
This question became urgent for him as mathematicians were discovering — sometimes decades after publication — that proof after proof, including one of his own, had critical flaws.
Mathematical arguments had gotten so complicated, he realized, that other mathematicians rarely checked them in detail. And his stellar reputation only made the problem worse: Everyone assumed that his proofs must be right.
The problem was that these systems were extraordinarily cumbersome. Checking a single theorem could require a decade of work, because the computer essentially had to be taught all of the mathematics a proof was built on, in agonizing, inhuman detail. Ordinary mathematicians intent on expanding the borders of the field could not possibly devote that kind of effort to checking their proofs.
Somehow, computers and humans needed to be taught to think alike.
Dr. Voevodsky developed a stunningly bold plan for how to do so: He reformulated mathematics from its very foundation, giving it a new “constitution,” as Dr. Hales put it. Mathematics so reformulated would be far friendlier to computers and allow mathematicians to talk to computers in a language that was much closer to how mathematicians ordinarily think.
Today, Dr. Voevodsky declared in 2014, “computer verification of proofs, and of mathematical reasoning in general, looks completely practical.”
Dr. Voevodsky was at the center of an informal but enormous effort to fulfill his vision, having inspired dozens of researchers to join it. “He’s been our leader, even though he lets everybody do whatever they want,” said Robert Harper of Carnegie Mellon University in Pittsburgh. “He’s this inspirational and spiritual leader by example.”
Dr. Voevodsky was especially attentive to young mathematicians. “By being accommodating, encouraging, listening to people, he generated enormous interest,” Dr. Harper said in a telephone interview.
Besides Dr. Shalaby, he is survived by their two daughters, Diana Yasmine Voevodsky and Natalia Dalia Shalaby.
Chris Kapulkin, another colleague, at the University of Western Ontario, said of Dr. Voevodsky in an interview, “His contributions are so fundamental that it’s impossible to imagine how things were thought of before him.”
An obituary on Saturday about the mathematician Vladimir Voevodsky referred imprecisely to his tenure at the Institute for Advanced Study in Princeton, N.J. He was named a professor there in 2002, but he had become a member several years earlier; it was not the case that he “moved to” the Institute in 2002.
October 12, 2017
Sources:` New York Times
High levels of a substance called ruthenium 106 detected over the Continent have prompted concern about a possible cover-up by Moscow.
With 240-degree views, headsets and “sweet, musty scents,” a new kind of pornography offers a realism that is exciting to some, disturbing to others.
A new study suggests passenger pigeons were hyper-adapted to living in a large, stable population, leaving them unable to cope when humans hunted them en masse.
Benedict Allen, 57, was dropped into a remote forest in Papua New Guinea by helicopter last month. He didn't bring a satellite phone or any GPS devices.
The object, faster than known asteroids or comets, was first spotted by a telescope in Hawaii, and is leaving just as quickly as it arrived.
New research casts doubt on a gene-editing strategy that scientists had hoped to use against invasive species and epidemic diseases.
New memory prosthesis could be a game-changer for dementia care.