Unidad 4 Maquina de Turing 4.1 Definicion Formal Maquina de Turing 4.2 Construccion Modular Maquina de Turing 4.

3 Lenguajes aceptados por Maquina de Turing 4.4 Variantes Maquina de Turing 4.5 Problemas de Hilbert Maquina de Turing
La mquina de Turing es un modelo computacional introducido por Alan Turing en el trabajo On computable numbers, withanapplicationtotheEntscheidungsproblem, publicado por la Sociedad Matemtica de Londres, en el cual se estudiaba la cuestin planteada por David Hilbert sobre si las matemticas son decidibles, es decir, si hay un mtodo definido que pueda aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es cierta o no. Turing construy un modelo formal de computador, la mquina de Turing, y demostr que existan problemas que una mquina no poda resolver. La mquina de Turing es un modelo matemtico abstracto que formaliza el concepto de algoritmo.

4.1 Definicion Formal Maquina de Turing UN POCO DE HISTORIA En 1936, Alan Turing contest al entscheidungsproblem, la cuestin planteada por David Hilbert sobre si las matemticas son decidibles, es decir, si hay un mtodo definido que pueda aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es cierta o no. En el artculo On Computable Numbers, Turing construy un modelo formal de computador, la Mquina de Turing, y demostr que haba problemas tales que una mquina no poda resolver. La mquina de Turing es el primer modelo terico de lo que luego sera un computador programable. Con el tiempo a este tipo de mquina se la conoci como mquina de estado finito, debido a que en cada etapa de un clculo, la siguiente accin de la mquina se contrastaba con una lista finita de instrucciones de estado posibles. Cmo funciona la mquina de Turing? Una mquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT despus de algunos pasos. Tanto el INPUT como el OUPUT constan de nmeros en cdigo binario (ceros y unos). En su versin original la mquina de Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a travs de una caja. La caja es tan fina que solo el trozo de cinta que ocupa un bit (0 1) est en su interior. La mquina tiene una serie de estados internos finitos que tambin se pueden numerar en binario.

Para llevar a cabo algn algoritmo, la mquina se inicializa en algn estado interno arbitrario. A continuacin, se pone en marcha y la mquina lee el bit que se encuentra en ese momento en su interior y ejecuta alguna operacin con ese bit (lo cambia o no, dependiendo de su estado interno). Despus se mueve hacia la derecha o hacia la izquierda, y vuelve a procesar el siguiente bit de la misma manera. Al final se para, dejando el resultado al lado izquierdo por ejemplo. Una instruccin tpica podra ser: 01p11011i La traduccin es como sigue: si la mquina se encuentra en el estado interno 0 y lee 1 en la cinta, entonces pasar al estado interno 1101 (13), escribir 1 y se mover hacia la izquierda un paso (la cinta se mover hacia la derecha). A continuacin es conveniente inventar una notacin para la secuencia del INPUT. Esta notacin se llama notacin binaria expandida. Consiste en cambiar la secuencia original binaria por otra construida de la siguiente forma: el 0 se cambia por 0 y el 1 por 10 y se ponen un cero a la izquierda y/o a la derecha del resultado si empieza o acaba en 1 respectivamente. As por ejemplo, el nmero 13 que en binario es 1101 es en binario expandido 1010010 con un cero delante por esta ltima regla 01010010. Para volver al original hay que contraer el binario expandido con la siguiente regla: Empezamos a leer por la izquierda el bianrio expandido. Cuando encontremos un 0 tomamos nota de cuntos 1 hay hasta llegar al siguiente 0 y lo escribimos. Si encontramos que hay dos 0 seguidos, apuntaramos un 0 porque no habra ningn 1.Veamos con el 13 cmo se hara. El primer 0 se encuentra en la primera posicin y el siguiente 0 est en la posicin 3. Entre los dos solo hay un 1. Lo anotamos. Seguidamente hay un 1, y despus un 0, entonces apuntamos 1 porque hay un 1 entre medias de ellos. Esto es lo que se hace sucesivamente y encontramos: 1101 que es el nmero original. DEFINICION FORMAL DE UNA MAQUINA DE TURING La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en esta mquina se limitan a: avanzar el cabezal lector/escritor para la derecha; avanzar el cabezal lector/escritor para la izquierda. Una mquina de Turing con una sola cinta puede ser definida como una 6-tupla M = (Q,,s,b,F,), donde Q es un conjunto finito de estados es un conjunto finito de smbolos de cinta, el alfabeto de cinta
es el estado inicial

