From 91b7598b22f89319f64054daf42c950de3eb6451 Mon Sep 17 00:00:00 2001 From: Elizabeth Hunt Date: Wed, 7 Jan 2026 19:29:30 -0800 Subject: Adding some of my favorite toys --- src/toys/godel/index.html | 53 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 53 insertions(+) create mode 100644 src/toys/godel/index.html (limited to 'src/toys/godel/index.html') diff --git a/src/toys/godel/index.html b/src/toys/godel/index.html new file mode 100644 index 0000000..678d56a --- /dev/null +++ b/src/toys/godel/index.html @@ -0,0 +1,53 @@ + + + + + + + Gödel Numbering + + +
+
+

Gödel Numbering

+

"Compile" L into JS and explore the source Gödel encodings.

+ +
+
+

L Source

+
+
+ + +
+ +
+
+ +
+
+

"Compiled" JS

+
+
+ +
+ +
+
+ +
+

Gödel Sequence

+ 
Compile to view the Gödel sequence.
+
+ +
+ 

+      

+    

+  

+
+  
+  
+  
+
+
-- 
cgit v1.2.3-70-g09d2