Tupper's self-referential formula: Difference between revisions

m
Line 100:
First, let us make the definition of k:
 
[[File:Fōrmulæ - Tupper's self-referential formula 0101a.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:
2,120

edits