Hundreds of Paper-Mill Papers Peddled in Ads Were Later Published A study by social scientist Anna Abalkina of Germany’s Free University of Berlin and colleagues
Read more
Mathematics errors in computer science
A trivial theorem, more of a tautology, on networking and Turing’s deep theorem on decidability are both widely cited, widely misunderstood and widely misapplied in
Read more
Process algebra and automata theory
Milner’s Communication and Concurrency contrasts a notion of “bisimulation” with what he characterizes as the view in standard automata theory. Standard automata theory, however, has
Read more
Comrades Cheyne and Stokes and mathematics
There is a great book of stories by Soviet era radio astronomer Iosef Shklovsky called 5 Billion Vodka Bottles to the Moon which has a
Read moreJudea Pearl’s mysterious claim
Pearl: Of course, but you cannot see this noble aspiration in scientific equations. The language of algebra is symmetric: If x tells us about y, then y tells us about x. I’m
Read more
victor.yodaiken@gmail.com
See also: Damore’s Defenders. Scott Aaronson is a distinguished professor of computer science at the University of Texas. I ran into his blog a while
Read moreXor patterns
The xor i mod 128 “multiplication table” as presented by Mathematica. Here is the mod 64 matrix.
Read moreinformal methods applied to networks and timeouts
Distributed computation involves many interesting issues concerning shared data. Here I want to sketch out what networks look like using applied (informal) mathematics so we
Read more
James Damore’s defenders (updated)
(recently saw a post claiming that Damore’s firing was an indication of closed minds at Google, so it seemed important to repost this – vy)
Read moreCurrent reading: July 8 2017
Principal type-schemes for functional programs∗ Luis Damas† and Robin Milner First published in POPL ’82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of
Read more