es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero infinito de veces es el conjunto de estados finales de aceptacin es una funcin parcial denominada funcin de transicin, donde L es un movimiento a la izquierda y R es el movimiento a la derecha

4.2 Construccion Modular Maquina de Turing Las maquinas de Turing adems de utilizarse para el reconocimiento de lenguajes, tambin se toman como modelos tericos de las computadoras. Se puede combinar dos mquinas de Turing permitiendo que compartan la misma cinta y, que cuando una termine su ejecucin, la otra empiece. El contenido de la cinta cuando comienza la ejecucin de la segunda mquina de Turing, est formado por todo lo que dej la primera mquina de Turing, y la cabeza de l/e de la segunda se situar, al comienzo de la ejecucin, sobre la celda de la cinta sobre la que termin la primera. EJEMPLO: Sea M1 dada por:
Q1 = {q1, q2,q3,q4} S =

G = {a,} s1 = q1
F1 = {q4}

y d dada por:
d1 (q1,a)= (q2,a,R) d1 (q1,)= (q2,,R) d1 (q2,a)= (q2,a,R) d1 (q2,)= (q3,,L) d1 (q3,)= (q4,,R) d1 (q3,a)= (q4,a,R)

Sea M2 dada por:

Q2 = {p1, p2} S =

G = {a,} s2 = p1
F2 = {p4}

y d2 dada por:
d2 (p1,a)= (p2,a,R) d2 (p1,)= (p2,a,R)

Obsrvese que M1 busca el primer blanco que haya a la derecha de donde ha comenzado, mientras M2 escribe una a y para La a se escribe independientemente del contenido de la celda actual. Combinando estas dos maquinas de Turing obtenemos un dispositivo que primero busca hacia la derecha el primer despus escribe una a en todas las celdas. En seguida se definir la combinacin o composicin de maquinas de Turing como sigue: Sean M1 y M2 dos maquinas de Turing sobre el mismo alfabeto de entrada y el mismo alfabeto de salida, donde:
M1 = (Q1,S,s1,F1,d1 ) y S,G,s2,F2,d2 )

Se supone que Q1 Q2 = . La composicin de las mquinas de Turing M1 y M2 es la mquina de TuringS,G,s,F,d ) que se denota M 1 M 2, donde: Q=Q1 Q2 s = s1 F= F2
d1 (q,s), para todo p F1 Si q Q1 y d1 (q,s) (p, t, X)

d (q,s) = d2 (q,s), Si q Q2
(d2,t,X), Si q Q1 y d1 (q,s) = (p, t, X) para algn p F1

tendr las transiciones dadas mediante 4.3 Lenguajes aceptados por Maquina de Turing

