User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:15, 16 September 2018 (diff | hist) . . (-310) . . User:IssaRice/Decrement command in loop programs (current)
- 07:09, 16 September 2018 (diff | hist) . . (+622) . . User:IssaRice/Decrement command in loop programs
- 06:57, 16 September 2018 (diff | hist) . . (0) . . User:IssaRice/Decrement command in loop programs
- 06:57, 16 September 2018 (diff | hist) . . (+260) . . User:IssaRice/Decrement command in loop programs
- 06:53, 16 September 2018 (diff | hist) . . (+234) . . User:IssaRice/Decrement command in loop programs
- 06:51, 16 September 2018 (diff | hist) . . (+153) . . User:IssaRice/Decrement command in loop programs
- 06:47, 16 September 2018 (diff | hist) . . (+2,378) . . N User:IssaRice/Decrement command in loop programs (Created page with "(started typing this up as a question for math SE, but I think I got it) Herbert Enderton’s ''Computability Theory: An Introduction to Recursion Theory'' defines a loop pro...")
- 03:49, 15 September 2018 (diff | hist) . . (+154) . . User:IssaRice/First graph principle using a semirecursive relation (current)
- 03:48, 15 September 2018 (diff | hist) . . (+97) . . User:IssaRice/First graph principle using a semirecursive relation
- 03:46, 15 September 2018 (diff | hist) . . (+93) . . User:IssaRice/First graph principle using a semirecursive relation
- 03:45, 15 September 2018 (diff | hist) . . (+303) . . User:IssaRice/First graph principle using a semirecursive relation
- 03:41, 15 September 2018 (diff | hist) . . (+158) . . User:IssaRice/First graph principle using a semirecursive relation
- 03:32, 15 September 2018 (diff | hist) . . (+49) . . User:IssaRice/First graph principle using a semirecursive relation
- 03:31, 15 September 2018 (diff | hist) . . (+285) . . User:IssaRice/First graph principle using a semirecursive relation
- 03:21, 15 September 2018 (diff | hist) . . (+295) . . User:IssaRice/First graph principle using a semirecursive relation
- 03:10, 15 September 2018 (diff | hist) . . (+352) . . User:IssaRice/First graph principle using a semirecursive relation
- 03:08, 15 September 2018 (diff | hist) . . (+556) . . N User:IssaRice/First graph principle using a semirecursive relation (Created page with "This is about proposition 7.17 (first graph principle) in Boolos, Burgess, Jeffrey's ''Computability and Logic''. The proof in the book defines two functions as follows: :<m...")
- 02:49, 15 September 2018 (diff | hist) . . (+56) . . User:IssaRice/Characteristic function of a semirecursive set (current)
- 02:48, 15 September 2018 (diff | hist) . . (+87) . . User:IssaRice/Characteristic function of a semirecursive set
- 02:45, 15 September 2018 (diff | hist) . . (+82) . . User:IssaRice/Characteristic function of a semirecursive set
- 02:43, 15 September 2018 (diff | hist) . . (+320) . . User:IssaRice/Characteristic function of a semirecursive set
- 02:39, 15 September 2018 (diff | hist) . . (-1,301) . . User:IssaRice/Comparison of concepts in computability theory (move to User:IssaRice/Characteristic function of a semirecursive set) (current)
- 02:38, 15 September 2018 (diff | hist) . . (+1,299) . . N User:IssaRice/Characteristic function of a semirecursive set (Created page with "What if we try to define a characteristic function for a semirecursive relation <math>S</math> as follows? :<math>\chi_S(x,y) = \begin{cases}1 & \text{if }S(x,y) \\ 0 & \text...")
- 02:35, 15 September 2018 (diff | hist) . . (+86) . . User:IssaRice/Comparison of concepts in computability theory
- 02:34, 15 September 2018 (diff | hist) . . (+172) . . User:IssaRice/Comparison of concepts in computability theory
- 02:32, 15 September 2018 (diff | hist) . . (+1) . . User:IssaRice/Comparison of concepts in computability theory
- 02:31, 15 September 2018 (diff | hist) . . (+40) . . User:IssaRice/Comparison of concepts in computability theory
- 02:30, 15 September 2018 (diff | hist) . . (+21) . . User:IssaRice/Comparison of concepts in computability theory
- 02:29, 15 September 2018 (diff | hist) . . (+210) . . User:IssaRice/Comparison of concepts in computability theory
- 02:27, 15 September 2018 (diff | hist) . . (+156) . . User:IssaRice/Comparison of concepts in computability theory
- 02:25, 15 September 2018 (diff | hist) . . (+615) . . User:IssaRice/Comparison of concepts in computability theory
- 23:07, 14 September 2018 (diff | hist) . . (+8) . . User:IssaRice/Comparison of concepts in computability theory
- 23:03, 14 September 2018 (diff | hist) . . (+68) . . User:IssaRice/Comparison of concepts in computability theory
- 23:02, 14 September 2018 (diff | hist) . . (+313) . . User:IssaRice/Comparison of concepts in computability theory
- 23:00, 14 September 2018 (diff | hist) . . (+549) . . User:IssaRice/Comparison of concepts in computability theory
- 22:57, 14 September 2018 (diff | hist) . . (+805) . . N User:IssaRice/Comparison of concepts in computability theory (Created page with "{| class="sortable wikitable" |- ! Set !! Intuitive meaning !! In terms of characteristic function |- | Primitive recursive set || || The characteristic function (which must b...")
- 02:25, 13 September 2018 (diff | hist) . . (+48) . . User:IssaRice/Belief propagation and cognitive biases (current)
- 19:47, 9 September 2018 (diff | hist) . . (+94) . . User:IssaRice/Summary table of sets in computability (current)
- 19:09, 6 September 2018 (diff | hist) . . (+309) . . N User:IssaRice/Summary table of sets in computability (Created page with "{| class="sortable wikitable" |- ! Set !! Enumerable? !! Recursive? !! Primitive recursive? !! Recursively enumerable/semirecursive? |- | Set of natural numbers || Yes || Yes...")
- 05:45, 6 September 2018 (diff | hist) . . (+224) . . Summary table of probability terms (→External links) (current)
- 06:41, 5 September 2018 (diff | hist) . . (+193) . . User:IssaRice/Belief propagation and cognitive biases
- 06:38, 5 September 2018 (diff | hist) . . (+134) . . User:IssaRice/Belief propagation and cognitive biases
- 06:31, 5 September 2018 (diff | hist) . . (+146) . . User:IssaRice/Belief propagation and cognitive biases
- 06:27, 5 September 2018 (diff | hist) . . (+383) . . User:IssaRice/Belief propagation and cognitive biases
- 06:16, 5 September 2018 (diff | hist) . . (+102) . . User:IssaRice/Belief propagation and cognitive biases
- 06:14, 5 September 2018 (diff | hist) . . (+100) . . User:IssaRice/Belief propagation and cognitive biases
- 06:12, 5 September 2018 (diff | hist) . . (+633) . . User:IssaRice/Belief propagation and cognitive biases
- 23:00, 4 September 2018 (diff | hist) . . (+6) . . User:IssaRice/Belief propagation and cognitive biases
- 21:41, 4 September 2018 (diff | hist) . . (+399) . . User:IssaRice/Belief propagation and cognitive biases
- 19:18, 3 September 2018 (diff | hist) . . (-1) . . User:IssaRice/Type checking Pearl's belief propagation notation (→Probability of a random variable) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
