Varias características del ajedrez son investigadas con métodos de computabilidad y teorías numéricas. Se muestra que para un juego no terminado es primitivamente recursivo decidir si el juego es ganable, empatabe o absolutamente perdible dentro de un número especificado de futuros movimientos para el jugador cuyo turno es jugar en el último tablero del juego. También se muestra que existen procedimientos recursivos primitivos para calcular continuaciones óptimas de juegos no terminados dentro de números especificados de futuros movimientos y que el conjunto de juegos de ajedrez es recursivo.