Los lenguajes formales que son aceptados por una mquina de Turing son exactamente aquellos que pueden ser generados por una gramtica formal. El clculo Lambda es una forma de definir funciones. Las funciones que pueden se computadas con el clculo Lambda son exactamente aquellas que pueden ser computadas con una mquina de Turing. Estos tres formalismos, las mquinas de Turing, los lenguajes formales y el clculo Lambda son formalismos muy dismiles y fueron desarrollados por diferentes personas. Sin embargo, ellos son todos equivalentes y tienen el mismo poder de expresin. Generalmente se toma esta notable coincidencia como evidencia de que la tesis de Church-Turing es cierta, que la afirmacin de que la nocin intuitiva de algoritmo o procedimiento efectivo de cmputo corresponde a la nocin de cmputo en una mquina de Turing. Los computadores electrnicos, basados en la arquitectura Von Neumann as como las mquinas cunticas tendran exactamente el mismo poder de expresin que el de una mquina de Turing si dispusieran de recursos ilimitados de tiempo y espacio. Como consecuencia, los lenguajes de programacin tienen a lo sumo el mismo poder de expresin que el de los programas para una mquina de Turing y en la prctica no todos lo alcanzan. Los lenguajes con poder de expresin equivalente al de una mquina de Turing se denominan Turing completos. 4.4 Variantes Maquina de Turing Hay otras definiciones de las mquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho ms complicados aunque todos tienen la misma potencia computacional (o de clculo). Muchas de ellas dotan de mayor flexibilidad al diseo de una mquina de Turing que resuelva un problema en particular. Mquina de Turing con Directiva de Permanecer Recurdese que la mquina de Turing sencilla sita la cabeza de lectura/escritura sobre el primer B que haya a la izquierda de la posicin actual. Para hacerlo, busca fuera de la celda actual y retrocede. Esto es debido a la definicin original que requiere que por cada transicin se mueva la cabeza de la cinta. La funcin de transicin estaba definida como: d: Q x G Q x G x {R, L} y puede ser modificada como: d: Q x G Q x G x {R, L, S} donde S significa permanecer, es decir no mover la cabeza de lectura/escritura. Por tanto d(q, s)=(p, s, S) significa que se pasa del estado q al p, se escribe s en la celda actual y la cabeza se queda sobre la celda actual. Mquina de TuringMultipista Es aquella mediante la cual cada celda de la cinta se divide en subceldas. Cada subcelda es capaz de contener smbolos de la cinta. La cinta tiene cada celda subdividida en tres subceldas. Se dice que esta cinta tiene mltiples pistas. Puesto que cada celda de esta mquina de Turing contiene mltiples caracteres, el contenido de las celdas de la cinta puede ser representado mediante n-tuplas ordenadas. En el ejemplo anterior, las celdas de la cinta contienen (B, a, a), (b, a, a) y (b, b, B). Por tanto, los movimientos que realice est

mquina dependern de su estado actual y de la n-tupla que represente el contenido de la celda actual.

Una mquina de Turingmultipista no tiene ms potencia que la mquina de Turing original. Sin embargo, hace que sea ms fcil la construccin de mquinas de Turing que resuelvan ciertos problemas. Ejemplo: Para una mquina de Turing que sume dos nmeros binarios. Primero se construye una mquina de Turing de tres pistas. La entrada sern dos nmeros binarios que ocupen las dos pistas superiores de la cinta. Suponiendo que sus dgitos se alinean por la derecha, que sus representaciones binarias son de la misma longitud (lo que se puede conseguir rellenndolas con tantos ceros como sea necesario) y que la cabeza de lectura/escritura se sita sobre la celda del extremo izquierdo de la cadena. Por tanto, si tuvieran que sumar 101 y 10, la cinta debera contener

La mquina de Turing realizar la suma en la tercera pista. Por tanto, el alfabeto de cinta estar formado por las ternas: (B, B, B) (1, 1, B) (1, 1, 0) (1, 1, 1) (0, 0, B) (0, 0, 0) (0, 0, 1) (B, B, 1) (0, 1, B) (0, 1, 0) (0, 1, 1) (1, 0, B) (1, 0, 0) (1, 0, 1) Esta mquina de Turing buscar primero hacia la derecha el extremo derecho de los nmeros que van a ser sumados. Entonces sumar pares de dgitos, desde la derecha hacia la izquierda, llevando la cuenta de los resultados que se obtengan y sumando a quienes corresponda. Mquina de Turing de Cinta infinita en una Direccin

Mquina de Turing que usa una cinta que se extiende infinitamente en una nica direccin. Generalmente, se tiene una cinta que se extiende infinitamente hacia la derecha. No est permitido realizar ningn movimiento hacia la izquierda a partir de la celda del extremo izquierdo. Desde luego, cualquier mquina de Turing de esta forma puede ser simulada por una de las que responden a la definicin original. Para cada computacin, simplemente se marca una de las celdas de la cinta infinita por los dos lados, como la celda que se encuentra en el lmite izquierdo. Mquina de Turing en Dos Direcciones Una mquina de Turing con una cinta infinita en un sentido puede simular una mquina de Turing con la cinta infinita en los dos sentidos pero con dos pistas. Sea M una mquina de Turing con una cinta infinita en los dos sentidos. La mquina de TuringM, que tiene una cinta infinita en un sentido, puede simular a M si tiene una cinta con dos pistas. La cinta superior contiene la informacin correspondiente a la parte derecha de la cinta M, a partir de un punto de referencia dado. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso). Mquina de TuringMulticinta La mquina de Turingmulticinta tiene varias cintas, cada una de las cuales tiene su propia cabeza de lectura/escritura. Las cabezas de lectura/escritura se controlan independientemente (es decir, al mismo tiempo, no tienen que moverse en la misma direccin, ni realizar el mismo nmero de movimientos, ni incluso, hacer nada a la vez).
y y y y

