##
17 posts tagged with computation *and* science.

Displaying 1 through 17 of 17. Subscribe:

## Famous Fluid Equations Are Incomplete

The Singular Mind of Terry Tao - "Imagine, he said, that someone awfully clever could construct a machine out of pure water. It would be built not of rods and gears but from a pattern of interacting currents." (via) [more inside]

## After Capitalism, Humanism

Shared Prosperity, Common Wealth, National Equity and a Citizen's Dividend: Nirit Peled takes a look at social experiments in basic incomes for VPRO Tegenlicht, a Dutch public television documentary series. Starting with a German crowdfunded UBI chosen by raffle -- kind of like the opposite of Le Guin's

*Omelas*(or Shirley Jackson's*Lottery*in reverse) -- the focus moves on to Albert Wenger who wants to disconnect work from income not only as automation progresses but to accelerate the process. Then it's on to Guy Standing who has conducted basic income experiments in India and Namibia (pdf) and is trying to get one off the ground in Groningen (Utrecht apparently is also a go). Finally, a stop in Alaska to ask some of its residents about their views on the state-owned Permanent Fund. This last part brings to mind the question: just what is wealth anyway? [more inside]## Embodied Cognition

The Deep Mind of Demis Hassabis - "The big thing is what we call transfer learning. You've mastered one domain of things, how do you abstract that into something that's almost like a library of knowledge that you can now usefully apply in a new domain? That's the key to general knowledge. At the moment, we are good at processing perceptual information and then picking an action based on that. But when it goes to the next level, the concept level, nobody has been able to do that." (previously: 1,2) [more inside]

## 21st Century Wiener

Norbert Wiener: The Eccentric Genius Whose Time May Have Finally Come (Again) - "The most direct reason for Wiener's fall to relative obscurity was the breakthrough of a young mathematician and engineer named Claude Shannon." [more inside]

## A SAT Attack on the Erdos Discrepancy Conjecture

Computers are providing solutions to math problems that we can't check - "A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it's talking about — because the solution, which is as long as all of Wikipedia's pages combined, is far too voluminous for us puny humans to confirm." (via; previously ;)

## there is no soundtrack

Finite time blowup for an averaged three-dimensional Navier-Stokes equation - "[Terence Tao] has shown that in an alternative abstract universe closely related to the one described by the Navier-Stokes equations, it is possible for a body of fluid to form a sort of computer, which can build a self-replicating fluid robot that, like the Cat in the Hat, keeps transferring its energy to smaller and smaller copies of itself until the fluid 'blows up.' " [1,2,3] (previously)

## John Baez on the maths of connecting everyone (and everything) on earth

Network Theory Overview - "The idea: nature and the world of human technology are full of networks! People like to draw diagrams of networks. Mathematical physicists know that in principle these diagrams can be understood using category theory. But why should physicists have all the fun? This is the century of

*understanding living systems and adapting to life on a finite planet*. Math isn't the main thing we need, but it's got to be part of the solution... so one thing we should do is develop a unified and powerful theory of networks." (via ;)## We're Going To Have To Find Out How To Deal With Lots Of Idle Hands

The Forces Of The Next 30 Years - SF author and Mefi's Own Charles Stross talks to students at Olin College about sci-fi, fiction, speculation, the limits of computation, thermodynamics, Moore's Law, the history of travel, employment, automation, free trade, demographics, the developing world, privacy, and climate change in trying to answer the question What Does The World Of 2043 Look Like? (Youtube 56:43)

## Computerized Math, Formal Proofs and Alternative Logic

Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]

## SPAUN of the living

The simulated brain - "First computer model to produce complex behaviour performs almost as well as humans at simple number tasks." [1,2,3,4,5,etc.]

## direct realism

The Nature of Computation - Intellects Vast and Warm and Sympathetic: "I hand you a network or graph, and ask whether there is a path through the network that crosses each edge exactly once, returning to its starting point. (That is, I ask whether there is a 'Eulerian' cycle.) Then I hand you another network, and ask whether there is a path which visits each node exactly once. (That is, I ask whether there is a 'Hamiltonian' cycle.) How hard is it to answer me?" (via) [more inside]

## What's gonna happen outside the window next?

## use value vs. exchange value

## Computable data* (conceivably knowable) about people

Stephen Wolfram discusses Wolfram|Alpha: Computational Knowledge Engine - at the same time Google Adds Search to Public Data, viz: "Nobody really paid attention to the two hour snorecast" -- like a cross between designing for big data and a glossary of game theory terms -- on Wolfram|Alpha (previously), yet the veil is being lifted nonetheless: "[on] a platonic search engine, unearthing eternal truths that may never have been written down before," cf. hunch & cyc (and in other startup news...) [via] [more inside]

## "You named your collaboration QAP? Really?"

The DiVincenzo Code [youtube trailer, geekery]. Faced with a strict demand from a funding agency to allocate research funds towards the dissemination of research ideas to the public, an experimental physics group at the University of Oxford produced a feature-length (55 min) action thriller about murder, ancient prophecy, tea breaks, and quantum computation. [more inside]

## Teleportation Breakthrough

Teleportation Breakthrough. Until now scientists have teleported similar objects such as light or single atoms over short distances from one spot to another in a split second.
But Professor Eugene Polzik and his team at the Niels Bohr Institute at Copenhagen University in Denmark have made a breakthrough by using both light and matter.
A more technical explanation.

## The End of equations?

The End of equations? Paul Dirac and Albert Einstein thought equations were things of beauty, Stephen Wolfram, by contrast thinks they are antiquated.

Page:
1