(Roughly) Daily

Posts Tagged ‘logic

“Your job as a scientist is to figure out how you’re fooling yourself”*…

Larger version here

And like scientists, so all of us…

Science has shown that we tend to make all sorts of mental mistakes, called “cognitive biases”, that can affect both our thinking and actions. These biases can lead to us extrapolating information from the wrong sources, seeking to confirm existing beliefs, or failing to remember events the way they actually happened!

To be sure, this is all part of being human—but such cognitive biases can also have a profound effect on our endeavors, investments, and life in general.

Humans have a tendency to think in particular ways that can lead to systematic deviations from making rational judgments.

These tendencies usually arise from:

• Information processing shortcuts

• The limited processing ability of the brain

• Emotional and moral motivations

• Distortions in storing and retrieving memories

• Social influence

Cognitive biases have been studied for decades by academics in the fields of cognitive science, social psychology, and behavioral economics, but they are especially relevant in today’s information-packed world. They influence the way we think and act, and such irrational mental shortcuts can lead to all kinds of problems in entrepreneurship, investing, or management.

Here are five examples of how these types of biases can affect people in the business world:

1. Familiarity Bias: An investor puts her money in “what she knows”, rather than seeking the obvious benefits from portfolio diversification. Just because a certain type of industry or security is familiar doesn’t make it the logical selection.

2. Self-Attribution Bias: An entrepreneur overly attributes his company’s success to himself, rather than other factors (team, luck, industry trends). When things go bad, he blames these external factors for derailing his progress.

3. Anchoring Bias: An employee in a salary negotiation is too dependent on the first number mentioned in the negotiations, rather than rationally examining a range of options.

4. Survivorship Bias: Entrepreneurship looks easy, because there are so many successful entrepreneurs out there. However, this is a cognitive bias: the successful entrepreneurs are the ones still around, while the millions who failed went and did other things.

5. Gambler’s Fallacy: A venture capitalist sees a portfolio company rise and rise in value after its IPO, far behind what he initially thought possible. Instead of holding on to a winner and rationally evaluating the possibility that appreciation could still continue, he dumps the stock to lock in the existing gains.

An aid to thinking about thinking: “Every Single Cognitive Bias in One Infographic.” From DesignHacks.co via Visual Capitalist.

And for a fascinating look of cognitive bias’ equally dangerous cousin, innumeracy, see here.

* Saul Perlmutter, astrophysicist, Nobel laureate


As we cogitate, we might recall that it was on this date in 1859 that “The Carrington Event” began. Lasting two days, it was the largest solar storm on record: a large solar flare (a coronal mass ejection, or CME) that affected many of the (relatively few) electronics and telegraph lines on Earth.

A solar storm of this magnitude occurring today would cause widespread electrical disruptions, blackouts, and damage due to extended outages of the electrical grid. The solar storm of 2012 was of similar magnitude, but it passed Earth’s orbit without striking the planet, missing by nine days. See here for more detail on what such a storm might entail.

Sunspots of 1 September 1859, as sketched by R.C. Carrington. A and B mark the initial positions of an intensely bright event, which moved over the course of five minutes to C and D before disappearing.

“If the doors of perception were cleansed everything would appear to man as it is, infinite”*…

For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise…

Infinity comes in many sizes. In 1873, the German mathematician Georg Cantor shook math to the core when he discovered that the “real” numbers that fill the number line — most with never-ending digits, like 3.14159… — outnumber “natural” numbers like 1, 2 and 3, even though there are infinitely many of both.

Infinite sets of numbers mess with our intuition about size, so as a warmup, compare the natural numbers {1, 2, 3, …} with the odd numbers {1, 3, 5, …}. You might think the first set is bigger, since only half its elements appear in the second set. Cantor realized, though, that the elements of the two sets can be put in a one-to-one correspondence. You can pair off the first elements of each set (1 and 1), then pair off their second elements (2 and 3), then their third (3 and 5), and so on forever, covering all elements of both sets. In this sense, the two infinite sets have the same size, or what Cantor called “cardinality.” He designated their size with the cardinal number 0 (“aleph-zero”).

