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...