Bounded Arithmetic, Propositional Logic and Complexity Theory

Boken "Bounded Arithmetic, Propositional Logic and Complexity Theory" gir et omfattende og oppdatert innblikk i forskningen innen begrenset aritmetikk og kompleksiteten i proposisjonslogikk. Med spesifikk fokus på uavhengighetsbevis og nedre grensebevis, belyser forfatteren de dype forbindelsene mellom logikk og kompleksitetsteori. Boken tar for seg viktige resultater innen proposisjonsbevissystemer og systemer av begrenset aritmetikk, og gir leseren en grundig introduksjon til de grunnleggende prinsippene i logikk og kompleksitetsteori. Videre presenteres mer avanserte emner, inkludert polynomielle simuleringer og bevaringsresultater, forskjellige vitnemålsteoremer, samt oversettelsen av begrensede formler (og deres bevis) til proposisjonelle formler. Metoden for tilfeldige delvise restriksjoner, direkte uavhengighetsbevis, komplette systemer av partielle relasjoner, samt nedre grenser for størrelsen på konstant dype proposisjonsbevis utforskes også. I tillegg blir problematikken rundt harde tautologier og optimale bevisystemer berørt, sammen med relevante aspekter innen kombinatorikk. Dette verket er et uunnværlig bidrag for studenter og forskere som ønsker en dypere forståelse av sammenhengene mellom logikk, aritmetikk og kompleksitetsteori.