But Cantor discovered that natural numbers can’t be put into one-to-one correspondence with the continuum of real numbers. For instance, try to pair 1 with 1.00000… and 2 with 1.00001…, and you’ll have skipped over infinitely many real numbers (like 1.000000001…). You can’t possibly count them all; their cardinality is greater than that of the natural numbers.

Sizes of infinity don’t stop there. Cantor discovered that any infinite set’s power set — the set of all subsets of its elements — has larger cardinality than it does. Every power set itself has a power set, so that cardinal numbers form an infinitely tall tower of infinities.

Standing at the foot of this forbidding edifice, Cantor focused on the first couple of floors. He managed to prove that the set formed from all the different ways of ordering natural numbers (from smallest to largest, for example, or with all odd numbers first) has cardinality 1, one level up from the natural numbers. Moreover, each of these “order types” encodes a real number.

His continuum hypothesis asserts that this is exactly the size of the continuum — that there are precisely 1 real numbers. In other words, the cardinality of the continuum immediately follow 0, the cardinality of the natural numbers, with no sizes of infinity in between.

But to Cantor’s immense distress, he couldn’t prove it.

In 1900, the mathematician David Hilbert put the continuum hypothesis first on his famous list of 23 math problems to solve in the 20th century. Hilbert was enthralled by the nascent mathematics of infinity — “Cantor’s paradise,” as he called it — and the continuum hypothesis seemed like its lowest-hanging fruit.

To the contrary, shocking revelations last century turned Cantor’s question into a deep epistemological conundrum.

The trouble arose in 1931, when the Austrian-born logician Kurt Gödel discovered that any set of axioms that you might posit as a foundation for mathematics will inevitably be incomplete. There will always be questions that your list of ground rules can’t settle, true mathematical facts that they can’t prove. As Gödel suspected right away, the continuum hypothesis is such a case: a problem that’s independent of the standard axioms of mathematics.

These axioms, 10 in all, are known as ZFC (for “Zermelo-Fraenkel axioms with the axiom of choice”), and they undergird almost all of modern math. The axioms describe basic properties of collections of objects, or sets. Since virtually everything mathematical can be built out of sets (the empty set {} denotes 0, for instance; {{}} denotes 1; {{},{{}}} denotes 2, and so on), the rules of sets suffice for constructing proofs throughout math.

In 1940, Gödel showed that you can’t use the ZFC axioms to disprove the continuum hypothesis. Then in 1963, the American mathematician Paul Cohen showed the opposite —you can’t use them to prove it, either. Cohen’s proof, together with Gödel’s, means the continuum hypothesis is independent of the ZFC axioms; they can have it either way.

In addition to the continuum hypothesis, most other questions about infinite sets turn out to be independent of ZFC as well. This independence is sometimes interpreted to mean that these questions have no answer, but most set theorists see that as a profound misconception.

They believe the continuum has a precise size; we just need new tools of logic to figure out what that is. These tools will come in the form of new axioms. “The axioms do not settle these problems,” said Magidor, so “we must extend them to a richer axiom system.” It’s ZFC as a means to mathematical truth that’s lacking — not truth itself.

Ever since Cohen, set theorists have sought to shore up the foundations of infinite math by adding at least one new axiom to ZFC. This axiom should illuminate the structure of infinite sets, engender natural and beautiful theorems, avoid fatal contradictions, and, of course, settle Cantor’s question…

Two rival axioms emerged that do just that. For decades, they were suspected of being logically incompatible.

In October 2018, David Asperó was on holiday in Italy, gazing out a car window as his girlfriend drove them to their bed-and-breakfast, when it came to him: the missing step of what’s now a landmark new proof about the sizes of infinity. “It was this flash experience,” he said.

Asperó, a mathematician at the University of East Anglia in the United Kingdom, contacted the collaborator with whom he’d long pursued the proof, Ralf Schindler of the University of Münster in Germany, and described his insight. “It was completely incomprehensible to me,” Schindler said. But eventually, the duo turned the phantasm into solid logic.

