User contributions
Jump to navigation
Jump to search
- 20:54, 8 August 2006 diff hist +553 Lojban zo'e, a place-keeper argument -- analogy with notion of zero in number decimal representation
- 13:52, 8 August 2006 diff hist +1 m Lojban The order of arguments in the predicate corrected
- 13:35, 8 August 2006 diff hist +4 m Lojban Using ``I, me'' instead of ``I'' in the vocabulary
- 13:34, 8 August 2006 diff hist +184 m Lojban Some comments, rephrasings + spell-check with ispell
- 11:38, 8 August 2006 diff hist +196 m Lojban Analogy between passive voice in Lojban expressed by ``se'' predicate modifiier to combinator C
- 22:05, 7 August 2006 diff hist +611 Lojban →Others: Haskell and Lojban -- link to a discussion (with articles) on motivations wgy people choose (``adopti') a (programming or other) language
- 21:38, 7 August 2006 diff hist +7 m Applications and libraries/Linguistics Fixing link
- 21:37, 7 August 2006 diff hist -10 m Applications and libraries/Linguistics Wikipedia atricle on Lojban can be reached from the newly created Lojban HaskellWiki page,, so the link is confusing here
- 21:27, 7 August 2006 diff hist +483 Lojban →Repeating: Even more combinators, modifying directly the predicate, not arbitrary subexpression of the sentence
- 20:44, 7 August 2006 diff hist +10 m Lojban Rephrasing a typographic corrections
- 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
- 18:15, 5 August 2006 diff hist +125 m Mathematics Link to Algorithmic information theory, with short text
- 17:58, 5 August 2006 diff hist -1 m Algorithmic information theory small rephrasing
- 17:57, 5 August 2006 diff hist +178 Algorithmic information theory (1): A link back to Chaitin's construction, (2): some introductory text annoting Chaitin's writings
- 17:52, 5 August 2006 diff hist +47 m Algorithmic information theory Adding (yet invisible) table of contents, and categorizing as Category:Theoretical foundations
- 17:50, 5 August 2006 diff hist +265 N Algorithmic information theory Wikipedia links and Chaitin's homepage
- 17:20, 5 August 2006 diff hist +44 m Chaitin's construction →Introduction: Initiating new page Algorithmic information theory
- 15:19, 5 August 2006 diff hist -15 m Chaitin's construction →More natural norm functions (from CL terms): Doing the same for another occurrence of the same mistake
- 15:17, 5 August 2006 diff hist -14 m Chaitin's construction Sign of ``identical as terms'' is inapprorate at defining a funtion (norm). Also a misstyping is corrected
- 15:10, 5 August 2006 diff hist +336 Chaitin's construction (1): Writing new subsection →Architecture: for section →Implementation: , (2): inserting new headline →User interface: before the bash examples
- 14:59, 5 August 2006 diff hist +4 m Chaitin's construction ``norm function OF ...'' is disambigous here, using ``FROM '' instead
- 14:57, 5 August 2006 diff hist +200 m Chaitin's construction →To do: points to →Implementation: and newly moved →More natural norm functions (from CL terms
- 14:45, 5 August 2006 diff hist +509 Chaitin's construction →To do: Explaining analogy between Mandelbrot softwares making conjectures on convergence and this program making conjecture on termination
- 13:39, 5 August 2006 diff hist +113 m Chaitin's construction →To do: Extending usage examples, and better option name
- 14:43, 4 August 2006 diff hist +33 Chaitin's construction →Implementation: Better section hierarchy
- 14:40, 4 August 2006 diff hist +241 Chaitin's construction Also this page refers to combinatory logic term modules. That was why I made a separate page for it (two references are enough for that)
- 14:34, 4 August 2006 diff hist +47 m Chaitin's construction/Combinatory logic table of contents and categorising under Category:Theoretical foundations current
- 14:33, 4 August 2006 diff hist +642 N Chaitin's construction/Combinatory logic Lifting section hierarchy
- 14:31, 4 August 2006 diff hist -555 Chaitin's construction/Parser Moving combinatory logic term modules to a separate pege current
- 14:21, 4 August 2006 diff hist +52 m Chaitin's construction Grammatical and typographic corrections
- 14:13, 4 August 2006 diff hist +322 Chaitin's construction →3 Eliminating any concept of code by handling combinatory logic terms direct: Clarifying the aim of this chapter