# Universal Turing Machines, Part 2: The encoding and overall design

The encoding for a machine with any number of states and any number of symbols: Each state and each symbol will be numbered in binary, all the numbers must be padded to the same length. So, we can have symbols…

# Universal Turing Machines, Part 1: The Journey Begins.

This past weekend I spent some time working with Turing Machines. More specifically, I implemented a busy beaver machine. After that I worked on getting Ullman and Hopcroft’s UTM to simulate the machine that recognizes (01)* with input 010101. I…

# Workin’ for the Man

This last week, I showed what I’ve been working on for the last 7 months to my superior, only to be shot down. I’m responsible for ‘porting’ (really, it’s a complete rewrite) a Geospatial Information program from M$ windows to…

# Linguistic Engineering

I’m going to found the field of Linguistic Engineering. I wish to study the relationship between what people think (algorithms) and what they say (programs), with the end goal being a set of design principles for the creation of programming…

# The P vs. NP Continuum Hypothesis

Abstract: This paper presents an isomorphism between the set of problems in P and the Natural Numbers, and an isomorphism between the set of problem in NP and the powerset of the Naturals. Using these isomorphisms the properties of the…

# Natural Programming

I read an article today about Natural Programming. This really piques my interest, because the psychologists have had to study how humans wish to translate their thoughts into a working program. Of course, the research done has necessarily been limited…

# Terminal and GUI

The power of the linux os is in the terminal. It was arranged from a few very powerful utils that can be piped with each other. This modularity needs to be extended to the gui, for the gui to be…

# Set Theoretic Programming Language

If set theory is the foundation of all mathematics, then why not also programming (which is a kind of constructive mathematics). The closest to that existing today is, of course, Haskell. Don’t neglect the cool multimedia things that it can…