Their proof, which appeared in May in the Annals of Mathematics, unites two rival axioms that have been posited as competing foundations for infinite mathematics. Asperó and Schindler showed that one of these axioms implies the other, raising the likelihood that both axioms — and all they intimate about infinity — are true…

There are an infinite number of infinities. Which one corresponds to the real numbers? “How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer.”

[TotH to MK]

* William Blake


As we contemplate counting, we might spare a thought for Georg Friedrich Bernhard Riemann; he died on this date in 1866. A mathematician who made contributions to analysis, number theory, and differential geometry, he is remembered (among other things) for his 1859 paper on the prime-counting function, containing the original statement of the Riemann hypothesis, regarded as one of the most influential papers in analytic number theory.


“He told me that in 1886 he had invented an original system of numbering”*…

A visualization of the 3-adic numbers

The rational numbers are the most familiar numbers: 1, -5, ½, and every other value that can be written as a ratio of positive or negative whole numbers. But they can still be hard to work with.

The problem is they contain holes. If you zoom in on a sequence of rational numbers, you might approach a number that itself is not rational. This short-circuits a lot of basic mathematical tools, like most of calculus.

Mathematicians usually solve this problem by arranging the rationals in a line and filling the gaps with irrational numbers to create a complete number system that we call the real numbers.

But there are other ways of organizing the rationals and filling the gaps: the p-adic numbers. They are an infinite collection of alternative number systems, each associated with a unique prime number: the 2-adics, 3-adics, 5-adics and so on.

The p-adics can seem deeply alien. In the 3-adics, for instance, 82 is much closer to 1 than to 81. But the strangeness is largely superficial: At a structural level, the p-adics follow all the rules mathematicians want in a well-behaved number system…

“We’re all on Earth and we work with the reals, but if you went [anywhere] else, you’d work with the p-adics,” [University of Washington mathematician Bianca] Viray explained. “It’s the reals that are the outliers.”

The p-adics form an infinite collection of number systems based on prime numbers. They’re at the heart of modern number theory… which is itself at the heart of computer science, numerical analysis, and cryptography: “An Infinite Universe of Number Systems.”

* Jorge Luis Borges, Labyrinths


As we dwell on digits, we might send carefully-calculated birthday greetings to Klaus Friedrich Roth; he was born on this date in 1925. After escaping with his family from Nazi Germany, he was educated at Cambridge, then taught mathematics first at University College London, then at Imperial College London. He made a number of important contribution to Number Theory, for which he won the De Morgan Medal and the Sylvester Medal, and election to Fellowship of the Royal Society. In 1958 he was awarded mathematics’ highest honor, the Fields Medal, for proving Roth’s theorem on the Diophantine approximation of algebraic numbers.


“If a ‘religion’ is defined to be a system of ideas that contains unprovable statements, then Gödel taught us that mathematics is not only a religion, it is the only religion that can prove itself to be one”*…




In 1931, the Austrian logician Kurt Gödel pulled off arguably one of the most stunning intellectual achievements in history.

Mathematicians of the era sought a solid foundation for mathematics: a set of basic mathematical facts, or axioms, that was both consistent — never leading to contradictions — and complete, serving as the building blocks of all mathematical truths.

But Gödel’s shocking incompleteness theorems, published when he was just 25, crushed that dream. He proved that any set of axioms you could posit as a possible foundation for math will inevitably be incomplete; there will always be true facts about numbers that cannot be proved by those axioms. He also showed that no candidate set of axioms can ever prove its own consistency.

His incompleteness theorems meant there can be no mathematical theory of everything, no unification of what’s provable and what’s true. What mathematicians can prove depends on their starting assumptions, not on any fundamental ground truth from which all answers spring.

In the 89 years since Gödel’s discovery, mathematicians have stumbled upon just the kinds of unanswerable questions his theorems foretold. For example, Gödel himself helped establish that the continuum hypothesis, which concerns the sizes of infinity, is undecidable, as is the halting problem, which asks whether a computer program fed with a random input will run forever or eventually halt. Undecidable questions have even arisen in physics, suggesting that Gödelian incompleteness afflicts not just math, but — in some ill-understood way — reality…

