Lead through the sublime history of physics from Newton to Einstein to some guy named Garrett Lisi (who could be the next Einstein) -- even blending in Rubic's cube and the monoids for added texture -- then over the edge of absurdity. Before I could realise what was happening I was being told to look down -- while you switched the gravity back on!

I always suspected you guys at Microsoft were evil geniuses, but this proves it! I'm coming up with a plan to get you for this, just as soon as I stop laughing.

Happy April 1 to you too,

Darryl

posted by dske

]]>posted by ivan_

]]>posted by jl235

]]>What makes this so great is that the first twenty minutes is a really excellent summary of quantum physics, electrodynamics and relativity. And Garrett Lisi really exists, and that part is really exciting! So even though its a joke, you're getting something out of it.

-- still a pretty cruel joke though, guys

posted by dske

]]>I find your lack of faith disturbing...

posted by esoteric

]]>posted by Bas

]]>posted by KevinB

]]>posted by Koogle

]]>G+EM+QM+QED = 4/1*MC

posted by iStation

]]>

Other guy with less credibility than Brian wouldn't make the same effect.

posted by nmarcel

]]>KevinB wrote:

Yeah, the 30 minutes was an achievement, but I must admit this stretched my April Fool's good humour to the limit, 30 minutes of listening to the WMA and then it is an April Fool's. Funny, which is why I didn't do the first post warning others it was an April Fool's, but just a little too long and too much time wasted for comfort...

It's not time wasted. It's a great discussion on the history of physics (everything up to and including the existance of the set E8 is true - whether E8 unifies anything in physics is spurious at best and everything after that is

And if you didn't cotton-on to the fact that it's an april fool joke by the time Brian says they "finished" theoretical physics then shame on you

This all being said, given that quantum computing actually exists (stop laughing) I wonder if Microsoft does actually have any active interests in that area.

posted by evildictaitor

]]>posted by brianbec

]]>For example some string theorists think that E11 might be the Lie group which is the symmetry of M-Theory. Now E11 is an

A Lie group is expressed by its generators which form a Lie algebra, an element of which can be written L(n). Now an

Each state of a Turing machine can be encoded as an integer by a particular coding system. For example taking the commutor of L(0) with L(n) should give the next state of the Turing machine L(n'). So we can ask, is there a Kac-Moody algebra that encodes the Universal turing machine? If so this would mean that Kac-Moody algebras are unclassifiable which would be an important question in physics.

Thus combining the ideas of computability, physics and group theory is not so outlandish after all! You would probably even get it published in a respectable journal.

(But I would leave out the part about the computers made of gloop!)

posted by paulcoder

]]>Very well done

posted by Cyonix

]]>posted by Yankee

]]>Pon wrote:

So it's all a joke? Great. Thanks for wasting 500mb.

They call it April the 1st

posted by littleguru

]]>littleguru wrote:

They call it April the 1st

Pon wrote:

So it's all a joke? Great. Thanks for wasting 500mb.

They call it April the 1st

April the 1st is 5mb, not 500.

posted by Pon

]]>Pon wrote:

April the 1st is 5mb, not 500.

littleguru wrote:

Pon wrote:

So it's all a joke? Great. Thanks for wasting 500mb.

They call it April the 1st

April the 1st is 5mb, not 500.

or 5 GB..., who knows. </joking>

posted by littleguru

]]>paulcoder wrote:

Thus combining the ideas of computability, physics and group theory is not so outlandish after all! You would probably even get it published in a respectable journal.

This has already been done. Let's try and get the gist of it down in just a few paragraphs.

The Church-Turing thesis shows that the set of lambda-calculus solvable algorithms is turing complete and that the set of problems that can be solved by a turing machine is the set of algorithms solvable by lambda calculus.

