Tupper's self-referential formula: Difference between revisions

m
m (→‎{{header|Wren}}: Changed to Wren S/H)
 
Line 233:
First, let us make the definition of k:
 
[[File:Fōrmulæ - Tupper's self-referential formula 01a01.png]]
 
Tupper uses the notation '''mod(a, b)''' for the modulo operation, while Fōrmulæ uses the notation '''a Mod b'''. If we want to use the Tupper's formula exactly as it is, we can use the trick:
Line 241:
Now we can use a formula that looks exactly as Tupper's:
 
[[File:Fōrmulæ - Tupper's self-referential formula 03a03.png]]
 
'''Visualization as a matrix.''' The following creates a 17×106 matrix. Values for which inequality is true are shown as an opaque black color, otherwise they are shown as an transparent color.
Line 248:
 
(image is resized 50% of its original)
 
[[File:Fōrmulæ - Tupper's self-referential formula 05.png|1070px]]
 
'''Visualization as an image.''' In the following script, a function to draw the Tupper's formula is used to generate the image with different sizes, because the standard 1x1 pixel per unit results to be too small in order to be appreciated:
 
[[File:Fōrmulæ - Tupper's self-referential formula 06a06.png]]
 
[[File:Fōrmulæ - Tupper's self-referential formula 0807.png]]
 
[[File:Fōrmulæ - Tupper's self-referential formula 07a08.png]]
 
=={{header|J}}==
2,120

edits