Logiikka ja pelit

Tämä tutkielma käsittelee loogisia pelejä, etenkin pelaajien voittostrategioita loogisissa peleissä. Voittostrategia on strategia, jolla kahden pelaajan pelissä pelaaja voittaa pelasipa toinen pelaaja millaisia siirtoja tahansa. Tutkielman alkupuolella todistetaan, että missä tahansa kahden pelaajan äärellisessä pelissä Gn(A;W) toisella pelaajista on voittostrategia. Pääpaino on esittää logiikan ja pelien välinen yhteys. Tämä yhteys on nimeltään logiikan strateginen tasapaino, ja se muodostuu kolmesta loogisesta pelistä. Tutkielmassa esitellään tarkasti näiden pelien kulku, ja tarkastellaan milloin toisella pelaajista on voittostrategia kyseisissä loogisissa peleissä. Tutkielma mukailee Jouko Väänäsen teosta Models and Games ja osittain L.Kirbyn ja J.Parisin artikkelia Accessible Independence Results for Peano Arithmetic.