User contributions
Jump to navigation
Jump to search
- 20:39, 7 August 2006 diff hist +1,040 Lojban →Repeating: Useing combinator W_(2), the deferred version of elementary duplicator W
- 20:07, 7 August 2006 diff hist 0 m Lojban Two personal pronouns mixed
- 20:05, 7 August 2006 diff hist +41 m Lojban →References: Reformatting
- 20:03, 7 August 2006 diff hist +5,231 N Lojban Lojban analogies of C and W combinators of combinatry logic
- 19:38, 7 August 2006 diff hist +81 Applications and libraries/Linguistics →Natural language processing and combinatory logic: Small introductory text
- 17:40, 7 August 2006 diff hist -20 m Applications and libraries/Linguistics →Other linguistics-related resources: Initiating separate page for Lojban
- 17:36, 7 August 2006 diff hist +570 Combinatory logic →Applications: Mentioning artificial language ``Lojban'' and its possible relatedness to combinatory logic
- 00:10, 7 August 2006 diff hist +428 Chaitin's construction →Eliminating any concept of code by handling [[combinatory logic]] terms directly: Heuristical steps
- 22:53, 5 August 2006 diff hist +6 m Chaitin's construction Chaitin's constructION
- 22:51, 5 August 2006 diff hist +191 Chaitin's construction →Table for small legths: illustrating the normal number property of Chaitin's construct
- 21:50, 5 August 2006 diff hist +310 Chaitin's construction →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
- 21:09, 5 August 2006 diff hist +47 Chaitin's construction →Table for small legths: Extending binary approximation of Omega to fit the code length
- 21:01, 5 August 2006 diff hist +123 Chaitin's construction →Table for simpler CL-terms: New column added: Omega approximated till now: mantissa binary (decimal)
- 20:22, 5 August 2006 diff hist -65 m Chaitin's construction →Table for simpler CL-terms: The table is easier to understand with this order of columns
- 20:16, 5 August 2006 diff hist 0 m Chaitin's construction →Table for simpler CL-terms: Headline renaming (earlier: ``Table for smaller CL-terms'')
- 20:14, 5 August 2006 diff hist +51 m Chaitin's construction →Table for smaller CL-terms: Short introductory text
- 20:10, 5 August 2006 diff hist +908 Chaitin's construction →Table for smaller CL-terms: with values for helping conjecture on a norm of CL-terms to constuct a ``probability of termination'' __among terms__, not strings
- 19:13, 5 August 2006 diff hist +661 Chaitin's construction →Table for small legths: exemplifying Chaitin's contruct for small cases
- 18:35, 5 August 2006 diff hist +262 m Computer science Adding link to Algorithmic information theory with small text explaining motivation
- 18:16, 5 August 2006 diff hist -2 Mathematics Double bulllets for list