And we have the fact that lambda-calculus is "Goedel-complete" (it is an omega-consistent recursive class

In brief this means that there are non-computable problems inside lambda-calculus and thus in turing machines, but also (and importantly) there are non-computable problems in mathematics, and turing-unsolvable problems are a subset of problems which cannot be solved in mathematics.

Couple this with the fact that every law of physics is in fact a transformation from a physical "world view" (observations et. al) to a mathematical rule-system and back-again, typically deviating while in the maths stage to do some mathematical transformations before coming back again (the mathematical transform is referred to as the "rule" or physical "law").

For instance, given a mass of 1kg being pushed by 1 Newton of force, we transform this (using physics) to the system {m=1kg, a=1N} and use the transform {F = ma} and solve using mathematics to {a = F/m, a = 1m/ss} and then resolve via physics back again to the statement "it will accellerate by one metre per second per second for the duration the force is applied."

Consequently the problems which cannot be solved by computers is a either equal or a subset of the problems that cannot be solved in physics, which is in turn equal or a subset of the problems that cannot be solved within mathematics (and it is important to note that this is "unfixable"; i.e. we cannot change maths to compensate for this, since it will either be incomplete (we don't know everything) or inconsistent (we've proved some things which don't happen)).

So there is a unifcation set for you which combines group theory, unsolvability and physics.

Finally we should note that if a theory of everything

It therefore follows that either one of the following is true:

- A theory of everything exists, but it cannot be written in mathematics. At which point it stops being science and becomes philosophy or theology.
- A theory of everything exists, but for some problems it simply returns the wrong result.
- A theory of everything exists, but for some problems it will never return a result. And equally importantly given Turing's halting problem you won't be able to tell before doing the computation that it will never halt. Consequently the theory ceases to be a theory of "everything" in the sense that we know it.
- A theory of everything exists, but it can't tell you everything about "everything", only somethings about everything (or everything about something), and thus isn't really a theory of everything.
- A theory of everything simply does not exist

posted by evildictaitor

]]>Group theory and symmetries are used heavily in very theoretical physics. Symetry properties are what particle physicists usually use to propose particles that aren't discovered yet, though at some level you can just use algerbra. For example if you have a quark that has +2/3 charge, and one that has -1/3 charge and particles created out of them that have 0, -1 and + 1 charge you can surmise that a +1/3 and a -2/3 charge quark probably exists too. Similarly with the spin on particles etc.

When you move into the area of string theory science really just becomes math, they essentially add enough dimensions and symetry properties between them to explain the interactions between matter.

Finally: the quantum stuff that Brian mentions is true. Particles moving between two points do instanteously consider all paths. If you are considering light for example, you can derive reflection, refraction, and "light moves in a straight line when in a constant medium" all from using this property. How?

For those that are mathmatically inclined, think of drawing light as a wave as it travels, in denser materials you end up with shorter wavelengths, and in less optically dense materials longer wave lengths. If you do the path integral over all possible paths you'll find that for every path not the one that classical optics would give you that there is opposing paths where the waves will cancel out. The only one that remains is the one that the light actually travels. The beauty of it is that light ends up travelling on the quickest path possible given the constraints. For example reflection, if you force light to bounce off a mirror surface somewhere and then hit another point, the shortest path will be for light to move such that the angle of incidence equals the angle of reflection.

For more complicated setups like the typical quantum ones (double slit experiment for example) you can still solve it with this method. Richard Feynman wrote a cool little book, about 100 pages, called QED: The Strange Theory Of Light and Matter which is quite accessible (~12USD, written using nothing more than grade 10 or so math).

Anyways the bottom line is that as Brian said the world is strange but understandable. We can figure out how things work we just might not like the answers we get .

P.S. Printing is definitely a pain when it comes to quantum computers as once you take your measurement to get your answer your computers state will be corrupted. So maybe fine for things where you only want a final value but for things like plotting the movement of a complex machine it would be a nightmare, you'd have to reload the program and end it at a different "time" in order to get the next data point. In fact I'm not even sure how you would program something like that as often you don't want the quantum like behaviour but a much more simplified model that behaves Newton's laws, you probably would want a classical computer for it.

">http://www.alibris.com/search/detail.cfm%3FS%3DR%26bid%3D9234221579%26cm_mmc%3Dshopcompare-_-base-_-aisbn-_-na&fr=AKIxoA84_nwBDxbo48JeeyUL539BW2ymMW8Re04frQq3vCYc0LZSlgqNXYUYGlHjyUdhitnDShRRZYd5RnoKoKzSM-bPHjlhSIh58Dote2j10Pm_A6Ngap6iUBXtHg1UcBg4yK0C2Yjc-x0sxUwo8aWrqgo0mkTpflmh5Lga2toWHa-d9VgKX5UAAAAAAAAAAA&gl=us&hl=en&sa=title">

posted by deltalmg911

]]>

"It therefore follows that either one of the following is true:

- A theory of everything exists, but it cannot be written in mathematics. At which point it stops being science and becomes philosophy or theology.
- A theory of everything exists, but for some problems it simply returns the wrong result.
- A theory of everything exists, but for some problems it will never return a result. And equally importantly given Turing's halting problem you won't be able to tell before doing the computation that it will never halt. Consequently the theory ceases to be a theory of "everything" in the sense that we know it.
- A theory of everything exists, but it can't tell you everything about "everything", only somethings about everything (or everything about something), and thus isn't really a theory of everything.
- A theory of everything simply does not exist "

