# User contributions

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

- 06:22, 27 February 2019 (diff | hist) . . (+145) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 20:48, 20 February 2019 (diff | hist) . . (+2) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 20:40, 20 February 2019 (diff | hist) . . (+176) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 20:22, 20 February 2019 (diff | hist) . . (-26) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 20:21, 20 February 2019 (diff | hist) . . (-226) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 20:06, 20 February 2019 (diff | hist) . . (+432) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 20:06, 20 February 2019 (diff | hist) . . (+358) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 19:56, 20 February 2019 (diff | hist) . . (+14) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 19:55, 20 February 2019 (diff | hist) . . (+206) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 19:50, 20 February 2019 (diff | hist) . . (+31) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 19:49, 20 February 2019 (diff | hist) . . (+233) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 19:43, 20 February 2019 (diff | hist) . . (+74) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 19:41, 20 February 2019 (diff | hist) . . (+76) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 19:39, 20 February 2019 (diff | hist) . . (+59) . . User:IssaRice/Computability and logic/List of possibilities for completeness and decidability
- 19:35, 20 February 2019
(diff | hist) . .
**(+695)** . . N User:IssaRice/Computability and logic/List of possibilities for completeness and decidability (Created page with "{| class="sortable wikitable" |- ! Decidable logic? !! Complete logic? (semantic completeness) !! Decidable theory? !! Complete theory? (negation-completeness) !! Example or p...") - 05:37, 14 February 2019 (diff | hist) . . (+177) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 05:31, 14 February 2019 (diff | hist) . . (+86) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 05:16, 14 February 2019 (diff | hist) . . (+466) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:59, 13 February 2019 (diff | hist) . . (+108) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 05:47, 11 February 2019 (diff | hist) . . (+67) . . User:IssaRice/Computability and logic/Expresses versus captures (→Comparison of usage patterns)
- 05:38, 11 February 2019 (diff | hist) . . (+146) . . User:IssaRice/Computability and logic/Expresses versus captures
- 05:01, 11 February 2019 (diff | hist) . . (+31) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 05:00, 11 February 2019 (diff | hist) . . (+119) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 04:58, 11 February 2019 (diff | hist) . . (+5) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 04:58, 11 February 2019 (diff | hist) . . (-4) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 04:57, 11 February 2019 (diff | hist) . . (+146) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 04:56, 11 February 2019 (diff | hist) . . (+91) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 04:55, 11 February 2019
(diff | hist) . .
**(+757)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic - 04:45, 11 February 2019 (diff | hist) . . (+39) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 03:10, 11 February 2019 (diff | hist) . . (+9) . . User:IssaRice/Computability and logic/Expresses versus captures (→Comparison of usage patterns)
- 23:55, 10 February 2019 (diff | hist) . . (+1) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:55, 10 February 2019 (diff | hist) . . (+73) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:30, 10 February 2019 (diff | hist) . . (+26) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:28, 10 February 2019 (diff | hist) . . (+40) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:26, 10 February 2019 (diff | hist) . . (+26) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:25, 10 February 2019 (diff | hist) . . (+101) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:21, 10 February 2019 (diff | hist) . . (+38) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:20, 10 February 2019 (diff | hist) . . (+38) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:19, 10 February 2019 (diff | hist) . . (+63) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:15, 10 February 2019 (diff | hist) . . (+107) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 23:06, 10 February 2019 (diff | hist) . . (+46) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:54, 10 February 2019 (diff | hist) . . (+183) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:53, 10 February 2019 (diff | hist) . . (+293) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:48, 10 February 2019 (diff | hist) . . (+144) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:48, 10 February 2019 (diff | hist) . . (+58) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:46, 10 February 2019 (diff | hist) . . (+111) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:45, 10 February 2019 (diff | hist) . . (+101) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:44, 10 February 2019 (diff | hist) . . (+51) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:43, 10 February 2019 (diff | hist) . . (+55) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:43, 10 February 2019 (diff | hist) . . (+27) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:41, 10 February 2019 (diff | hist) . . (+25) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:41, 10 February 2019 (diff | hist) . . (+204) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:40, 10 February 2019 (diff | hist) . . (+66) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:39, 10 February 2019 (diff | hist) . . (+72) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:38, 10 February 2019 (diff | hist) . . (+116) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:37, 10 February 2019
(diff | hist) . .
**(+617)** . . N User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (Created page with "This page lists some important distinctions in introductory mathematical logic. * completeness: semantically complete (complete logic; the topic of the completeness theorem)...") - 06:33, 10 February 2019 (diff | hist) . . (+32) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory) (current)
- 06:31, 10 February 2019 (diff | hist) . . (+298) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 06:28, 10 February 2019 (diff | hist) . . (-2) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 06:28, 10 February 2019 (diff | hist) . . (+447) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 06:02, 10 February 2019 (diff | hist) . . (+76) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 06:01, 10 February 2019 (diff | hist) . . (+128) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 05:39, 10 February 2019 (diff | hist) . . (-2) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 05:17, 10 February 2019 (diff | hist) . . (+15) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 05:16, 10 February 2019 (diff | hist) . . (+163) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 05:14, 10 February 2019 (diff | hist) . . (+129) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 04:35, 10 February 2019 (diff | hist) . . (+96) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle
- 04:32, 10 February 2019 (diff | hist) . . (+199) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 04:30, 10 February 2019 (diff | hist) . . (+2) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 04:30, 10 February 2019 (diff | hist) . . (+48) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Translating the Löb's theorem back to logic)
- 04:28, 10 February 2019 (diff | hist) . . (+76) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 04:28, 10 February 2019 (diff | hist) . . (+18) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 04:25, 10 February 2019 (diff | hist) . . (+397) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle
- 04:04, 10 February 2019 (diff | hist) . . (+394) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle
- 04:00, 10 February 2019 (diff | hist) . . (+157) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 03:50, 10 February 2019 (diff | hist) . . (+251) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 03:47, 10 February 2019 (diff | hist) . . (+259) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 03:43, 10 February 2019 (diff | hist) . . (+144) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 03:39, 10 February 2019 (diff | hist) . . (+163) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 03:38, 10 February 2019 (diff | hist) . . (-33) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 03:36, 10 February 2019 (diff | hist) . . (+116) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 03:35, 10 February 2019 (diff | hist) . . (+42) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Translating the puzzle using logic notation)
- 03:34, 10 February 2019 (diff | hist) . . (+113) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Translating the puzzle using logic notation)
- 03:34, 10 February 2019 (diff | hist) . . (+137) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Repeating the proof of Löb's theorem for modified theory)
- 03:33, 10 February 2019
(diff | hist) . .
**(+635)** . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle - 03:29, 10 February 2019 (diff | hist) . . (+135) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Translating the puzzle using logic notation)
- 03:27, 10 February 2019 (diff | hist) . . (-9) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Translating the puzzle using logic notation)
- 03:26, 10 February 2019
(diff | hist) . .
**(+708)** . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Translating the puzzle using logic notation) - 03:22, 10 February 2019 (diff | hist) . . (+271) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Translating the puzzle using logic notation)
- 03:19, 10 February 2019 (diff | hist) . . (+406) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle
- 03:04, 10 February 2019 (diff | hist) . . (-9) . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (→Translating the Löb's theorem back to logic)
- 03:02, 10 February 2019
(diff | hist) . .
**(+816)** . . User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle - 02:56, 10 February 2019 (diff | hist) . . (+228) . . N User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (Created page with "original link: https://web.archive.org/web/20160319050228/http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/ current LW link: https://www.lesswrong.com/posts/...")
- 21:09, 9 February 2019 (diff | hist) . . (+242) . . User:IssaRice/Computability and logic/Logic versus theory (current)
- 21:03, 9 February 2019 (diff | hist) . . (+20) . . User:IssaRice/Computability and logic/Logic versus theory
- 21:02, 9 February 2019 (diff | hist) . . (+19) . . User:IssaRice/Computability and logic/Logic versus theory
- 20:57, 9 February 2019 (diff | hist) . . (+58) . . User:IssaRice/Computability and logic/Logic versus theory
- 20:57, 9 February 2019 (diff | hist) . . (+122) . . User:IssaRice/Computability and logic/Logic versus theory
- 20:56, 9 February 2019 (diff | hist) . . (+299) . . N User:IssaRice/Computability and logic/Logic versus theory (Created page with "Many terms in mathematical logic apply to both logics and to theories. In these cases, the terms mean different things depending on what object it applies to. {| class="wikit...")
- 08:35, 9 February 2019 (diff | hist) . . (+69) . . User:IssaRice/Computability and logic/Entscheidungsproblem
- 04:31, 9 February 2019 (diff | hist) . . (+100) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 04:29, 9 February 2019 (diff | hist) . . (+98) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Proofs)
- 04:27, 9 February 2019 (diff | hist) . . (+335) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Proofs)
- 04:24, 9 February 2019 (diff | hist) . . (+149) . . User:IssaRice/Computability and logic/Entscheidungsproblem
- 04:23, 9 February 2019 (diff | hist) . . (+367) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 03:27, 9 February 2019 (diff | hist) . . (+31) . . User:IssaRice/Computability and logic/Entscheidungsproblem
- 03:27, 9 February 2019 (diff | hist) . . (+57) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 03:25, 9 February 2019 (diff | hist) . . (+56) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 03:24, 9 February 2019 (diff | hist) . . (+170) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 03:23, 9 February 2019 (diff | hist) . . (+29) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 03:08, 9 February 2019 (diff | hist) . . (+7) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 00:56, 9 February 2019 (diff | hist) . . (+65) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 00:50, 9 February 2019 (diff | hist) . . (+173) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Decidability for first-order logic versus decidability for a particular theory)
- 00:49, 9 February 2019 (diff | hist) . . (+137) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Decidability for first-order logic versus decidability for a particular theory)
- 00:47, 9 February 2019 (diff | hist) . . (+270) . . User:IssaRice/Computability and logic/Entscheidungsproblem
- 00:44, 9 February 2019 (diff | hist) . . (+243) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 00:40, 9 February 2019 (diff | hist) . . (+74) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 00:39, 9 February 2019 (diff | hist) . . (+382) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 00:36, 9 February 2019 (diff | hist) . . (+417) . . User:IssaRice/Computability and logic/Entscheidungsproblem (→Equivalent formulations)
- 00:31, 9 February 2019 (diff | hist) . . (+214) . . N User:IssaRice/Computability and logic/Entscheidungsproblem (Created page with "'''Entscheidungsproblem''', also called '''Hilbert's decision problem''' is a problem in mathematical logic. ==Equivalent formulations== {| class="wikitable" |} ==See also=...")
- 06:29, 8 February 2019 (diff | hist) . . (-6) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Quotes)
- 06:29, 8 February 2019 (diff | hist) . . (+15) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 06:28, 8 February 2019 (diff | hist) . . (+231) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Quotes)
- 06:27, 8 February 2019
(diff | hist) . .
**(+571)** . . User:IssaRice/Computability and logic/Diagonalization lemma (→Quotes) - 06:25, 8 February 2019 (diff | hist) . . (+448) . . User:IssaRice/Computability and logic/Diagonalization lemma
- 06:18, 8 February 2019 (diff | hist) . . (+123) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 06:17, 8 February 2019 (diff | hist) . . (+3) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 06:16, 8 February 2019 (diff | hist) . . (+112) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 06:15, 8 February 2019 (diff | hist) . . (+4) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 06:14, 8 February 2019 (diff | hist) . . (+112) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 06:13, 8 February 2019 (diff | hist) . . (+295) . . User:IssaRice/Computability and logic/Diagonalization lemma
- 06:10, 8 February 2019 (diff | hist) . . (+431) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 06:06, 8 February 2019 (diff | hist) . . (+335) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 06:04, 8 February 2019
(diff | hist) . .
**(+611)** . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table) - 05:23, 8 February 2019 (diff | hist) . . (-124) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 05:19, 8 February 2019 (diff | hist) . . (-78) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 05:17, 8 February 2019 (diff | hist) . . (+160) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 05:16, 8 February 2019 (diff | hist) . . (+84) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 05:15, 8 February 2019 (diff | hist) . . (+52) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 05:14, 8 February 2019 (diff | hist) . . (+43) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 05:12, 8 February 2019 (diff | hist) . . (+132) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 05:10, 8 February 2019 (diff | hist) . . (-109) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:35, 8 February 2019 (diff | hist) . . (+139) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:34, 8 February 2019 (diff | hist) . . (+86) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:33, 8 February 2019 (diff | hist) . . (+8) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:31, 8 February 2019 (diff | hist) . . (+50) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:30, 8 February 2019 (diff | hist) . . (+139) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:09, 8 February 2019 (diff | hist) . . (+66) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:06, 8 February 2019 (diff | hist) . . (+95) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:01, 8 February 2019 (diff | hist) . . (+42) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 04:00, 8 February 2019 (diff | hist) . . (+136) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:58, 8 February 2019 (diff | hist) . . (+78) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:54, 8 February 2019 (diff | hist) . . (+97) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:48, 8 February 2019 (diff | hist) . . (-9) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:47, 8 February 2019 (diff | hist) . . (+19) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:46, 8 February 2019 (diff | hist) . . (+51) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:42, 8 February 2019 (diff | hist) . . (-5) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:42, 8 February 2019 (diff | hist) . . (+5) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:42, 8 February 2019 (diff | hist) . . (+171) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:38, 8 February 2019 (diff | hist) . . (+11) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:37, 8 February 2019 (diff | hist) . . (+3) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:35, 8 February 2019 (diff | hist) . . (+56) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:33, 8 February 2019 (diff | hist) . . (+465) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Comparison table)
- 03:30, 8 February 2019
(diff | hist) . .
**(+587)** . . User:IssaRice/Computability and logic/Diagonalization lemma - 03:03, 8 February 2019 (diff | hist) . . (+281) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:46, 8 February 2019 (diff | hist) . . (+64) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:44, 8 February 2019 (diff | hist) . . (+76) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:43, 8 February 2019 (diff | hist) . . (+153) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:41, 8 February 2019 (diff | hist) . . (+118) . . User:IssaRice/Computability and logic/Diagonalization lemma
- 02:40, 8 February 2019 (diff | hist) . . (+91) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:39, 8 February 2019 (diff | hist) . . (-19) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:39, 8 February 2019 (diff | hist) . . (+96) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:30, 8 February 2019 (diff | hist) . . (+258) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem)
- 02:20, 8 February 2019 (diff | hist) . . (+274) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem)
- 02:16, 8 February 2019 (diff | hist) . . (+121) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:12, 8 February 2019 (diff | hist) . . (+57) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:12, 8 February 2019 (diff | hist) . . (+225) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:10, 8 February 2019 (diff | hist) . . (+146) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:06, 8 February 2019 (diff | hist) . . (+20) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:06, 8 February 2019 (diff | hist) . . (+168) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Diagonalization lemma)
- 02:03, 8 February 2019 (diff | hist) . . (+210) . . N User:IssaRice/Computability and logic/Diagonalization lemma (Created page with " ==Rogers's fixed point theorem== Let <math>f</math> be a total computable function. Then there exists an index <math>e</math> such that <math>\varphi_e \simeq \varphi_{f(e)}...")
- 19:30, 7 February 2019 (diff | hist) . . (+1) . . User:IssaRice/Computability and logic/Expresses versus captures (→Capturing functions)
- 19:30, 7 February 2019 (diff | hist) . . (+221) . . User:IssaRice/Computability and logic/Expresses versus captures (→Capturing functions)
- 06:20, 7 February 2019 (diff | hist) . . (+361) . . User:IssaRice/Computability and logic/Expresses versus captures (→Capturing functions)
- 06:17, 7 February 2019
(diff | hist) . .
**(+1,018)** . . User:IssaRice/Computability and logic/Expresses versus captures (→Capturing functions) - 06:08, 7 February 2019 (diff | hist) . . (+59) . . User:IssaRice/Computability and logic/Expresses versus captures
- 05:10, 7 February 2019 (diff | hist) . . (+221) . . User:IssaRice/Adverb negative adjective (current)
- 03:24, 7 February 2019 (diff | hist) . . (+150) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:34, 7 February 2019 (diff | hist) . . (+37) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:26, 7 February 2019 (diff | hist) . . (+118) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:19, 7 February 2019 (diff | hist) . . (+54) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:18, 7 February 2019 (diff | hist) . . (+39) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:17, 7 February 2019 (diff | hist) . . (+73) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:11, 7 February 2019 (diff | hist) . . (+31) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:10, 7 February 2019 (diff | hist) . . (+131) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:09, 7 February 2019 (diff | hist) . . (+23) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:07, 7 February 2019 (diff | hist) . . (+334) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:05, 7 February 2019 (diff | hist) . . (+21) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:05, 7 February 2019 (diff | hist) . . (+2) . . User:IssaRice/Computability and logic/Expresses versus captures
- 01:04, 7 February 2019 (diff | hist) . . (+431) . . N User:IssaRice/Computability and logic/Expresses versus captures (Created page with "The ''expresses versus captures'' distinction is an important one in mathematical logic, but unfortunately the terminology differs wildly between different texts. The followin...")
- 09:08, 6 February 2019 (diff | hist) . . (+263) . . User:IssaRice/Multiplicative process
- 09:04, 6 February 2019 (diff | hist) . . (+109) . . User:IssaRice/Multiplicative process
- 09:03, 6 February 2019 (diff | hist) . . (+289) . . User:IssaRice/Multiplicative process
- 08:59, 6 February 2019 (diff | hist) . . (+183) . . User:IssaRice/Multiplicative process
- 08:56, 6 February 2019 (diff | hist) . . (+67) . . User:IssaRice/Multiplicative process
- 08:55, 6 February 2019
(diff | hist) . .
**(+1,834)** . . User:IssaRice/Multiplicative process - 08:53, 6 February 2019
(diff | hist) . .
**(+792)** . . N User:IssaRice/Multiplicative process (Created page with " ==Notes== * https://www.greaterwrong.com/posts/8jwAvGtrwvKHYgoC7/the-tails-coming-apart-as-a-strategy-for-success especially [https://www.greaterwrong.com/posts/8jwAvGtrwvKH...") - 19:33, 4 February 2019 (diff | hist) . . (+29) . . User:IssaRice/Computability and logic/Function versus algorithm (→Algorithm as index) (current)
- 19:32, 4 February 2019
(diff | hist) . .
**(+686)** . . User:IssaRice/Computability and logic/Function versus algorithm (→Algorithm as index) - 19:23, 4 February 2019 (diff | hist) . . (+309) . . User:IssaRice/Computability and logic/Function versus algorithm (→Algorithm as index)
- 19:14, 4 February 2019 (diff | hist) . . (+19) . . User:IssaRice/Computability and logic/Function versus algorithm (→Algorithm as index)
- 19:13, 4 February 2019
(diff | hist) . .
**(+876)** . . User:IssaRice/Computability and logic/Function versus algorithm - 19:06, 4 February 2019 (diff | hist) . . (+258) . . User:IssaRice/Computability and logic/Function versus algorithm
- 06:15, 2 February 2019 (diff | hist) . . (+78) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations (→Completeness) (current)
- 03:41, 1 February 2019 (diff | hist) . . (+99) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations

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