This paper concerns modal logics of provability -- Gödel-Löb system GL and Solovay logic S -- the smallest and the greatest representation of arithmetical theories in propositional logic respectively.

We often say you can make logic gates out of nearly anything. [Steve Mould] would agree as he just finished playing naughts and crosses (tic tac toe if you are an American) with a tray full of DNA.

There is nothing more ubiquitous these days than the computer, the thinking machine that has hardwired itself to our lives. A quick Google search of "history of the ...