Logic hacking - "Writing shorter and shorter computer programs for which it's unknowable whether these programs run forever, or stop... the winner of the Busy Beaver Game for N-state Turing machines becomes unknowable using ordinary math - somewhere between N = 5 and N = 1919." [more inside]
Frank Wilczek: Physics in 100 Years [pdf] - "Here I indulge in wide-ranging speculations on the shape of physics, and technology closely related to physics, over the next one hundred years. Themes include the many faces of unification, the re-imagining of quantum theory, and new forms of engineering on small, intermediate, and large scales." [more inside]
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]
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 ;)
Closing in on the twin prime conjecture (Quanta) - "Just months after Zhang announced his result, Maynard has presented an independent proof that pushes the gap down to 600. A new Polymath project is in the planning stages, to try to combine the collaboration's techniques with Maynard's approach to push this bound even lower." [more inside]
The concept of nothing is as old as zero itself. How do we grapple with the concept of nothing? From the best laboratory vacuums on Earth to the vacuum of space to what lies beyond, the idea of nothing continues to intrigue professionals and the public alike. Join moderator and Hayden Planetarium Director Neil deGrasse Tyson as he leads a spirited discussion with a group of physicists, philosophers and journalists about the existence of nothing. The event, which was streamed live to the web, took place at the American Museum of Natural History on March 20, 2013. [more inside]
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]
Morton and Vicary on the Categorified Heisenberg Algebra - "In quantum mechanics, position times momentum does not equal momentum times position! This sounds weird, but it's connected to a very simple fact. Suppose you have a box with some balls in it, and you have the magical ability to create and annihilate balls. Then there's one more way to create a ball and then annihilate one, than to annihilate one and then create one. Huh? Yes: if there are, say, 3 balls in the box to start with, there are 4 balls you can choose to annihilate after you've created one but only 3 before you create one..." [more inside]
The trend of mathematics and physics towards unification provides the physicist with a powerful new method of research into the foundations of his subject, a method which has not yet been applied successfully, but which I feel confident will prove its value in the future. The method is to begin by choosing that branch of mathematics which one thinks will form the basis of the new theory. One should be influenced very much in this choice by considerations of mathematical beauty.  [more inside]
The Royal Society's lost women scientists. Women published in the Royal Society, 1890-1930. Most influential British women in the history of science. Women at the Royal Observatory Greenwich. Heroines of Science. Women Biochemists, 1906-1939. Women in Science. Previously: The Women of ENIAC.
Science sites of all kinds for kids. Archeology. Entomology. Natural Symphony. Baseball in Space. Philosophy. Process or Content. Science songs. Physics songs, relativity. String theory. Science and Art.
A bold paper published in the August issue of Foundations of Physics Letters seems set to change the way we think about the nature of time and its relationship to motion and classical and quantum mechanics. The work also appears to provide solutions to Zeno's paradoxes. (Via Kurzweilai.net. More inside...)
Fire up that warp drive. In this week's issue of Nature, physicists claim to have made 50,000 atoms of antihydrogen. Not only is this a lot more antihydrogen than has been produced before, the stuff is cold -- read slow-moving -- so it's possible that physicists will finally be able to trap it and study it. (Less technical news story here.)