Quantcast
Channel: The House Carpenter
Browsing all 13 articles
Browse latest View live

Selections from Tumblr

I have a Tumblr blog which I use for writing short-form things that aren’t necessarily of any lasting value. But occasionally things do end up there that might be worth reading, so I intend to make an...

View Article



Truth-uncertainty and meaning-uncertainty

Epistemic status: just a half-baked idea, which ought to be developed into something more complete, but since I’m probably not going to do that anytime soon I figured I’d publish it now just to get it...

View Article

Voles and Orkney

What do voles and Orkney have to do with one another? One thing somebody knowledgeable about British wildlife might be able to tell you is that Orkney is home to a unique variety of the common European...

View Article

Reversing a linked list in place

The other day I finally realized how you reverse a linked list in place. I had attempted to tackle this problem several times before, and had always ended up looking up the answer online, copying and...

View Article

The difference between key-value containers and functions

I was wondering why all of the programming languages I know treat key-value containers (i.e. sequences and associative arrays) differently from functions. From mathematics, I’m used to thinking of...

View Article


Tricks in computer arithmetic

(This post is also available as a PDF, with better typesetting for the mathematical formulas and syntax highlighting for the code listings.) People who do a lot of mental arithmetic often make use of...

View Article

Motivating Hilbert systems

(This post is also available as a PDF.) Hilbert systems are formal systems that encode the notion of a mathematical proof, which are used in the branch of mathematics known as proof theory. There are...

View Article

Programming languages as theorem verifiers

(This post is also available as a PDF). One of the most interesting ideas in modern logic is the Curry-Howard correspondence. This is the informal observation that, from a certain perspective,...

View Article


Notes on proving the completeness theorem for propositional logic

NB: I’ve opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren’t already interested in...

View Article


A proof of the boundedness theorem by induction

As usual, this post can be viewed as a PDF. Theorem (Boundedness Theorem). A continuous real-valued function on a closed interval is bounded. Proof. Suppose f is such a function and [a, b] is its...

View Article

Notes on periodic functions

A period of a function f : ℝ → X is a T ∈ ℝ such that for every t ∈ ℝ, we have f(t + T) = f(t). Note that X may be any set; the definition does not refer to any structure on X other than its equality...

View Article

Image may be NSFW.
Clik here to view.

A simple motivation for the notion of a natural transformation

A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in...

View Article

Dualities between depth-first search and breadth-first search

Something which I think is fairly well-known among programmers (I first learned it from reading Higher Order Perl) is that depth-first search and breadth-first search can be implemented in such a way...

View Article

Browsing all 13 articles
Browse latest View live




Latest Images