Date: Fri, 27 Mar 2020 13:23:44 Subject: Bertil Mårtensson, Logik Hej! Logik är nyttigt att kunna, men är lite klurigt ibland. Bertil Mårtenssons bok Logik (Studentlitteratur 1995, 273 s) är en bra och personligt skriven introduktion. Påbörjad och bläddrad här och och där i blev den många gånger, men nu även utläst. Kapitel 5-15 handlar om satslogik (som ju både är motsägelsefri, fullständig och avgörbar). Kap 16-18 är om predikatlogik, som däremot inte är avgörbar (inom systemet). Mot slutet blir det lite mängdlära och talteori (Russell, Peano, Hilbert, Gödel, Turing mm). Jag hade Bertil på nån kurs i Kungshuset för 18-19 år sen, han var rolig och bra. mvh aö