Posts Tagged ‘logic’
“Whoever wishes to keep a secret must hide the fact that he possesses one”*…
… or, as Sheon Han explains, maybe not…
Imagine you had some useful knowledge — maybe a secret recipe, or the key to a cipher. Could you prove to a friend that you had that knowledge, without revealing anything about it? Computer scientists proved over 30 years ago that you could, if you used what’s called a zero-knowledge proof.
For a simple way to understand this idea, let’s suppose you want to show your friend that you know how to get through a maze, without divulging any details about the path. You could simply traverse the maze within a time limit, while your friend was forbidden from watching. (The time limit is necessary because given enough time, anyone can eventually find their way out through trial and error.) Your friend would know you could do it, but they wouldn’t know how.
Zero-knowledge proofs are helpful to cryptographers, who work with secret information, but also to researchers of computational complexity, which deals with classifying the difficulty of different problems. “A lot of modern cryptography relies on complexity assumptions — on the assumption that certain problems are hard to solve, so there has always been some connections between the two worlds,” said Claude Crépeau, a computer scientist at McGill University. “But [these] proofs have created a whole world of connection.”…
More about how zero-knowledge proofs allow researchers conclusively to demonstrate their knowledge without divulging the knowledge itself: “How Do You Prove a Secret?,” from @sheonhan in @QuantaMagazine.
* Johann Wolfgang von Goethe
###
As we stay sub rosa, we might recall that today (All Saints Day) is the (fictional) birthday of Hello Kitty (full name: Kitty White); she was born in a suburb of London. A cartoon character designed by Yuko Shimizu (currently designed by Yuko Yamaguchi), she is the property of the Japanese company Sanrio. An avatar of kawaii (cute) culture, Hello Kitty is one of the highest-grossing media franchises of all time; Hello Kitty product sales and media licensing fees have run as high as $8 billion a year.
“Advantage! What is advantage?”*…
Pradeep Mutalik unpacks the magic and math of how to win games when your opponent goes first…
Most games that pit two players or teams against each other require one of them to make the first play. This results in a built-in asymmetry, and the question arises: Should you go first or second?
Most people instinctively want to go first, and this intuition is usually borne out. In common two-player games, such as chess or tennis, it is a real, if modest, advantage to “win the toss” and go first. But sometimes it’s to your advantage to let your opponent make the first play.
In our February Insights puzzle, we presented four disparate situations in which, counterintuitively, the obligation to move is a serious and often decisive disadvantage. In chess, this is known as zugzwang — a German word meaning “move compulsion.”…
Four fascinating examples: “The Secrets of Zugzwang in Chess, Math and Pizzas,” from @PradeepMutalik.
* Fyodor Dostoyevsky, Notes from Underground
###
As we play to win, we might recall that it was on this date in 2011 that scientists involved in the OPERA experiment (a collaboration between CERN and the Laboratori Nazionali del Gran Sasso) mistakenly observed neutrinos appearing to travel faster than light. OPERA scientists announced the results with the stated intent of promoting further inquiry and debate. Later the team reported two flaws in their equipment set-up that had caused errors far outside their original confidence interval: a fiber optic cable attached improperly, which caused the apparently faster-than-light measurements, and a clock oscillator ticking too fast; accounting for these two sources of error eliminated the faster-than-light results. But even before the sources of the error were discovered, the result was considered anomalous because speeds higher than that of light in a vacuum are generally thought to violate special relativity, a cornerstone of the modern understanding of physics for over a century.
“Speed and acceleration are merely the dream of making time reversible”*…
In the early 20th century, there was Futurism…
The Italian Futurists, from the first half of the twentieth century… wanted to drive modernisation in turn-of-the-century Italy at a much faster pace. They saw the potential in machines, and technology, to transform the country, to demand progress. It was not however merely an incrementalist approach they were after: words like annihilation, destruction and apocalypse appear in the writings of the futurists, including the author of The Futurist Manifesto, Filippo Tomasso Marinetti. ‘We want to glorify war – the only cure for the world…’ Marinetti proclaimed – this was not for the faint hearted! That same Marinetti was the founder of the Partito Politico Futuristo in 1918, which became part of Mussolini’s Fascist party in 1919. Things did not go well after that.
“Beautiful Ideas Which Kill: Accelerationism, Futurism and Bewilderment“
And now, in the early 21st century, there is Accelerationism…
These [politically-motivated mass] killings were often linked to the alt-right, described as an outgrowth of the movement’s rise in the Trump era. But many of these suspected killers, from Atomwaffen thugs to the New Zealand mosque shooter to the Poway synagogue attacker, are more tightly connected to a newer and more radical white supremacist ideology, one that dismisses the alt-right as cowards unwilling to take matters into their own hands.
It’s called “accelerationism,” and it rests on the idea that Western governments are irreparably corrupt. As a result, the best thing white supremacists can do is accelerate their demise by sowing chaos and creating political tension. Accelerationist ideas have been cited in mass shooters’ manifestos — explicitly, in the case of the New Zealand killer — and are frequently referenced in white supremacist web forums and chat rooms.
Accelerationists reject any effort to seize political power through the ballot box, dismissing the alt-right’s attempts to engage in mass politics as pointless. If one votes, one should vote for the most extreme candidate, left or right, to intensify points of political and social conflict within Western societies. Their preferred tactic for heightening these contradictions, however, is not voting, but violence — attacking racial minorities and Jews as a way of bringing us closer to a race war, and using firearms to spark divisive fights over gun control. The ultimate goal is to collapse the government itself; they hope for a white-dominated future after that…
“Accelerationism: the obscure idea inspiring white supremacist killers around the world” (and source of the image above)
See also: “A Year After January 6, Is Accelerationism the New Terrorist Threat?“
For a look at the “intellectual” roots of accelerationism, see “Accelerationism: how a fringe philosophy predicted the future we live in.”
For a powerful articulation of the dangers of Futurism (and even more, Acclerationism), see “The Perils of Smashing the Past.”
And for a reminder of the not-so-obvious ways that movements like these live on, see “The Intentionally Scandalous 1932 Cookbook That Stands the Test of Time,” on The Futurist Cookbook, by Futurist Manifesto author Filippo Tommaso Marinetti… which foreshadowed the “food as fuel” culinary movements that we see today.
* Jean Baudrillard
###
As we slow down, we might send a “Alles Gute zum Geburtstag” to the polymathic Gottfried Wilhelm Leibniz, the philosopher, mathematician, and political adviser, who was important both as a metaphysician and as a logician, but who is probably best remembered for his independent invention of the calculus; he was born on this date in 1646. Leibniz discovered and developed differential and integral calculus on his own, which he published in 1684; but he became involved in a bitter priority dispute with Isaac Newton, whose ideas on the calculus were developed earlier (1665), but published later (1687).
As it happens, Leibnitz was a wry and incisive political and cultural observer. Consider, e.g…
If geometry conflicted with our passions and our present concerns as much as morality does, we would dispute it and transgress it almost as much–in spite of all Euclid’s and Archimedes’ demonstrations, which would be treated as fantasies and deemed to be full of fallacies. [Leibniz, New Essays, p. 95]
“In the sphere of thought, absurdity and perversity remain the masters of this world, and their dominion is suspended only for brief periods”*…
From a (somewhat sarcastic) 1896 essay (“The Art of Controversy”) by that gloomiest of philosophers, Arthur Schopenhauer, advice that (sadly) feels as appropriate today as it surely was then…
1. Carry your opponent’s proposition beyond its natural limits; exaggerate it. The more general your opponent’s statement becomes, the more objections you can find against it. The more restricted and narrow his or her propositions remain, the easier they are to defend by him or her.
2. Use different meanings of your opponent’s words to refute his or her argument.
3. Ignore your opponent’s proposition, which was intended to refer to a particular thing. Rather, understand it in some quite different sense, and then refute it. Attack something different than that which was asserted.
…
The first three of “Schopenhauer’s 38 Stratagems, or 38 Ways to Win an Argument.” Via @TheBrowser.
[Image above: source]
* Arthur Schopenhauer, “The Art of Controversy“
###
As we celebrate sophistry, we might recall that it was on this date (or near; scholars disagree) in 325 that Roman Emperor Constantine I convened a gathering in which all of Scopenhauer’s tricks were surely employed: the First Council of Nicaea. An ecumenical council, it was the first effort to attain consensus in the church through an assembly representing all Christendom. Its main accomplishments were settlement of the Christological issue of the divine nature of God the Son and his relationship to God the Father, the construction of the first part of the Nicene Creed, mandating uniform observance of the date of Easter, and the promulgation of early canon law.
“One of the most singular characteristics of the art of deciphering is the strong conviction possessed by every person, even moderately acquainted with it, that he is able to construct a cipher which nobody else can decipher.”*…
And yet, for centuries no one has succeeded. Now, as Erica Klarreich reports, cryptographers want to know which of five possible worlds we inhabit, which will reveal whether truly secure cryptography is even possible…
Many computer scientists focus on overcoming hard computational problems. But there’s one area of computer science in which hardness is an asset: cryptography, where you want hard obstacles between your adversaries and your secrets.
Unfortunately, we don’t know whether secure cryptography truly exists. Over millennia, people have created ciphers that seemed unbreakable right until they were broken. Today, our internet transactions and state secrets are guarded by encryption methods that seem secure but could conceivably fail at any moment.
To create a truly secure (and permanent) encryption method, we need a computational problem that’s hard enough to create a provably insurmountable barrier for adversaries. We know of many computational problems that seem hard, but maybe we just haven’t been clever enough to solve them. Or maybe some of them are hard, but their hardness isn’t of a kind that lends itself to secure encryption. Fundamentally, cryptographers wonder: Is there enough hardness in the universe to make cryptography possible?
In 1995, Russell Impagliazzo of the University of California, San Diego broke down the question of hardness into a set of sub-questions that computer scientists could tackle one piece at a time. To summarize the state of knowledge in this area, he described five possible worlds — fancifully named Algorithmica, Heuristica, Pessiland, Minicrypt and Cryptomania — with ascending levels of hardness and cryptographic possibility. Any of these could be the world we live in…
Explore each of them– and their implications for secure encryption– at “Which Computational Universe Do We Live In?” from @EricaKlarreich in @QuantaMagazine.
###
As we contemplate codes, we might we might send communicative birthday greetings to a frequently–featured hero of your correspondent, Claude Elwood Shannon; he was born on this date in 1916. A mathematician, electrical engineer– and cryptographer– he is known as “the father of information theory.” But he is also remembered for his contributions to digital circuit design theory and for his cryptanalysis work during World War II, both as a codebreaker and as a designer of secure communications systems.
You must be logged in to post a comment.