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.

Print Friendly, PDF & Email