User contributions
Jump to navigation
Jump to search
- 03:14, 19 August 2006 diff hist +296 Lojban →References: The Complete Lojban Language / The Lojban Reference Grammar
- 16:13, 17 August 2006 diff hist +4 m Turing machine →Search: State name misspelled
- 16:08, 17 August 2006 diff hist +2,872 Turing machine →Search: : Modularizing Monk's ``left seek 0'': let us not exlude the starting from the process of search
- 14:56, 17 August 2006 diff hist +216 m Recursive function theory Mentioning Kleene's s^m_n theorem in the context of currying
- 14:40, 17 August 2006 diff hist +1 m Turing machine Dummy edit: ``blank'' versus ``Letter *''
- 14:38, 17 August 2006 diff hist 0 m Turing machine blank vs Letter 1 instead of 0 vs 1 or blank vs letter 1
- 14:08, 17 August 2006 diff hist +4,693 Turing machine →Examples: for Turing machine descriptions (``program source code samples''): →Simple moves: and →Simple rewritings: , see Monk T_right, T_left, T_0, T_1
- 23:50, 10 August 2006 diff hist +130 m Combinatory logic Mentioning other solutions (which are just mentioned, because they are more complicated)
- 23:35, 10 August 2006 diff hist +918 Combinatory logic →Maybe2: Defining Maybe2 datatype (found in an old Hugs library) in CL
- 20:57, 8 August 2006 diff hist +1 m Lojban typographic correction
- 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