Cambia de estado dependiendo del estado actual y del contenido de las celdas de todas las cintas, que estn analizando actualmente las cabezas de lectura/escritura. Escriben un nuevo smbolo en cada una de las celdas barridas por sus cabezas de lectura/escritura. Mueve cada una de sus cabezas hacia la izquierda o hacia la derecha (de forma independiente al resto de las cabezas). Por tanto, la funcin de transicin para una mquina de Turing con n cintas, es de la forma d: Q x G n Q x G n x {R, L} n donde una transicin de la forma d (q, (s1, s2,, sn)) = (p,(t1, t2, , tn), (X1, X2, , Xn)) significa que cambia del estado q a p, reemplaza si por ti en la cinta i y mueve la cabeza de la cinta i en la direccin Xi.

Mquina de TuringMuldimensional La mquina de Turing multidimensional es aquella que permite que la cinta tenga muchas dimensiones. Por ejemplo, una cinta de dos dimensiones que se extienda hacia abajo y hacia arriba, al igual que hacia la derecha y hacia la izquierda. Dependiendo del estado actual de la mquina de Turing y del smbolo analizado, cambia de estado, escribe un smbolo en la celda actual y se mueve a la izquierda, al derecha, hacia arriaba o hacia abajo. Por tanto, la funcin de transicin para esta mquina de Turing ser de la forma: d: Q x G Q x G x {R, L, U, D}

Una mquina de Turing multidimensional simula una mquina de Turing estndar. Simplemente realizando todas sus computaciones en una nica dimensin. Una mquina de Turing estndar tambin puede simular una mquina de Turing multidimensional y, por tanto, la complejidad y la flexibilidad adicional que se debe a la mltiple dimensin, no es una capacidad real. Para simular una mquina de Turing de dos dimensiones mediante una mquina de Turing estndar, primero se asociara una direccin a todas las celdas de la cinta. Una forma de hacerlo es fijar, de forma arbitraria, un lugar en la cinta a partir del cual se asignarn las coordenadas a las celdas de la misma forma que se realiza en un plano de coordenadas. Entonces, se usara una cinta de dos pistas para simular la mquina de Turing. Una pista se encargar de almacenar el contenido de las celdas y la otra las coordenadas, utilizando un smbolo (*) para separar los valores de las coordenadas. Para simular un movimiento de una mquina de Turing de dos dimensiones, est mquina calcula la direccin de la celda a la que se mover la mquina de Turing dos dimensiones. Mquina de Turing No determinista La mquina de Turing No determinista es aquella que para un estado actual y el smbolo actual de la cinta, puede haber un nmero finito de movimientos a elegir. Por lo tanto, la regla de transicin d de dicha mquina, satisface d(q, s) Q x G x {R, L}. Por ejemplo, si la mquina de Turing tiene una transicin d(q1, a) = {(q1, b, R), (q2, a, L)} entonces los movimientos: {abbq1ab - abbbq1b y abbq1ab - abq2bab} son posibles. Ya que cualquier mquina de Turing determinista es tambin no determinista, es lgico que una mquina de Turing determinista se puede simular mediante una no determinista. Tambin una mquina de Turing determinista puede simular una no determinista. Por tanto, no se gana ninguna potencia adicional a causa del no determinismo 4.5 Problemas de Hilbert Los problemas de Hilbert son una lista de 23 problemas matemticos compilados por el matemtico alemn David Hilbert para la conferencia en Pars del Congreso Internacional de Matemticos de 1900. Los problemas estaban todos por resolver en aquel momento, y varios resultaron ser muy influyentes en la matemtica del siglo XX. Hilbert present diez de los problemas (1, 2, 6, 7, 8, 13, 16, 19, 21 y 22) en la conferencia, en un acto el 8 de agosto en La Sorbona. La lista completa se public ms adelante. _ Naturaleza e influencia de los problemas [editar]Aunque se han producido intentos de repetir el xito de la lista de Hilbert, ningn otro conjunto tan variado de problemas o conjeturas ha tenido un efecto comparable en el desarrollo del tema y obtenido una fraccin importante de su celebridad. Por ejemplo, las conjeturas de Weil son famosas pero fueron poco publicidadas. Quiz el propio temperamento de Andr Weil evit que intentase ponerse en posicin de competir con Hilbert. John von Neumann produjo una lista, pero no obtuvo reconocimiento universal.

A primera vista, este xito podra atribuirse a la eminencia del autor de los problemas. Hilbert estaba en la cspide de su poder y reputacin en aquel momento y continu dirigiendo la sobresaliente escuela de matemtica en la Universidad de Gttingen. Un examen ms cuidadoso revela que el asunto no es tan simple. La matemtica de aquel tiempo era an discursiva: la tendencia a sustituir palabras por smbolos y apelaciones a la intuicin y conceptos mediante axiomtica pura segua subyugada, aunque se volvera fuerte durante la siguiente generacin. En 1900, Hilbert no pudo acudir a la teora axiomtica de conjuntos, la integral de Lebesgue, los espacios topolgicos o la tesis de Church, que cambiaran sus respectivos campos de forma permanente. el anlisis funcional, fundado en cierto modo por el propio Hilbert como nocin central de los testigos del espacio de Hilbert, no se haba diferenciado an del clculo de variaciones; hay en la lista dos problemas de matemtica variacional, pero nada, como podra asumirse inocentemente, sobre teora espectral (el problema 19 tiene una conexin con la hipoelipticidad). La lista no fue predictiva en ese sentido: no consigi plasmar o anticipar el fulgurante ascenso que experimentaran la topologa, la teora de grupos y la teora de la medida en el siglo XX, as como no previ la manera en que iba a avanzar la lgica matemtica. Por tanto, su valor documental es el de ensayo: una visin parcial, personal. Sugiere algunos programas de investigacin y algunas direcciones a seguir sin fin concreto. De hecho, muchas de las preguntas daban una falsa idea del matemtico profesional del siglo XXI, o incluso de 1950, en que la forma de una solucin a una buena pregunta tomara la forma de un artculo publicado en una publicacin matemtica. Si este fuera el caso de todos los veintitrs problemas, se hubiera simplificado el comentario hasta el punto de poder dar una referencia a una revista, o considera la pregunta como abierta todava. En algunos casos el lenguaje usado por Hilbert se sigue considerando un tanto negociable, en cuanto al significado real de la formulacin del problema (en ausencia, repetimos, de fundamentos axiomticos, basados en matemtica pura, empezando con el propio trabajo de Hilbert sobre geometra euclidiana, pasando por el Principia Mathematica, y terminando con el grupo Bourbaki y el terrorismo intelectual para terminar el trabajo). Los problemas Primero y Quinto se encuentran, quiz sorprendentemente, en un estado de formulacin de una claridad menos que total (vanse las notas). En casos como el Vigsimo, el problema se podra leer de forma razonable en una versin interna, relativamente accesible, en la que el lector puede saber a qu estaba apuntando Hilbert; o como una penumbra externa y especulativa. Dicho todo esto, por tanto, la razn ms importante es la gran rapidez con la que acept la lista de Hilbert la comunidad matemtica de aquel momento (lo cual es una frmula menos convencional que ahora, ya que por entonces haban pocos lderes investigadores, que generalmente se encontraban en unos pocos pases Europeos y se conocan todos entre ellos). Los problemas se estudiaron con gran atencin; resolver uno labr reputaciones. El estilo fue al menos tan influyente como el contenido de los problemas. Hilbert solicitaba clarificaciones. Pidi soluciones en principio a preguntas algortmicas, no a algoritmos prcticos. Pidi un fortalecimiento de los cimientos de partes de la matemtica que a los no

practicantes an se antojaban guiadas por intuiciones opacas (el clculo de Schubert y la geometra enumerativa). Estas actitudes fueron adoptadas por muchos seguidores, aunque tambin fueron discutidas, y continan sindolo. Treinta aos despus, Hilbert haba endurecido su postura: vase ignorabimus. Los problemas como manifiesto de Hilbert [editar]Est bastante claro que la lista de problemas, y su forma de discusin, estaban pensadas para ser influyentes. Hilbert no fall a las espectativas de la academia Alemana en cuanto a construccin de imperios, verbo programtico, y establecimiento explcito de una direccin y reclamo de territorio para una escuela. Nadie habla ya de la escuela de Hilbert en esos trminos; ni gozaron los problemas de Hilbert de su momento como si hizo el programa de Erlangen de Felix Klein. Klein fue colega de Hilbert, y en comparacin la lista de este ltimo era mucho menos prescriptiva. Michael Atiyah ha caracterizado el programa de Erlangen como prematuro. Los problemas de Hilbert, por el contrario, mostraron la capacidad del experto de buscar el momento adecuado. Si la escuela de Hilbert tiene un significado, posiblemente se refiera a la teora de operadores y al estilo de la fsica terica que tom los volmenes Hilbert-Courant como cannicos. Como se seal antes, la lista no establece directamente problemas sobre teora espectral. Tampoco le dio relevancia al lgebra conmutativa (entonces se la conoca como teora de ideales), su contribucin algebraica ms importante y mayor preocupacin en sus das de la teora de invariantes; lo cual, podra decirse, hubiera estado ms en la lnea de Klein. Ni, al menos superficialmente, predic contra LeopoldKronecker, el oponente de Georg Cantor, del que haba aprendido mucho pero cuyas actitudes casi detestaba (como queda documentado en la biografa de ConstanceReid). El lector podra extraer amplias conclusiones de la presencia de la teora de conjuntos en cabeza en la lista. La teora de funciones de variable compleja, la rama del anlisis clsico que todo matemtico puro debera conocer, est bastante olvidada: ni la conjetura de Bieberbach ni otra cuestin interesante, aparte de la hiptesis de Riemann. Uno de los objetivos estratgicos de Hilbert fue poner el lgebra conmutativa y la teora de funciones complejas al mismo nivel; esto, sin embargo, llevara 50 aos (y an no ha resultado en un cambio de lugares). Hilbert tena un pequeo grupo de pares: Adolf Hurwitz y HermannMinkowski eran ambos amigos cercanos e iguales intelectuales. Hay un guio a la geometra de nmeros de Minkowski en el problema 18, y a su trabajo en las formas cuadrticas en el problema 11. Hurwitz fue el gran desarrollador de la teora de la superficie de Riemann. Hilbert us la analoga del cuerpo de funciones, una gua a la teora algebraica de nmeros mediante el uso de anlogos geomtricos, para desarrollar la teora del cuerpo de clases dentro de su propia investigacin, y esto queda reflejado en el problema 9, hasta cierto punto en el problema 12, y en los problemas 21 y 22. Por otro lado, el nico rival de Hilbert en 1900 era Henri Poincar, y la segunda parte del problema 16 es una cuestin de sistemas dinmicos al estilo de Poincar.

Dos docenas redondas [editar]OriginalmenteHilbert incluy 24 problemas en su lista, pero decidi excluir uno de ellos de la publicada. El problema vigsimocuarto (en la teora de la demostracin, sobre un criterio de simplicidad y mtodos generales) lo redescubri en el ao 2000 el historiador alemn RdigerThiele, dentro de las notas manuscritas originales de Hilbert. De los problemas de Hilbert claramente formulados, los problemas 3, 7, 10, 11, 13, 14, 17 , 19 y 20 tienen una solucin aceptada por consenso. Por otro lado, los problemas 1, 2, 5, 9, 15, 18+, 21 y 22 tienen soluciones de aceptacin parcial, pero existe cierta controversia al respecto de si la solucin resuelve realmente el problema. El + en el 18 indica que la solucin a la ecuacin de Kepler es una demostracin asistida por computador, una nocin anacrnica para un problema de Hilbert y controvertida hasta cierto punto debido a que un lector humano no puede verificarla en tiempo razonable. Esto deja sin resolver el 8 (la hiptesis de Riemann) y el 12, ambos dentro de la teora de nmeros. En esta clasificacin los 4, 6, 16 y 23 son demasiado vagos como para que algn da se les pueda declarar resueltos. El 24 retirado tambin caera en esta clase.