Lawrence C. Paulson

 

Website: https://www.cl.cam.ac.uk/~lp15/

 

Entries

2020

August 3: Ordinal Partitions

May 16: The Nash-Williams Partition Theorem

 

2019

October 24: Zermelo Fraenkel Set Theory in Higher-Order Logic

 

2018

September 19: The Prime Number Theorem

September 5: Quaternions

January 11: An Isabelle/HOL formalisation of Green's Theorem

 

2016

October 19: Source Coding Theorem

March 8: The Cartan Fixed Point Theorems

 

2015

February 5: Finite Automata in Hereditarily Finite Set Theory

 

2014

August 29: Real-Valued Special Functions: Upper and Lower Bounds

 

2013

November 17: The Hereditarily Finite Sets

November 17: Gödel's Incompleteness Theorems

 

2012

August 5: Proving the Impossibility of Trisecting an Angle and Doubling the Cube

 

2008

November 7: Fun With Tilings