Logic and Computation

George Henderson-Walsh is researching the philosophy of computation. As part of his research, he is using AND gates and XOR (Exclusive OR) gates to build an addition machine.

Here we see the schematic of the his machine. The plan is to build this in Minecraft using redstone circuit components.

George is interested in Turing Machines. As part of his research his will build complete Turing Machines in the Minecraft environment.

On Fridays George is offering tutorials in Logic and Computation theory for interested students.