##
14 posts tagged with computation by kliuless.

Displaying 1 through 14 of 14.

## 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 ;)## knowledge-based programming

## 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]

## use value vs. exchange value

## when woz cries

## transcendental numbers rumble in the technium

Extropy

How did life arise? What is information? In his recent dispatches from The Technium, Kevin Kelly would say extropy (cf. negentropy & Prigogine). [previously 1|2]

How did life arise? What is information? In his recent dispatches from The Technium, Kevin Kelly would say extropy (cf. negentropy & Prigogine). [previously 1|2]

## 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]

## The Secret life of Plants

Page:
1