SMAC that proof!

Skrivet av Anna Leijonhufvud lör, 2012-02-18 19:55

Mellan kl. 9-10 varje morgon har jag matematik och just nu går vi igenom hyperbolic functions och mathematical proofs.

Under vår första lektion fick vi en SMAC model för hur man bevisar matematiska påståenden.

SMAC:

Statement

Method

Action

Clarification

Vår professor gav oss sedan i uppgift att bevisa följande situation:

Every Saturday every hobbit shows up to the big party, and every hobbit wears a hat. No hobbit knowns the colour of his/her hat. One Saturday there is a sign in "Party Valley" saying "Last time there was a hobbit here with a red hat. Red-hatted hobbits are no longer welcome".

Vad händer? (Säg att 87 hobbits har en röd hatt).

Skriv kommentar

Taggar

Anna Leijonhufvud (St Andrews)

Anna Leijonhufvud pluggar Economics vid University of St Andrews (Class of 2015).

Bakgrund: Född och uppvuxen i Helsingborg, och gick naturvetenskaplig linje på gymnasiet, delat på Olympiaskolan i Helsingborg, high school i Kalifornien och internatet Svenska skolan i Nairobi. Läste språk och utveckling i Kina och Vietnam under ett år innan starten på St Andrews.

Om utlandsstudier: "Förstklassiga utbildningar, spännande och annorlunda miljöer och människor. Visst är det betydligt intressantare att diskutera 2008-09s finanskris med en amerikan, en indier och en grek än med tre svenskar?"

Framtidsplaner: Vill jobba på en större internationell ekonomisk organisation, t.ex. Världsbanken eller IMF. "Om 15 år är jag redo att skriva en bok om Development Economics där jag redogör för en ny teori kring ekonomisk tillväxt och välfärd."