Semesterside for INF5800 - Vår 2008

MER OM OPPLEGGET

1. Jeg vil gå gjennom monografien jeg har skrevet - hver uke et nytt kapittel. Da er det veldig mye stoff. Det blir et omfattende kurs i bevisteori til tross for at det ikke er så mange sider.

2. Det fins noen bøker om bevisteori - de heter alle "Proof theory". Alle kan anbefales men på mange punkter går de ikke så langt som monografien. (Bøker av Schütte, Takeuti, Pohlers, Schwichtenberg, Troelstra med fler). Ellers er det noen forelesninger på nettet. Se hjemmesidene til Wilfried Buchholz og til Toshiyasu Arai. De anbefales spesielt. Det er også mange bøker om Gödels ufullstendighetsteorem. Her vil jeg ikke anbefale noen spesiell. Vi kommer lengre enn dem alle.

3. Vi skal avslutte kurset med en muntlig eksamen. Jeg vil også ha et obligatorisk essay. Dere kan selv velge tema for essayet og også om dere vil skrive det alene eller sammen med andre. Det blir ikke gitt karakter på essayet - men je...

21. jan. 2008 15:53

Jeg vil dette semesteret ta opp Gödels ufullstendighets teorem. Vi vil bruke et utkast til en monografi jeg skriver - og som finnes på hjemmesiden min.

folk.uio.no/herman

Jeg forutsetter ikke spesiell bakgrunn, men dette er et kurs på 5000-nivå som leder opp til diverse forskningsfronter.

7. des. 2007 11:27