Join 3,552 readers in helping fund MetaFilter (Hide)

9 posts tagged with computation and mathematics. (View popular tags)
Displaying 1 through 9 of 9. Subscribe:

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]
posted by kliuless on Jul 11, 2014 - 12 comments

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 ;)
posted by kliuless on Apr 12, 2014 - 24 comments

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)
posted by kliuless on Mar 9, 2014 - 15 comments

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 ;)
posted by kliuless on Mar 2, 2014 - 17 comments

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]
posted by kliuless on Mar 16, 2013 - 25 comments

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]
posted by kliuless on Dec 1, 2012 - 19 comments

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]
posted by kliuless on May 1, 2009 - 29 comments

Turing: The Final Years

Among his collected works, in the few, short years before mathematician Alan Turing was driven to suicide, he published "The Chemical Basis of Morphogenesis", theorizing how a standing wave-like distribution of "cannibal" and "missionary" chemicals might explain how plants and animals develop their shape and pigmentation. Blogger Jonathan Swinton focuses on this more obscure aspect of Turing's research, and reviews some of his posthumous and unpublished efforts — including one of the earliest known examples of digital computation applied to the field of biology.
posted by Blazecock Pileon on Aug 7, 2006 - 10 comments

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.
posted by none on Jan 27, 2002 - 10 comments

Page: 1