# User contributions

(newest | oldest) View (newer 160 | older 160) (20 | 50 | 100 | 250 | 500)

- 20:23, 22 May 2019 (diff | hist) . . (+13) . . User:IssaRice/Computability and logic/S–m–n theorem (current)
- 20:22, 22 May 2019 (diff | hist) . . (+348) . . User:IssaRice/Computability and logic/S–m–n theorem
- 20:21, 22 May 2019 (diff | hist) . . (+161) . . User:IssaRice/Computability and logic/S–m–n theorem
- 20:19, 22 May 2019 (diff | hist) . . (+289) . . User:IssaRice/Computability and logic/S–m–n theorem
- 20:18, 22 May 2019 (diff | hist) . . (+477) . . User:IssaRice/Computability and logic/S–m–n theorem
- 19:24, 22 May 2019 (diff | hist) . . (+88) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2)
- 19:23, 22 May 2019 (diff | hist) . . (+260) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2)
- 19:15, 22 May 2019 (diff | hist) . . (+165) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2)
- 19:05, 22 May 2019
(diff | hist) . .
**(+754)** . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2) - 18:57, 22 May 2019
(diff | hist) . .
**(+1,110)** . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2) - 18:45, 22 May 2019 (diff | hist) . . (+274) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 3)
- 18:42, 22 May 2019 (diff | hist) . . (+155) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 3)
- 17:37, 11 May 2019 (diff | hist) . . (+5) . . User:IssaRice/Computability and logic/Semantic completeness (→Proof) (current)
- 08:47, 28 April 2019 (diff | hist) . . (+473) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→algorithm vs program vs index vs Godel number)
- 08:54, 26 April 2019 (diff | hist) . . (-14) . . User:IssaRice/Computability and logic/Characterization of recursively enumerable sets (current)
- 08:04, 26 April 2019 (diff | hist) . . (+59) . . User:IssaRice/Computability and logic/Summary table of sets in computability (current)
- 08:03, 26 April 2019 (diff | hist) . . (+23) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:03, 26 April 2019 (diff | hist) . . (+44) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:02, 26 April 2019 (diff | hist) . . (+10) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:01, 26 April 2019 (diff | hist) . . (+9) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:00, 26 April 2019 (diff | hist) . . (+15) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:00, 26 April 2019 (diff | hist) . . (+22) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:59, 26 April 2019 (diff | hist) . . (+6) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:59, 26 April 2019 (diff | hist) . . (0) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:58, 26 April 2019 (diff | hist) . . (+45) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:57, 26 April 2019 (diff | hist) . . (+36) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:55, 26 April 2019 (diff | hist) . . (+87) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating)
- 07:48, 26 April 2019 (diff | hist) . . (+173) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→notes)
- 07:46, 26 April 2019 (diff | hist) . . (+117) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Sentence vs wff vs formula vs closed formula)
- 07:43, 26 April 2019 (diff | hist) . . (+28) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Syntax vs semantics)
- 07:41, 26 April 2019 (diff | hist) . . (+170) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Completeness)
- 11:43, 25 April 2019 (diff | hist) . . (+18) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Language, logic, formal system, system, theory, structure)
- 11:42, 25 April 2019 (diff | hist) . . (+55) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Language, logic, formal system, system, theory, structure)
- 08:23, 25 April 2019 (diff | hist) . . (+68) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:22, 25 April 2019 (diff | hist) . . (+49) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:07, 25 April 2019 (diff | hist) . . (+1) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:04, 25 April 2019 (diff | hist) . . (+69) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:02, 25 April 2019 (diff | hist) . . (0) . . m User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (IssaRice moved page User:IssaRice/Computability and logic/List of important distinctions in mathematical logic to User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic)
- 08:02, 25 April 2019 (diff | hist) . . (+131) . . N User:IssaRice/Computability and logic/List of important distinctions in mathematical logic (IssaRice moved page User:IssaRice/Computability and logic/List of important distinctions in mathematical logic to User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic) (current)
- 07:58, 25 April 2019 (diff | hist) . . (+75) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating)
- 07:55, 25 April 2019 (diff | hist) . . (+155) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Language, logic, formal system, system, theory, structure)
- 07:54, 25 April 2019 (diff | hist) . . (+165) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Language, logic, formal system, system, theory, structure)
- 07:53, 25 April 2019 (diff | hist) . . (+16) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:48, 25 April 2019 (diff | hist) . . (+112) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→The models symbol)
- 07:43, 25 April 2019 (diff | hist) . . (-111) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→notes)
- 07:42, 25 April 2019 (diff | hist) . . (+127) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:41, 25 April 2019 (diff | hist) . . (-5) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:41, 25 April 2019 (diff | hist) . . (+108) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:40, 25 April 2019 (diff | hist) . . (+144) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:39, 25 April 2019
(diff | hist) . .
**(+980)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill) - 07:31, 25 April 2019 (diff | hist) . . (+29) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:30, 25 April 2019 (diff | hist) . . (+493) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:23, 25 April 2019 (diff | hist) . . (+98) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:21, 25 April 2019 (diff | hist) . . (+74) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:21, 25 April 2019 (diff | hist) . . (+17) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:19, 25 April 2019 (diff | hist) . . (+250) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Sentence vs wff vs formula vs closed formula)
- 07:18, 25 April 2019 (diff | hist) . . (+111) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Completeness)
- 07:15, 25 April 2019
(diff | hist) . .
**(+1,382)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic - 07:00, 25 April 2019 (diff | hist) . . (+119) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→algorithm vs program vs index vs Godel number)
- 07:39, 24 April 2019 (diff | hist) . . (+183) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→theory vs axioms)
- 07:37, 24 April 2019 (diff | hist) . . (+280) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→theory vs axioms)
- 07:35, 24 April 2019
(diff | hist) . .
**(+932)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic - 07:27, 24 April 2019 (diff | hist) . . (+279) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:25, 24 April 2019 (diff | hist) . . (-48) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→notes)
- 07:24, 24 April 2019
(diff | hist) . .
**(+896)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→algorithm vs program vs index vs Godel number) - 07:18, 24 April 2019 (diff | hist) . . (+53) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 12:46, 23 April 2019 (diff | hist) . . (+5) . . Abstracting sensory data in Solomonoff induction (current)
- 12:42, 23 April 2019 (diff | hist) . . (+43) . . Proportion of valid programs view of Solomonoff induction (current)
- 19:08, 17 April 2019 (diff | hist) . . (+156) . . Solomonoff induction (→Model selection vs sequence prediction)
- 19:07, 17 April 2019 (diff | hist) . . (+256) . . Solomonoff induction (→Model selection vs sequence prediction)
- 19:06, 17 April 2019
(diff | hist) . .
**(+809)** . . Solomonoff induction (→Model selection vs sequence prediction) - 18:55, 17 April 2019 (diff | hist) . . (+8) . . Proportion of valid programs view of Solomonoff induction (→Example)
- 18:54, 17 April 2019
(diff | hist) . .
**(+662)** . . Proportion of valid programs view of Solomonoff induction (→Example) - 18:50, 17 April 2019
(diff | hist) . .
**(+949)** . . Proportion of valid programs view of Solomonoff induction - 18:49, 17 April 2019 (diff | hist) . . (+132) . . Proportion of valid programs view of Solomonoff induction (→How to decide on the class of programs)
- 18:38, 17 April 2019 (diff | hist) . . (+115) . . Proportion of valid programs view of Solomonoff induction (→How to decide on the class of programs)
- 18:05, 17 April 2019 (diff | hist) . . (+70) . . Solomonoff induction
- 18:03, 17 April 2019
(diff | hist) . .
**(+2,052)** . . N Abstracting sensory data in Solomonoff induction (Created page with "One potential misconception one might have about Solomonoff induction is the degree to which one "abstracts" the sensory information that Solomonoff induction is "allowed...") - 17:45, 17 April 2019 (diff | hist) . . (+42) . . Proportion of valid programs view of Solomonoff induction (→How to decide on the class of programs)
- 17:44, 17 April 2019 (diff | hist) . . (+197) . . Proportion of valid programs view of Solomonoff induction (→How to decide on the class of programs)
- 17:42, 17 April 2019 (diff | hist) . . (+79) . . Equivalence of random coinflips view and minimal programs view (current)
- 17:31, 17 April 2019
(diff | hist) . .
**(+602)** . . Equivalence of random coinflips view and minimal programs view (→Proof of equivalence) - 17:27, 17 April 2019 (diff | hist) . . (+255) . . Equivalence of random coinflips view and minimal programs view (→Proof of equivalence)
- 17:25, 17 April 2019 (diff | hist) . . (-20) . . Equivalence of random coinflips view and minimal programs view (→Proof of equivalence)
- 17:22, 17 April 2019 (diff | hist) . . (-6) . . Equivalence of random coinflips view and minimal programs view (→Proof of equivalence)
- 17:22, 17 April 2019 (diff | hist) . . (+187) . . Equivalence of random coinflips view and minimal programs view (→Proof of equivalence)
- 17:20, 17 April 2019
(diff | hist) . .
**(+638)** . . Equivalence of random coinflips view and minimal programs view (→Proof of equivalence) - 17:13, 17 April 2019 (diff | hist) . . (+161) . . Proportion of valid programs view of Solomonoff induction
- 17:08, 17 April 2019 (diff | hist) . . (+172) . . Proportion of valid programs view of Solomonoff induction (→How to decide on the class of programs)
- 17:07, 17 April 2019 (diff | hist) . . (+53) . . Proportion of valid programs view of Solomonoff induction
- 17:04, 17 April 2019
(diff | hist) . .
**(+536)** . . Proportion of valid programs view of Solomonoff induction - 16:59, 17 April 2019 (diff | hist) . . (+172) . . Proportion of valid programs view of Solomonoff induction
- 16:58, 17 April 2019 (diff | hist) . . (+96) . . Proportion of valid programs view of Solomonoff induction
- 16:56, 17 April 2019
(diff | hist) . .
**(+662)** . . N Proportion of valid programs view of Solomonoff induction (Created page with "'''Proportion of valid programs view of Solomonoff induction''' is one of several ways of viewing the deterministic variant of Solomonoff induction. This view roughly says...") - 16:50, 17 April 2019 (diff | hist) . . (+25) . . Equivalence of random coinflips view and minimal programs view (→References)
- 16:48, 17 April 2019 (diff | hist) . . (+96) . . Equivalence of random coinflips view and minimal programs view
- 16:46, 17 April 2019
(diff | hist) . .
**(+514)** . . Equivalence of random coinflips view and minimal programs view (→Proof of equivalence) - 16:40, 17 April 2019 (diff | hist) . . (+316) . . Equivalence of random coinflips view and minimal programs view (→Proof of equivalence)
- 01:35, 16 April 2019 (diff | hist) . . (+26) . . Equivalence of random coinflips view and minimal programs view
- 01:32, 16 April 2019 (diff | hist) . . (+56) . . Equivalence of random coinflips view and minimal programs view
- 01:31, 16 April 2019 (diff | hist) . . (+4) . . Equivalence of random coinflips view and minimal programs view
- 01:30, 16 April 2019 (diff | hist) . . (+17) . . Equivalence of random coinflips view and minimal programs view
- 01:29, 16 April 2019 (diff | hist) . . (+38) . . Equivalence of random coinflips view and minimal programs view
- 01:27, 16 April 2019 (diff | hist) . . (+39) . . Equivalence of random coinflips view and minimal programs view
- 01:27, 16 April 2019
(diff | hist) . .
**(+526)** . . Equivalence of random coinflips view and minimal programs view - 01:22, 16 April 2019 (diff | hist) . . (+18) . . Equivalence of random coinflips view and minimal programs view
- 01:22, 16 April 2019 (diff | hist) . . (+4) . . Equivalence of random coinflips view and minimal programs view
- 01:21, 16 April 2019 (diff | hist) . . (+119) . . Equivalence of random coinflips view and minimal programs view (→Example)
- 01:20, 16 April 2019 (diff | hist) . . (+115) . . Equivalence of random coinflips view and minimal programs view (→Example 2)
- 01:16, 16 April 2019
(diff | hist) . .
**(+573)** . . Equivalence of random coinflips view and minimal programs view (→Example 2) - 01:12, 16 April 2019 (diff | hist) . . (+66) . . Equivalence of random coinflips view and minimal programs view
- 01:11, 16 April 2019 (diff | hist) . . (+435) . . Equivalence of random coinflips view and minimal programs view
- 01:00, 16 April 2019
(diff | hist) . .
**(+741)** . . Equivalence of random coinflips view and minimal programs view - 00:52, 16 April 2019 (diff | hist) . . (+244) . . Equivalence of random coinflips view and minimal programs view (→Example)
- 00:48, 16 April 2019 (diff | hist) . . (+35) . . Equivalence of random coinflips view and minimal programs view (→Example)
- 00:48, 16 April 2019 (diff | hist) . . (+418) . . Equivalence of random coinflips view and minimal programs view (→Example)
- 00:45, 16 April 2019 (diff | hist) . . (+103) . . Equivalence of random coinflips view and minimal programs view (→Example)
- 00:43, 16 April 2019
(diff | hist) . .
**(+838)** . . Equivalence of random coinflips view and minimal programs view (→Example) - 00:35, 16 April 2019 (diff | hist) . . (+416) . . Equivalence of random coinflips view and minimal programs view (→Example)
- 00:33, 16 April 2019
(diff | hist) . .
**(+524)** . . Equivalence of random coinflips view and minimal programs view - 00:23, 16 April 2019 (diff | hist) . . (+267) . . Equivalence of random coinflips view and minimal programs view
- 00:20, 16 April 2019 (diff | hist) . . (+8) . . Equivalence of random coinflips view and minimal programs view
- 00:19, 16 April 2019 (diff | hist) . . (+111) . . Equivalence of random coinflips view and minimal programs view
- 00:17, 16 April 2019
(diff | hist) . .
**(+557)** . . Equivalence of random coinflips view and minimal programs view - 00:12, 16 April 2019 (diff | hist) . . (+73) . . Solomonoff induction (→Significance of random coin flips)
- 00:12, 16 April 2019
(diff | hist) . .
**(+1,252)** . . N Equivalence of random coinflips view and minimal programs view (Created page with "Two of the several ways of viewing the deterministic variant of Solomonoff induction are: * The "random coinflips view": Given a monotone Turing machine, we feed the machine...") - 20:09, 7 April 2019 (diff | hist) . . (+143) . . User:IssaRice/Computability and logic/Gödel's completeness theorem (→Different formulations) (current)
- 20:05, 7 April 2019 (diff | hist) . . (+79) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 20:01, 7 April 2019 (diff | hist) . . (+188) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:59, 7 April 2019 (diff | hist) . . (+222) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:56, 7 April 2019 (diff | hist) . . (+136) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:49, 7 April 2019
(diff | hist) . .
**(+1,149)** . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation) - 19:34, 7 April 2019 (diff | hist) . . (+337) . . User:IssaRice/Computability and logic/Semantic completeness (→Proof commentary)
- 19:30, 7 April 2019 (diff | hist) . . (+24) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:28, 7 April 2019
(diff | hist) . .
**(+793)** . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation) - 19:13, 7 April 2019 (diff | hist) . . (+8) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:13, 7 April 2019 (diff | hist) . . (-21) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:12, 7 April 2019 (diff | hist) . . (+83) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:10, 7 April 2019 (diff | hist) . . (+6) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:10, 7 April 2019 (diff | hist) . . (+146) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 19:07, 7 April 2019 (diff | hist) . . (+182) . . User:IssaRice/Computability and logic/Semantic completeness (→Proof idea)
- 19:06, 7 April 2019
(diff | hist) . .
**(+983)** . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation) - 18:59, 7 April 2019 (diff | hist) . . (+31) . . User:IssaRice/Computability and logic/Semantic completeness (→Alternative formulation)
- 18:58, 7 April 2019 (diff | hist) . . (+486) . . User:IssaRice/Computability and logic/Semantic completeness
- 18:48, 7 April 2019 (diff | hist) . . (+454) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Trying to discover the lemma)
- 18:42, 7 April 2019 (diff | hist) . . (+62) . . User:IssaRice/Computability and logic/Expresses versus captures (→Comparing strengths) (current)
- 18:41, 7 April 2019 (diff | hist) . . (+408) . . User:IssaRice/Computability and logic/Expresses versus captures
- 21:49, 6 April 2019 (diff | hist) . . (+270) . . Solomonoff induction (→Type of hypothesis)
- 01:08, 6 April 2019 (diff | hist) . . (+36) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→notes)
- 03:48, 4 April 2019 (diff | hist) . . (+122) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 05:44, 3 April 2019 (diff | hist) . . (+28) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Syntax vs semantics)
- 05:43, 3 April 2019 (diff | hist) . . (+38) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Syntax vs semantics)
- 05:26, 3 April 2019 (diff | hist) . . (+38) . . User:IssaRice/Reflections on working through Tao's Analysis
- 04:14, 1 April 2019 (diff | hist) . . (+156) . . Variants of Solomonoff induction
- 04:09, 1 April 2019 (diff | hist) . . (-173) . . Solomonoff induction (→Variants)
- 04:09, 1 April 2019 (diff | hist) . . (+107) . . Variants of Solomonoff induction
- 04:08, 1 April 2019 (diff | hist) . . (+80) . . Variants of Solomonoff induction
- 03:58, 1 April 2019 (diff | hist) . . (-51) . . Solomonoff induction (→Variants)
- 03:52, 1 April 2019 (diff | hist) . . (+344) . . Variants of Solomonoff induction
- 03:52, 1 April 2019 (diff | hist) . . (-365) . . Solomonoff induction (→Variants)

(newest | oldest) View (newer 160 | older 160) (20 | 50 | 100 | 250 | 500)