Wednesday, October 9, 2019

New Github Profile

I just wanted to drop by really quick and announce that I have setup a new Github account. I am new to programming, but I want to teach myself both Common Lisp and Prolog. I already have my first program up on there, so critique is welcomed as always.

You can find the profile here

On the Characterization Postulate

I often mention the characterization postulate on this blog, and since it is such an important tool in object theories of all sorts, I figur...