Boken «Hilbert's Programs & Beyond» presenterer det grunnleggende arbeidet til David Hilbert gjennom en rekke tematiske essays. Disse essene sporer utviklingen av Hilberts arbeid tilbake til den radikale transformasjonen av matematikk på 1800-tallet, hvor hans avgjørende rolle i å skape matematisk logikk og bevisteori blir fremhevet. Videre analyseres teknikker og resultater fra 'klassisk' bevisteori, samt den dramatiske utvidelsen denne har fått i moderne bevisteori. Denne intellektuelle opplevelsen åpner muligheter for refleksjon over matematikkens natur i det 21. århundre. Forfatteren Sieg artikulerer sin posisjon for reduktiv strukturalisme og utforsker matematiske kapasiteter via beregningsmodeller.
