Diagonalization Simulator
Cantor Table T
Generating programs:
Generated numbers
i:
n:
active program
stack
token-queue
status
info
stack trace
Execution Timeline—Whole Table
Timeline—Individual Cell-Value Computation
Target:
Cantor's Proof
Halting Problem
DEFINE TABLE CONTENTS.
Generating Programs:
progSet1
progSet2---error tests
Diagonalization program location:
Internal to table (row 3)
External register R
Not used
Table execution order.
Sweep from:
N
E
S
W
NW
NE
SE
SW
Spiral:
CW
CCW
Initial cell value:
0 1 uninitialized (—)
Speed:
fast .................... slow
Redraw on change
ERROR DETECTION.
Detect cells failing
diff-test
Detect
uninitialized
values (ǚ)
Detect
program errors
(ö)
Error visualization:
visualization: hidden
show all test results
show dependencies only
Table access visualization:
visualization: hidden
one cell at a time
one row at a time
View options:
Show diagonal, rowK, crit-bit
Color-code 0 vs. 1
Output format:
binary fraction
decimal fraction
rational (approx.)
halting set
OFF
Cell Value Computation
hidden
summary
trace: static view
trace: single-step
Verbosity:
1—compact
2—full trace
Trace font size:
20
16
12
8
Bool value names:
1/0
true/false