Skip to content
Archive of entries posted on May 2007

On logic

24 May 2007, 6:15 pm

Worked solution to a first year undergraduate mathematics exam question on logic.

Filed under Logic, MAT-1-GTh.
3 Comments

The Secrecy Problem

3 May 2007, 2:48 pm

Link to an E2 writeup on reducing the secrecy problem to Post’s Correspondence Problem.

Filed under Complexity, Cryptology, Logic.
Comment