Thus I propose that it is likely that:

- A theory of everything exists, but it will be probabilistic not deterministic.

Assuming the universe is closed you are stuck with a probabilistic interpretation. We might have an exact way of expressing the interactions between all the particles that exist in our universe but we would have no way of knowing everything's position exactly at the same time so we can "know how it works" without being able to do predictions on it.

It would be similar to you asking me "I'm driving east at 100 km/h where will I be in an hour" it has no meaning because I don't know where you are, but I'm certain that I'd be able to answer it if you gave me the subset of the universes information that I need, namely your starting position. That is good enough for me; that I'll be able to get some sort of answer to any problem given the required inputs. I'd have complete understanding without perfect knowledge.

posted by deltalmg911

]]>check this out - theory of everything.

http://www.quantumaetherdynamics.com/index.html

posted by ivan_

]]>deltalmg911 wrote:

I not sure if that is correct.

Incomputability does not equal non-existence. Example the concept of pi. We now it exists though we can't compute it.

Incomputability does not equal non-existence. Example the concept of pi. We now it exists though we can't compute it.

Incomputability doesn't mean non-existence, but it does mean the non-existence of a computational answer (i.e. it may exist but it cannot exist within mathematics, since mathematics has a deterministic axiom base and all theorems of mathematics are provable within a finite (albeit large) amount of time). Your case of PI is slightly flawed. PI

On the otherhand it is impossible to compute

deltalmg911 wrote:

Similarly we can know that a particle exists somewhere and has a certain probability of being on some region without knowing for sure if it is there or not: that is the definition of probabilistic not deterministic theories. We can claim that quantum mechanics is right because the resulting probablities match what experiment shows the distribution to be, without necessitating that we can but an exact velocity and position vector on each particle in the universe.

As a mathematician at heart I would decline to comment on whether quantum mechanics is "correct" - correctness is physics is dependent on the maths being correct

Things such as statistical mechanics and the problem of quantum-observation phenomena is not that the result isn't there, but that it can't be measured due to our limited ability to measure it. The Heisenburg effect (which states that measuring a quantum particle limits its degrees of freedom by 1, or more simply that you can't measure speed, spin and velocity of a quantum particle all at once) is dependent so far as I am aware on the limitation that measuring can only be done by projectile analysis. In future we may improve upon this by using other methods, and the solution may become calculable.

posted by evildictaitor

]]>Perhaps then Microsoft will make some 'TOE' software which you can ask any question in phyisics and then it will tell you the answer!

posted by paulcoder

]]>I forgot what particle they are hoping to find... sorry.

posted by ivan_

]]>posted by jason818_253.33

]]>Already, from first principles, the Aether Physics Model provides a new foundation for physics, accurately predicts the relative strengths of the forces, and the 1s “orbital” electron binding energy for all the elements.

With Quantum AetherDynamics a new age of quantum computing can begin.

posted by qadi

]]>check this out...

http://tech.groups.yahoo.com/group/softAether/

posted by ivan_

]]>- Energy output based random number generation (TOSHIBA)
- Advancing long distance communication of fiber channel development (NTT)
- Position energy analysis of atom level movement (IBM)
- Consumer business vision of computing "inside" fly (Intel)

Quantum computing would have to be new area unlike traditional computing category of software and hardware, since it means more business
*controls* than today's electric devices. For example, flying birds may supply
*less moving energy* and scale independent real-time characteristic communication with databases in
*broader satellite stations* to analyze weather and warming conditions. For advancing medical computing areas, sensor equipments might be replaced by
*the smallest scale of quantum computing controls. Not all of mobility systems carry sets of human interfaces, but consumer segment may see what Windows Mobile enables as total solution. Do investors yet feel bid to future ICT centric economics in
references to future mobility systems and more applications? Try to meet Microsoft quantum computing making differences, not tons of computer physics.*

posted by ymasuda_

]]>really interesting physics discussion though always fun to see brian. He's a genious :O seriously, if i can die half as smart as him, i'll be a happy man (im finaly starting to get monads now btw, nearly all thanks to the c9 interviews with brian)

posted by aL_

]]>Interesting start to the video of course. Only someone with the credibility of Brian could have pulled that off, lol.

USB Quantum Goo Machine

posted by GordonSpeirs

]]>