Chaitin's construction - Revision history

EndreyMark: ``Workpage template'', warning about missing substantial details

EndreyMark — Sat, 14 Mar 2009 21:34:34 GMT

``Workpage template'', warning about missing substantial details

EndreyMark: grammar: singular

EndreyMark — Sat, 05 Jul 2008 13:52:02 GMT

grammar: singular

EndreyMark: /* Eliminating any concept of code by handling combinatory logic terms directly */ Domain of "normal form" partial function

EndreyMark — Sat, 05 Jul 2008 13:46:32 GMT

Eliminating any concept of code by handling combinatory logic terms directly: Domain of "normal form" partial function

EndreyMark: /Eliminating any concept of code by handling combinatory logic terms directly/ Heuristical steps

EndreyMark — Mon, 07 Aug 2006 00:10:58 GMT

Eliminating any concept of code by handling combinatory logic terms directly: Heuristical steps

EndreyMark: Chaitin's constructION

EndreyMark — Sat, 05 Aug 2006 22:53:55 GMT

Chaitin's constructION

EndreyMark: /Table for small legths/ illustrating the normal number property of Chaitin's construct

EndreyMark — Sat, 05 Aug 2006 22:51:31 GMT

Table for small legths: illustrating the normal number property of Chaitin's construct

EndreyMark: /More natural norm functions (from CL terms)/ But Chaitin's constant is a normal number (as if its digits were generated by tossing a coin), and I want to preserve this

EndreyMark — Sat, 05 Aug 2006 21:50:22 GMT

More natural norm functions (from CL terms): But Chaitin's constant is a normal number (as if its digits were generated by tossing a coin), and I want to preserve this

EndreyMark: /Table for small legths/ Extending binary approximation of Omega to fit the code length

EndreyMark — Sat, 05 Aug 2006 21:09:14 GMT

Table for small legths: Extending binary approximation of Omega to fit the code length

EndreyMark: /Table for simpler CL-terms/ New column added: Omega approximated till now: mantissa binary (decimal)

EndreyMark — Sat, 05 Aug 2006 21:01:24 GMT

Table for simpler CL-terms: New column added: Omega approximated till now: mantissa binary (decimal)

EndreyMark: /Table for simpler CL-terms/ The table is easier to understand with this order of columns

EndreyMark — Sat, 05 Aug 2006 20:22:13 GMT

Table for simpler CL-terms: The table is easier to understand with this order of columns

Chaitin's construction - Revision history

EndreyMark: ``Workpage template'', warning about missing substantial details

EndreyMark: grammar: singular

EndreyMark: /* Eliminating any concept of code by handling combinatory logic terms directly */ Domain of "normal form" partial function

EndreyMark: /*Eliminating any concept of code by handling combinatory logic terms directly*/ Heuristical steps

EndreyMark: Chaitin's constructION

EndreyMark: /*Table for small legths*/ illustrating the normal number property of Chaitin's construct

EndreyMark: /*More natural norm functions (from CL terms)*/ But Chaitin's constant is a normal number (as if its digits were generated by tossing a coin), and I want to preserve this

EndreyMark: /*Table for small legths*/ Extending binary approximation of Omega to fit the code length