What Influence Great Britain Now?

OP says it all, where in science, arts, politics, whatever does GB lead? Not contribute, but spearhead?

Whiny piano based mope rock?

Sit-coms?

Genome research.

The Sanger Centre were the lead centre in the decoding of the human genome, and is producing some seriously impressive work.

Apparently we also lead the world in porn downloads (SFW). :wink:

In Computer Science: automated theorem proving. Manchester has Vampire, which is the worlds best resolution based prover, and Cambridge has Isabelle, the worlds best inductive prover. Edinburgh is one of the biggest (and possibly best) research centres for this area in the world.

In the US, only the University of Texas at Austin can compete, with ACL2 (Boyer and Moore, the guys behind this prover both started it at Edinburgh), and Argonne National Labs with Otter (although this seems to be defunct, now).

… sorry, Dominic, now in English For Non Comp-Sci?

They have computers that write proofs for mathematical theorems?

Sport.

At the 2006 Conker World Championships Britain almost swept the board. Every winner was British or British born except for the Ladies Team Title which went, disappointingly, to France.

Makes me so proud to be British…

Yes. It’s an area of central importance in AI for a number of reasons (you can synthesise programs from a specification with constructive logics, you can prove programs correct and autonomous agents need (or, more accurately, can use) theorem provers for their reasoning ability). It’s also an area of importance for the semiconductor industry, ever since the Pentium bug.

One of the highlights of the field was a variant of Otter proving that all Robbins algebras are Boolean.

Now if they can come up with a computer that can explain to me the logic behind the square-equation resolution demo, I’ll be happy.

Thanks!

I think I’m right in saying that British manufacturers dominate the production of open-wheel race cars?

I believe we are still the world leaders in the manufacture of Stiff Upper Lips. I use mine as a makeshift mantelpiece - it can hold a number of ornaments, and a carriage clock.

Cite? It’s whiny guitar based mope rock.

Isn’t cloning currently furthest ahead in the UK? (Dolly and so)

>>sneer<<< Is that all.

I have a complete set of the Encylopedia Brittanica balanced on mine, and a carriage clock

I would sneer back, but the lip curl would destroy my precious ceramic pig collection.

Ah ha!!

So you haven’t got a stiff upper lip then, if you had, curling it would be impossible.

A pox on your pigs I say, a pox :slight_smile:

Does he mean Coldplay? ::shudders::

[Mitch Benn*]Everything sounds like Coldplay now. . .[/Mitch]

  • in a whiny Chris Martin voice.

Not only that, GB has just retained the World Croquet Team Championhips, The MacRobertson Shield, thrashing Australia 19-2 (in Australia) to complete a clean sweep of the series. The world number one and the majority of top players are British, and although the reigning world champion is South African, he has since been defeated by our best player.

Also, GorillaMan beat me to it, but I agree with him that we are the world leaders for most forms of motorsport, particularly design and engines.

  1. Snooker:

Snooker is celebrating a new star in Shaun Murphy as he became the first qualifier to win the Embassy World Championship for 26 years.

http://www.snookerclub.com/world-snooker-championship/world-snooker-championships-2005.shtml

  1. Chess problem solving:

The Great Britain team of John Nunn, Colin McNab and Jonathan Mestel, sponsored by Winton Capital Management, retained the World Chess Solving Championship held in Wageningen, Netherlands on 1st-2nd August, after one of the toughest fought contests for years.

  1. Authority on the English language:
  1. Having a member of the Government speak the truth before the Iraq war:

I have chosen to address the House first on why I cannot support a war without international agreement or domestic support.

I intend to join those tomorrow night who will vote against military action now. It is for that reason, and for that reason alone, and with a heavy heart, that I resign from the government.