Pål GD: Lørdag
February 28th, 2010
Comments off
Bilder fra lørdag …
Pål GD: Kveldstur i nabolaget
February 7th, 2010
Comments off
Det blir fort mørkt i denne byen for tiden, og tiden flyr når man er dømt til å finne opp matematikken på nytt, så jeg fikk ikke tatt bilder av butikkene mine denne lørdagen heller. Men det betyr ikke at jeg ikke kan ta bilder av alt annet nabolaget mitt har å tilby, som …
Pål GD: My solution to Temporal Logic
February 6th, 2010
Comments off
Press the image for a larger version, and, of course, copyright due to Bill Watterson:
Erik: Min søken etter Albert Heijn
February 6th, 2010
Comments off
Dette er min første post på bloggen vår. I utgangspunktet var planen at når jeg først fikk tid, skulle jeg skrive om hele den første uken. Problemet var at jo lengre jeg ventet jo mer ville jeg måtte skrive, så jeg fikk aldri tid.
Nå har jeg bestemt meg for å løse problemet ved å, foreløbig, la mine eventyr den første uken forbli en upublisert hemmelighet. Derfor skal jeg i dag skrive om min søking etter Albert Hejin.
continue reading…
Pål GD: A note about the university
February 5th, 2010
Comments off
A minor difference between going to school at the University of Bergen (UiB) and the University of Amsterdam (UvA) is that
- (a) At UiB you sign up to a course, and then you take the exam
- (b) At UvA you sign up to a course, and show up every lecture (otherwise you wont know what to do to next time)
- (c) You do weekly assignments
- (d) In every course
- (e) Otherwise you wont pass
- (f) You wont pass
Point (f) might be the most worrisome. The lecturer today told us (after a total three hours with the course) that if we should quit, we should let him know. Then he picked someone to go to the blackboard proving
I have also been informed that the courses Recursion Theory and Model Theory is two of the hardest courses in pure math / logic at UvA. Whether or not this is true I do not know.
Pål GD: Patience …
January 31st, 2010
Comments off
Finally cracked my IQ-tester …
Pål GD: Hello, skate park
January 30th, 2010
Comments off
I might just spend some time here if I get a hold of a skateboard … This park is located ten meters from my apartment, i.e. in Stavangerweg:
Pål GD: Good Morning, Amsterdam
January 30th, 2010
Comments off
I woke up to quite a bit of a snowshock this morning:
Pål GD: Science Park, Universiteit van Amsterdam
January 29th, 2010
Comments off
My first day at the university, more explicitly at Science Park.
The first thing that greets me is a 3×3 HD video screen showing off the latest technology
Read more for lots and lots of more pictures:
Pål GD: Photosessioning the streets downtown
January 28th, 2010
Comments off
I’ve been using the day roaming the streets of northern (north-western, perhaps) parts of Amsterdam.
If you ever want to get to my place, you must take bus 22 (or walk), which is called Spaarndammerbuurt. The bus can be found right outside the central station of Amsterdam and you do well to go off at Spaarndammerstraat (eng: savings lake street, whereas buurt is neighborhood).
