At @recursecenter in our Annotated Turing study group we got talking about diagonalization. I made a joke - then I made a poster and bumpersticker to go with it.

It's always a fun conversation to have - what is real - what can we express - what can we compute

#realNumbers #birdsarentreal #math #mathart #mtbos #recurseCenter #diagonalization #cantor

⬆️ The problems, the algorithms, and the competing inputs themselves DO NOT MATTER.

The answer is always #NO for any algorithm, invoked any number of times, with any number of inputs, unless the input is from them and them alone. The answer is always #YES in the latter case, and only in the latter case.

Nattering Nabobs of #Negativism

No amount of #bipartisanship will ever overcome this #diagonalization problem

#Democrats needs #political fine-#Turing

@SteveThompson

https://www.wired.com/story/alan-turing-and-the-power-of-negative-thinking/

Alan Turing and the Power of Negative Thinking

Mathematical proofs based on a technique called diagonalization can be relentlessly contrarian, but they help reveal the limits of algorithms.

WIRED

@SteveThompson

#UncannySimilarities to the way #GOP operates

They don't have any #platform or #algorithm of their own, but they output #NO from infinite invocations of infinite number of algorithms that try to solve any of this nation's problems using inputs other than their own, and output #YES from that same algorithm when the input is their own.

No amount of #bipartisanship will ever overcome this #diagonalization problem.

#Democrats needs #political fine-#Turing

https://www.wired.com/story/alan-turing-and-the-power-of-negative-thinking/

Alan Turing and the Power of Negative Thinking

Mathematical proofs based on a technique called diagonalization can be relentlessly contrarian, but they help reveal the limits of algorithms.

WIRED
Alan Turing and the Power of Negative Thinking | Quanta Magazine

Mathematical proofs based on a technique called diagonalization can be relentlessly contrarian, but they help reveal the limits of algorithms.

Quanta Magazine