A (relatively) simple explanation of the incompleteness theorem– which destroyed the search for a mathematical theory of everything: “How Gödel’s Proof Works.”

* John D. Barrow, The Artful Universe


As we noodle on the unknowable, we might spare a thought for Vilfredo Federico Damaso Pareto; he died on this date in 1923.  An engineer, sociologist, economist, political scientist, and philosopher, he made several important contributions to economics, sociology, and mathematics.

He introduced the concept of Pareto efficiency and helped develop the field of microeconomics.  He was also the first to discover that income follows a Pareto distribution, which is a power law probability distribution.  The Pareto principle,  named after him, generalized on his observations on wealth distribution to suggest that, in most systems/settings, 80% of the effects come from 20% of the causes– the “80-20 rule.” He was also responsible for popularizing the use of the term “elite” in social analysis.

As Benoit Mandelbrot and Richard L. Hudson observed, “His legacy as an economist was profound. Partly because of him, the field evolved from a branch of moral philosophy as practised by Adam Smith into a data intensive field of scientific research and mathematical equations.”

The future leader of Italian fascism Benito Mussolini, in 1904, when he was a young student, attended some of Pareto’s lectures at the University of Lausanne.  It has been argued that Mussolini’s move away from socialism towards a form of “elitism” may be attributed to Pareto’s ideas.

Mandelbrot summarized Pareto’s notions as follows:

At the bottom of the Wealth curve, he wrote, Men and Women starve and children die young. In the broad middle of the curve all is turmoil and motion: people rising and falling, climbing by talent or luck and falling by alcoholism, tuberculosis and other kinds of unfitness. At the very top sit the elite of the elite, who control wealth and power for a time – until they are unseated through revolution or upheaval by a new aristocratic class. There is no progress in human history. Democracy is a fraud. Human nature is primitive, emotional, unyielding. The smarter, abler, stronger, and shrewder take the lion’s share. The weak starve, lest society become degenerate: One can, Pareto wrote, ‘compare the social body to the human body, which will promptly perish if prevented from eliminating toxins.’ Inflammatory stuff – and it burned Pareto’s reputation… [source]

220px-Vilfredo_Pareto_1870s2 source



“The door handle is the handshake of the building”*…


door handle

Door handle and rose (1833–47), manufactured by Copeland & Garrett, Stoke-on-Trent. Victoria and Albert Museum, London


We have all become suddenly more aware of the moments when we cannot avoid touching elements of public buildings. Architecture is the most physical, most imposing and most present of the arts – you cannot avoid it yet, strangely, we touch buildings at only a very few points – the handrail, perhaps a light switch and, almost unavoidably, the door handle. This modest piece of handheld architecture is our critical interface with the structure and the material of the building. Yet it is often reduced to the most generic, cheaply made piece of bent metal which is, in its way, a potent critique of the value we place on architecture and our acceptance of its reduction to a commodified envelope rather than an expression of culture and craft.

Despite their ubiquity and pivotal role in the haptic experience of architecture, door handles remain oddly under-documented. There are no serious histories and only patchy surveys of design, mostly sponsored by manufacturers. Yet in the development of the design of the door handle we have, in microcosm, the history of architecture, a survey of making and a measure of the development of design and how it relates to manufacture, technology and the body.

For as long as there have been doors there have been door handles…

An appreciation of the apparati of accessibility: “Points of contact – a short history of door handles.”

* Juhani Pallasmaa, The Eyes of the Skin: Architecture and the Senses


As we get a grip, we might send thoughtfully-wagered birthday greetings to a man whose thought open a great many (metaphorical) doors, Blaise Pascal; he was born on this date in 1623.  A French mathematician, physicist, theologian, and inventor (e.g.,the first digital calculator, the barometer, the hydraulic press, and the syringe), his commitment to empiricism (“experiments are the true teachers which one must follow in physics”) pitted him against his contemporary René “cogito, ergo sum” Descartes…


Happy Juneteenth!


Written by (Roughly) Daily

June 19, 2020 at 1:01 am

%d bloggers like this: