La fórmula autorreferente de Tupper con Mathematica

Hace un tiempo os hablaba de la fórmula autorreferente de Tupper. En ese post os comentaba que había intentado representarla con Mathematica pero que no sabía cómo hacerlo. Hoy Xavi en un comentario nos deja este enlace donde podemos ver el código que hay que escribir en Mathematica para que nos la represente. Yo la he intentado representar pero no me sale nada. Dejo el código aquí escrito para ver si alguien la consigue representar y nos pasa una imagen:

k = 4858450636189713423582095962494202044581
4005879832445494830930850619347047088099
2845064476986552436484999724702491511911
0411605739177407856919754326571855442057
2104457358836818298237541396343382251994
5219165128434833290513119319995350241375
8765239264874613394906870130562295813219
4811136853395355652908500238750928568926
9455597428154638651073004910672305893358
6052544096664351265349363643957125565695
9368151843348576052669401612512669514215
5053955451915378545752575659074054015792
9001765967965480064427829131488548259914
721248506352686630476300;
pp = 400;
f[xx_,yy_]:=With[{x=SetPrecision[xx,600],y=SetPrecision[yy,600]},
Floor[Mod[Floor[(y+k)/17]*2^(-17*Floor[x]-Mod[Floor[y+k],17]),2]]]
cc=ContourPlot[1-f[x,y],{x,-1,107},{y,0,17},Contours->{0},
PlotPoints->pp,Frame->True,AspectRatio->Automatic]

Quitadle los espacios a k. Y a ver si alguien me dice en qué me he equivocado, porque yo no veo el fallo.

Actualización: Gracias a jacityc, que nos avisa de un error en k, ya he podido representarla. El valor de k ya está modificado y el resultado es este:

Fórmula autorreferente de Tupper

Muy curioso el tema.

Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

6 Comentarios

  1. Una pequenia disquisicion. La formula no es completamente autorreferente porque la grafica no incluye el numero N. Una formula que haga eso seria mas asombrosa.

    Publica una respuesta
  2. Creo que está mal copiado el número ‘k’.

    No he probado a copiarlo yo porque es un aburrimiento increible, pero me he dado cuenta de que el ‘k’ que pones en este enlace es distinto: https://gaussianos.com/la-formula-autorreferente-de-tupper

    He probado a sustituir el valor de k por el que pones en ese post y ya sale bien el dibujo, aunque reflejado verticalmente.

    Un saludo.

    Publica una respuesta
  3. Exacto, la k está mal copiada. A mi me aparece correctamente.

    Aquí teneis la k:

    4858450636189713423582095962494202044
    5814005879832445494830930850619347047
    0880992845064476986552436484999724702
    4915119110411605739177407856919754326
    5718554420572104457358836818298237541
    3963433822519945219165128434833290513
    1193199953502413758765239264874613394
    9068701305622958132194811136853395355
    6529085002387509285689269455597428154
    6386510730049106723058933586052544096
    6643512653493636439571255656959368151
    8433485760526694016125126695142155053
    9554519153785457525756590740540157929
    0017659679654800644278291314885482599
    14721248506352686630476300;

    Publica una respuesta
  4. Cierto, la k estaba mal copiada. Ya me ha salido la representación. Ahora mismo rectifico la k y pongo una captura.

    jacityc te corto en trozos la k, que descuadra un poco esto :P.

    Publica una respuesta
  5. Alguien me puede decir como y donde puedo conseguir el programa Mathematica??

    Gracias

    Publica una respuesta
  6. Antes que nada, excelente página :D. Perdonen que vaya muy off-topic,pero viendo en sus blogs anteriores (de los primeros) pusieron un problema que al parecer solo 1 usuario se acerco a la respuesta, pero yo la conseguí por “tanteo”

    “El año x2 tenía x años. ¿En qué año nací?”
    44 años y nació en 1892

    44^2=1936
    1936-44=1892

    Teniendo en cuenta que el sujeto nació en el siglo XIX.

    Saludos

    Publica una respuesta

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *