# All the posts (as of today)

This is the list of all the posts published.

Set k is recursively enumerable non-recursive - The proof.

How to insert images in a LaTeX document - Making an hard thing become easy.

Characterization Theorem in Computability - What it states and a proof.

Halting Problem - The foundation of the computability theory, that gave it the first headaches - until Turing got a brilliant idea.

Kleene's Recursion Theorems in Computability - What they are and their proof.

Signals - What they are, some of their most important properties and what you can do with them.