### hēg denu

The old english words from which my name is derived,*hēg*'hay' +*denu*'valley'.-
### Recent Posts

# Tag Archives: Proofs

## On the brink of disaster

Yesterday I had one of those moments that’s probably the worst nightmare of any PhD student who’s writing their thesis dissertation, and doubly so in mathematics. Reading through a proof I’d first written some three years ago, I found an … Continue reading

## Prove it

In the world of mathematics, proofs are everything. Unfortunately as a 21st century computer scientist my background in proofs is somewhere between zero and nothing (to be fair we were taught proofs in cse1303 – but it went way over … Continue reading