# User contributions

(newest | oldest) View (newer 500 | older 500) (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 (current)
- 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 (current)
- 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 (current)
- 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
- 03:40, 1 February 2019 (diff | hist) . . (+82) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 01:58, 1 February 2019 (diff | hist) . . (+48) . . User:IssaRice/Mental representations in mathematics (→Related stuff) (current)
- 01:09, 1 February 2019 (diff | hist) . . (+374) . . N User:IssaRice/Computability and logic/Theory (Created page with "In mathematical logic, '''theory''' has several related meanings. * theory as set of sentences * theory as set of sentences closed under deduction * theory as something with...") (current)
- 00:17, 1 February 2019 (diff | hist) . . (+178) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations (→Completeness)
- 00:16, 1 February 2019 (diff | hist) . . (+171) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 00:08, 1 February 2019 (diff | hist) . . (+316) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations (→Completeness)
- 00:06, 1 February 2019 (diff | hist) . . (+89) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 00:05, 1 February 2019 (diff | hist) . . (+1) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 00:05, 1 February 2019 (diff | hist) . . (+199) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 00:03, 1 February 2019 (diff | hist) . . (+62) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations (→Completeness)
- 00:01, 1 February 2019 (diff | hist) . . (+285) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:58, 31 January 2019 (diff | hist) . . (+209) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:52, 31 January 2019 (diff | hist) . . (+68) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:43, 31 January 2019 (diff | hist) . . (+104) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:42, 31 January 2019 (diff | hist) . . (+43) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:41, 31 January 2019 (diff | hist) . . (+61) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:33, 31 January 2019 (diff | hist) . . (+44) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:32, 31 January 2019 (diff | hist) . . (+247) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:29, 31 January 2019 (diff | hist) . . (+67) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:28, 31 January 2019 (diff | hist) . . (+98) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:27, 31 January 2019 (diff | hist) . . (+113) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:24, 31 January 2019 (diff | hist) . . (+149) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:23, 31 January 2019 (diff | hist) . . (+227) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:21, 31 January 2019 (diff | hist) . . (+355) . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations
- 23:19, 31 January 2019
(diff | hist) . .
**(+887)** . . User:IssaRice/Computability and logic/Intended interpretation versus all interpretations - 21:46, 30 January 2019
(diff | hist) . .
**(+1,059)** . . N User:IssaRice/Computability and logic/Intuitiveness and simplicity tradeoff (Created page with "In various places in computability and logic, there is a tradeoff between the intuitiveness of a formalization and its inherent simplicity. Some examples: * The more our ded...") (current) - 00:21, 28 January 2019 (diff | hist) . . (+49) . . User:IssaRice/Computability and logic/Models symbol (→Notes) (current)
- 21:39, 27 January 2019 (diff | hist) . . (+84) . . User:IssaRice/Computability and logic/Models symbol
- 21:38, 27 January 2019 (diff | hist) . . (-20) . . User:IssaRice/Computability and logic/Models symbol
- 21:34, 27 January 2019 (diff | hist) . . (+177) . . User:IssaRice/Computability and logic/Models symbol (→Notes)
- 21:29, 27 January 2019 (diff | hist) . . (+276) . . User:IssaRice/Computability and logic/Models symbol
- 21:26, 27 January 2019 (diff | hist) . . (+325) . . User:IssaRice/Computability and logic/Models symbol
- 21:20, 27 January 2019 (diff | hist) . . (-148) . . User:IssaRice/Computability and logic/Models symbol
- 21:19, 27 January 2019 (diff | hist) . . (+115) . . User:IssaRice/Computability and logic/Models symbol
- 21:15, 27 January 2019 (diff | hist) . . (+72) . . User:IssaRice/Computability and logic/Models symbol
- 21:15, 27 January 2019 (diff | hist) . . (+497) . . User:IssaRice/Computability and logic/Models symbol
- 21:10, 27 January 2019 (diff | hist) . . (+345) . . User:IssaRice/Computability and logic/Models symbol
- 21:07, 27 January 2019
(diff | hist) . .
**(+602)** . . User:IssaRice/Computability and logic/Models symbol - 02:32, 24 January 2019 (diff | hist) . . (+444) . . User:IssaRice/Mental representations in mathematics (→Why does this happen?)
- 02:10, 24 January 2019 (diff | hist) . . (+447) . . User:IssaRice/Strength of a mathematical statement (→Strong vs subset) (current)
- 06:50, 23 January 2019 (diff | hist) . . (+102) . . User:IssaRice/Computability and logic/Semantic completeness
- 04:12, 23 January 2019 (diff | hist) . . (+487) . . User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof (current)
- 04:08, 23 January 2019
(diff | hist) . .
**(+1,002)** . . User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof - 04:06, 23 January 2019 (diff | hist) . . (+4) . . User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof
- 03:55, 23 January 2019 (diff | hist) . . (+4) . . User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof
- 03:54, 23 January 2019
(diff | hist) . .
**(+674)** . . User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof - 03:47, 23 January 2019 (diff | hist) . . (-3) . . User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof
- 03:47, 23 January 2019 (diff | hist) . . (+460) . . User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof
- 03:41, 23 January 2019 (diff | hist) . . (+73) . . User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof
- 03:39, 23 January 2019
(diff | hist) . .
**(+1,217)** . . N User:IssaRice/Computability and logic/Comparison of intuitive notions of computability and proof (Created page with "See Boolos/Burgess/Jeffrey, p. 185. {| class="sortable wikitable" ! !! Computability !! Mathematical proof |- | Intuitive notion || effectively computable/effectively calcula...") - 07:48, 18 January 2019 (diff | hist) . . (+69) . . User:IssaRice/Strength of a mathematical statement (→Strong vs subset)
- 07:45, 18 January 2019 (diff | hist) . . (+216) . . User:IssaRice/Strength of a mathematical statement (→Strong vs subset)
- 21:25, 15 January 2019 (diff | hist) . . (+349) . . User:IssaRice/Belief propagation and cognitive biases (current)
- 03:20, 15 January 2019 (diff | hist) . . (+25) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation (current)
- 03:14, 15 January 2019 (diff | hist) . . (+276) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 03:08, 15 January 2019 (diff | hist) . . (+113) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 03:06, 15 January 2019 (diff | hist) . . (+193) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 01:46, 15 January 2019 (diff | hist) . . (+162) . . User:IssaRice/Computability and logic/Model as the representation and as that which is represented (current)
- 01:43, 15 January 2019 (diff | hist) . . (+124) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 01:39, 15 January 2019 (diff | hist) . . (+100) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 01:10, 15 January 2019 (diff | hist) . . (+91) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 01:08, 15 January 2019 (diff | hist) . . (+321) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 01:05, 15 January 2019 (diff | hist) . . (+15) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 00:38, 15 January 2019 (diff | hist) . . (+486) . . User:IssaRice/Subfield of math as study of concepts preserved under transformation
- 00:35, 15 January 2019
(diff | hist) . .
**(+736)** . . N User:IssaRice/Subfield of math as study of concepts preserved under transformation (Created page with "See https://terrytao.wordpress.com/2010/01/01/254a-notes-0-a-review-of-probability-theory/ for an articulation of the general idea. Many of the examples are from Tao's post....") - 22:50, 14 January 2019 (diff | hist) . . (+99) . . User:IssaRice/Type checking Pearl's belief propagation notation (current)
- 19:58, 14 January 2019 (diff | hist) . . (+45) . . User:IssaRice/Mental representations in mathematics (→Examples)
- 03:51, 13 January 2019 (diff | hist) . . (+217) . . User:IssaRice/Distribution of X over Y (current)
- 17:27, 10 January 2019 (diff | hist) . . (+8) . . User:IssaRice/Distribution of X over Y
- 17:26, 10 January 2019 (diff | hist) . . (+13) . . User:IssaRice/Distribution of X over Y
- 17:25, 10 January 2019 (diff | hist) . . (-7) . . User:IssaRice/Distribution of X over Y
- 17:25, 10 January 2019 (diff | hist) . . (+331) . . User:IssaRice/Distribution of X over Y
- 17:17, 10 January 2019 (diff | hist) . . (+74) . . User:IssaRice/Distribution of X over Y
- 17:16, 10 January 2019 (diff | hist) . . (+186) . . User:IssaRice/Distribution of X over Y
- 17:13, 10 January 2019 (diff | hist) . . (+380) . . User:IssaRice/Distribution of X over Y
- 17:08, 10 January 2019 (diff | hist) . . (+180) . . User:IssaRice/Distribution of X over Y
- 17:04, 10 January 2019 (diff | hist) . . (+216) . . User:IssaRice/Distribution of X over Y
- 16:59, 10 January 2019
(diff | hist) . .
**(+1,515)** . . N User:IssaRice/Distribution of X over Y (Created page with "A distribution of <math>X</math> over <math>Y</math> is any function <math>f : Y \to X</math>. Examples: * A probability distribution over a finite sample space is a distrib...") - 21:49, 9 January 2019 (diff | hist) . . (+106) . . User:IssaRice/Computability and logic/K is recursively enumerable (→Finding a partial recursive function that enumerates K) (current)
- 20:12, 9 January 2019 (diff | hist) . . (+295) . . User:IssaRice/Computability and logic/K is recursively enumerable (→Finding a partial recursive function that enumerates K)
- 20:08, 9 January 2019 (diff | hist) . . (+200) . . User:IssaRice/Computability and logic/K is recursively enumerable (→Finding a partial recursive function that enumerates K)
- 20:06, 9 January 2019 (diff | hist) . . (+59) . . User:IssaRice/Computability and logic/K is recursively enumerable (→Using programs)
- 20:06, 9 January 2019 (diff | hist) . . (+13) . . User:IssaRice/Computability and logic/K is recursively enumerable (→Finding a partial recursive function that enumerates K)
- 20:05, 9 January 2019 (diff | hist) . . (+377) . . User:IssaRice/Computability and logic/K is recursively enumerable (→Finding a partial recursive function that enumerates K)
- 20:02, 9 January 2019 (diff | hist) . . (+6) . . User:IssaRice/Computability and logic/K is recursively enumerable (→Finding a partial recursive function that enumerates K)
- 20:01, 9 January 2019 (diff | hist) . . (+31) . . User:IssaRice/Computability and logic/K is recursively enumerable
- 20:00, 9 January 2019
(diff | hist) . .
**(+878)** . . N User:IssaRice/Computability and logic/K is recursively enumerable (Created page with "<math>K := \{x : x \in W_x\}</math> ==Proofs== ===Finding a partial recursive function that enumerates ''K''=== This proof is from Enderton.<ref>Herbert Enderton. ''Computa...") - 01:42, 9 January 2019 (diff | hist) . . (+56) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions (current)
- 01:41, 9 January 2019 (diff | hist) . . (+51) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:41, 9 January 2019 (diff | hist) . . (+77) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:34, 9 January 2019 (diff | hist) . . (+317) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:31, 9 January 2019 (diff | hist) . . (+116) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:28, 9 January 2019 (diff | hist) . . (+204) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:22, 9 January 2019 (diff | hist) . . (+358) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:14, 9 January 2019 (diff | hist) . . (+99) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:13, 9 January 2019 (diff | hist) . . (+216) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:11, 9 January 2019
(diff | hist) . .
**(+909)** . . User:IssaRice/Linear algebra/Change of basis example in two dimensions - 01:05, 9 January 2019 (diff | hist) . . (+193) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:04, 9 January 2019 (diff | hist) . . (+360) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 01:00, 9 January 2019 (diff | hist) . . (+29) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:58, 9 January 2019 (diff | hist) . . (+8) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:56, 9 January 2019 (diff | hist) . . (+83) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:53, 9 January 2019 (diff | hist) . . (+126) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:47, 9 January 2019 (diff | hist) . . (+242) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:45, 9 January 2019 (diff | hist) . . (+28) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions (Undo revision 1309 by IssaRice (talk))
- 00:44, 9 January 2019 (diff | hist) . . (-28) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:42, 9 January 2019 (diff | hist) . . (+57) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:41, 9 January 2019 (diff | hist) . . (-252) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:37, 9 January 2019 (diff | hist) . . (+183) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:32, 9 January 2019 (diff | hist) . . (+395) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:27, 9 January 2019 (diff | hist) . . (+68) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:27, 9 January 2019 (diff | hist) . . (+463) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:24, 9 January 2019 (diff | hist) . . (+32) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:22, 9 January 2019 (diff | hist) . . (+108) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:17, 9 January 2019 (diff | hist) . . (+395) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:15, 9 January 2019
(diff | hist) . .
**(+846)** . . User:IssaRice/Linear algebra/Change of basis example in two dimensions - 00:12, 9 January 2019
(diff | hist) . .
**(+770)** . . User:IssaRice/Linear algebra/Change of basis example in two dimensions - 00:03, 9 January 2019 (diff | hist) . . (+125) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 00:02, 9 January 2019
(diff | hist) . .
**(+911)** . . User:IssaRice/Linear algebra/Change of basis example in two dimensions - 23:54, 8 January 2019 (diff | hist) . . (+56) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 23:54, 8 January 2019 (diff | hist) . . (+369) . . User:IssaRice/Linear algebra/Change of basis example in two dimensions
- 23:49, 8 January 2019 (diff | hist) . . (+130) . . N User:IssaRice/Linear algebra/Change of basis example in two dimensions (Created page with "This example comes from [https://www.youtube.com/watch?v=P2LTAUO1TdA&index=12&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab this video].")
- 23:46, 8 January 2019 (diff | hist) . . (+152) . . User:IssaRice/Linear algebra/Riesz representation theorem (current)
- 21:43, 8 January 2019 (diff | hist) . . (+193) . . User:IssaRice/Belief propagation and cognitive biases
- 22:53, 6 January 2019 (diff | hist) . . (+10) . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix (current)
- 22:52, 6 January 2019 (diff | hist) . . (0) . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix
- 22:52, 6 January 2019 (diff | hist) . . (+263) . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix
- 22:48, 6 January 2019
(diff | hist) . .
**(+585)** . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix - 22:20, 6 January 2019
(diff | hist) . .
**(+903)** . . N User:IssaRice/Linear algebra/Matrix of a linear transformation (Created page with "==Notation== Axler writes <math>\mathcal M(T, (v_1,\ldots, v_n), (u_1, \ldots, u_m))</math>. Axler never abbreviates bases, although if he did, the notation would look like <...") (current) - 22:00, 6 January 2019 (diff | hist) . . (+47) . . User:IssaRice/Linear algebra/List of matrix products (→Change of coordinate decompositions)
- 20:53, 6 January 2019 (diff | hist) . . (+87) . . User:IssaRice/Mental representations in mathematics (→Why does this happen?)
- 20:49, 6 January 2019 (diff | hist) . . (+62) . . User:IssaRice/Mental representations in mathematics (→Why does this happen?)
- 18:47, 6 January 2019 (diff | hist) . . (+377) . . User:IssaRice/Linear algebra/List of matrix products (→Elementary operation decompositions)
- 18:44, 6 January 2019 (diff | hist) . . (+205) . . User:IssaRice/Linear algebra/List of matrix products (→Change of basis decompositions)
- 18:42, 6 January 2019 (diff | hist) . . (+231) . . User:IssaRice/Linear algebra/List of matrix products
- 18:31, 6 January 2019 (diff | hist) . . (-8) . . User:IssaRice/Linear algebra/List of matrix products
- 18:28, 6 January 2019 (diff | hist) . . (+62) . . User:IssaRice/Linear algebra/List of matrix products
- 18:21, 6 January 2019 (diff | hist) . . (+31) . . User:IssaRice/Linear algebra/List of matrix products
- 17:50, 6 January 2019 (diff | hist) . . (+326) . . User:IssaRice/Linear algebra/List of matrix products
- 17:47, 6 January 2019 (diff | hist) . . (+16) . . User:IssaRice/Linear algebra/List of matrix products
- 17:47, 6 January 2019 (diff | hist) . . (+257) . . User:IssaRice/Linear algebra/List of matrix products
- 17:39, 6 January 2019 (diff | hist) . . (+21) . . User:IssaRice/Linear algebra/Riesz representation theorem
- 17:36, 6 January 2019 (diff | hist) . . (+308) . . User:IssaRice/Linear algebra/Riesz representation theorem
- 17:34, 6 January 2019 (diff | hist) . . (0) . . User:IssaRice/Linear algebra/Riesz representation theorem
- 17:33, 6 January 2019 (diff | hist) . . (0) . . User:IssaRice/Linear algebra/Riesz representation theorem
- 17:33, 6 January 2019 (diff | hist) . . (+92) . . User:IssaRice/Linear algebra/Riesz representation theorem
- 17:31, 6 January 2019 (diff | hist) . . (+28) . . User:IssaRice/Linear algebra/Riesz representation theorem
- 17:30, 6 January 2019 (diff | hist) . . (+209) . . User:IssaRice/Linear algebra/Riesz representation theorem
- 17:28, 6 January 2019
(diff | hist) . .
**(+624)** . . N User:IssaRice/Linear algebra/Riesz representation theorem (Created page with "Let's take the case where <math>V = \mathbf R^n</math> and the inner product is the usual dot product. What does the Riesz representation theorem say in this case? It says tha...") - 17:21, 6 January 2019 (diff | hist) . . (+244) . . User:IssaRice/Linear algebra/List of matrix products
- 17:18, 6 January 2019 (diff | hist) . . (+128) . . User:IssaRice/Linear algebra/List of matrix products
- 17:10, 6 January 2019 (diff | hist) . . (+63) . . User:IssaRice/Linear algebra/List of matrix products
- 17:08, 6 January 2019 (diff | hist) . . (+126) . . User:IssaRice/Linear algebra/List of matrix products
- 17:06, 6 January 2019 (diff | hist) . . (-3) . . User:IssaRice/Linear algebra/List of matrix products
- 17:06, 6 January 2019 (diff | hist) . . (-6) . . User:IssaRice/Linear algebra/List of matrix products
- 16:50, 6 January 2019 (diff | hist) . . (+88) . . User:IssaRice/Linear algebra/List of matrix products
- 16:47, 6 January 2019 (diff | hist) . . (+2) . . User:IssaRice/Linear algebra/List of matrix products
- 16:47, 6 January 2019 (diff | hist) . . (+138) . . User:IssaRice/Linear algebra/List of matrix products
- 16:44, 6 January 2019 (diff | hist) . . (+40) . . User:IssaRice/Linear algebra/List of matrix products
- 16:04, 6 January 2019 (diff | hist) . . (+454) . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix
- 15:42, 6 January 2019 (diff | hist) . . (+205) . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix
- 15:39, 6 January 2019 (diff | hist) . . (-1) . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix
- 15:38, 6 January 2019 (diff | hist) . . (+87) . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix
- 15:37, 6 January 2019 (diff | hist) . . (+138) . . User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix
- 15:34, 6 January 2019
(diff | hist) . .
**(+762)** . . N User:IssaRice/Linear algebra/Invertible equals expressible as change of coordinate matrix (Created page with "Let <math>T : \mathbf F^n \to \mathbf F^n</math>. We want to write <math>T</math> as a change of coordinate matrix, i.e. as <math>[I]_\beta^{\beta'}</math> for some appropriat...") - 15:26, 6 January 2019 (diff | hist) . . (0) . . User:IssaRice/Linear algebra/List of matrix products
- 15:25, 6 January 2019 (diff | hist) . . (+52) . . User:IssaRice/Linear algebra/List of matrix products
- 05:05, 4 January 2019 (diff | hist) . . (+79) . . User:IssaRice/Belief propagation and cognitive biases
- 04:30, 4 January 2019
(diff | hist) . .
**(+680)** . . User:IssaRice/Belief propagation and cognitive biases - 22:01, 3 January 2019 (diff | hist) . . (+305) . . User:IssaRice/Type checking Pearl's belief propagation notation (→Probability of a random variable)
- 21:59, 3 January 2019 (diff | hist) . . (+219) . . User:IssaRice/Mental representations in mathematics (→Related stuff)
- 20:46, 3 January 2019 (diff | hist) . . (+426) . . User:IssaRice/Type checking Pearl's belief propagation notation (→Evidence)
- 20:42, 3 January 2019 (diff | hist) . . (+306) . . User:IssaRice/Type checking Pearl's belief propagation notation (→Evidence)
- 00:13, 3 January 2019 (diff | hist) . . (+371) . . User:IssaRice/Linear algebra/Classification of operators (current)
- 00:02, 3 January 2019 (diff | hist) . . (+116) . . User:IssaRice/Linear algebra/Classification of operators
- 23:56, 2 January 2019 (diff | hist) . . (+138) . . User:IssaRice/Linear algebra/Classification of operators
- 23:46, 2 January 2019 (diff | hist) . . (0) . . User:IssaRice/Linear algebra/Classification of operators
- 23:46, 2 January 2019 (diff | hist) . . (+29) . . User:IssaRice/Linear algebra/Classification of operators
- 23:44, 2 January 2019
(diff | hist) . .
**(+550)** . . User:IssaRice/Linear algebra/Classification of operators - 23:40, 2 January 2019 (diff | hist) . . (+27) . . User:IssaRice/Linear algebra/Classification of operators
- 23:40, 2 January 2019 (diff | hist) . . (+49) . . User:IssaRice/Linear algebra/Classification of operators
- 23:35, 2 January 2019
(diff | hist) . .
**(+632)** . . User:IssaRice/Linear algebra/Classification of operators - 23:31, 2 January 2019 (diff | hist) . . (+475) . . N User:IssaRice/Linear algebra/Classification of operators (Created page with "Let <math>V</math> be a finite-dimensional inner product space, and let <math>T : V \to V</math> be a linear transformation. {| class="sortable wikitable" |- ! Operator name...")
- 21:58, 2 January 2019 (diff | hist) . . (+51) . . User:IssaRice/Linear algebra/List of matrix products
- 21:57, 2 January 2019 (diff | hist) . . (+63) . . User:IssaRice/Linear algebra/List of matrix products
- 21:54, 2 January 2019 (diff | hist) . . (+136) . . User:IssaRice/Linear algebra/List of matrix products
- 21:51, 2 January 2019 (diff | hist) . . (+69) . . User:IssaRice/Linear algebra/List of matrix products
- 21:49, 2 January 2019 (diff | hist) . . (+119) . . User:IssaRice/Linear algebra/List of matrix products
- 21:48, 2 January 2019 (diff | hist) . . (+296) . . User:IssaRice/Linear algebra/List of matrix products
- 21:42, 2 January 2019 (diff | hist) . . (+85) . . User:IssaRice/Linear algebra/List of matrix products
- 21:40, 2 January 2019 (diff | hist) . . (+146) . . User:IssaRice/Linear algebra/List of matrix products
- 21:35, 2 January 2019 (diff | hist) . . (+324) . . N User:IssaRice/Linear algebra/List of matrix products (Created page with "{| class="sortable wikitable" |- ! Product name !! Matrix notation !! Linear transformation/basis notation |- | || <math>QDQ^{-1}</math> where <math>Q</math> is invertible and...")
- 21:29, 2 January 2019 (diff | hist) . . (0) . . m User:IssaRice/Linear algebra/Properties of a list of vectors and their images (IssaRice moved page User:IssaRice/Properties of a list of vectors and their images to User:IssaRice/Linear algebra/Properties of a list of vectors and their images) (current)
- 21:29, 2 January 2019 (diff | hist) . . (+91) . . N User:IssaRice/Properties of a list of vectors and their images (IssaRice moved page User:IssaRice/Properties of a list of vectors and their images to User:IssaRice/Linear algebra/Properties of a list of vectors and their images) (current)
- 21:28, 2 January 2019 (diff | hist) . . (0) . . m User:IssaRice/Linear algebra/Type checking vector spaces (IssaRice moved page User:IssaRice/Type checking vector spaces to User:IssaRice/Linear algebra/Type checking vector spaces)
- 21:28, 2 January 2019 (diff | hist) . . (+70) . . N User:IssaRice/Type checking vector spaces (IssaRice moved page User:IssaRice/Type checking vector spaces to User:IssaRice/Linear algebra/Type checking vector spaces) (current)
- 21:28, 2 January 2019 (diff | hist) . . (0) . . m User:IssaRice/Linear algebra/Outline of linear algebra (IssaRice moved page User:IssaRice/Outline of linear algebra to User:IssaRice/Linear algebra/Outline of linear algebra) (current)
- 21:28, 2 January 2019 (diff | hist) . . (+68) . . N User:IssaRice/Outline of linear algebra (IssaRice moved page User:IssaRice/Outline of linear algebra to User:IssaRice/Linear algebra/Outline of linear algebra) (current)
- 21:27, 2 January 2019 (diff | hist) . . (+122) . . N User:IssaRice/Linear algebra/ (Created page with "Index of pages in this directory: {{Special:PrefixIndex/User:IssaRice/Linear_algebra/ | hideredirects=1 | stripprefix=1}}") (current)
- 20:12, 2 January 2019 (diff | hist) . . (+53) . . User:IssaRice/Mental representations in mathematics (→Examples)
- 06:21, 2 January 2019 (diff | hist) . . (+34) . . User:IssaRice/Mental representations in mathematics (→Related stuff)
- 06:20, 2 January 2019 (diff | hist) . . (+229) . . User:IssaRice/Mental representations in mathematics (→Why does this happen?)
- 05:49, 2 January 2019 (diff | hist) . . (+30) . . User:IssaRice/Mental representations in mathematics
- 05:48, 2 January 2019 (diff | hist) . . (+126) . . User:IssaRice/Mental representations in mathematics
- 05:45, 2 January 2019 (diff | hist) . . (+235) . . User:IssaRice/Mental representations in mathematics
- 05:43, 2 January 2019
(diff | hist) . .
**(+1,177)** . . N User:IssaRice/Mental representations in mathematics (Created page with "I think people don't talk enough about mental representations of objects in math, and I think it's horrible! This is closely related to how people don't talk enough about thei...") - 04:19, 2 January 2019 (diff | hist) . . (+253) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 04:16, 2 January 2019
(diff | hist) . .
**(+528)** . . User:IssaRice/Computability and logic/Summary table of sets in computability - 02:50, 2 January 2019 (diff | hist) . . (+121) . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images
- 02:44, 2 January 2019
(diff | hist) . .
**(+535)** . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images - 02:38, 2 January 2019 (diff | hist) . . (0) . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images
- 02:35, 2 January 2019 (diff | hist) . . (+479) . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images
- 02:29, 2 January 2019 (diff | hist) . . (+436) . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images
- 01:55, 2 January 2019 (diff | hist) . . (+50) . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images
- 01:48, 2 January 2019 (diff | hist) . . (+100) . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images
- 01:46, 2 January 2019 (diff | hist) . . (+449) . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images
- 01:44, 2 January 2019 (diff | hist) . . (+292) . . User:IssaRice/Linear algebra/Properties of a list of vectors and their images
- 01:43, 2 January 2019 (diff | hist) . . (+283) . . N User:IssaRice/Linear algebra/Properties of a list of vectors and their images (Created page with "Let <math>V</math> and <math>W</math> be two finite-dimensional vector spaces, let <math>T : V \to W</math> be a linear transformation, and let <math>v_1, \ldots, v_n</math> b...")
- 23:59, 1 January 2019 (diff | hist) . . (+128) . . User:IssaRice/Adverb negative adjective
- 23:28, 1 January 2019 (diff | hist) . . (+323) . . N User:IssaRice/Computability and logic/K (set of natural numbers) (Created page with "In computability theory, the set <math>K</math> is defined as <math>K := \{x : x \in W_x\}</math>, where <math>W_0, W_1, \ldots</math> is a standard numbering of recursively e...") (current)
- 21:53, 1 January 2019 (diff | hist) . . (+485) . . User:IssaRice/Linear algebra/Type checking vector spaces
- 21:38, 1 January 2019 (diff | hist) . . (+5) . . User:IssaRice/Linear algebra/Type checking vector spaces
- 21:38, 1 January 2019 (diff | hist) . . (+56) . . User:IssaRice/Linear algebra/Type checking vector spaces
- 21:30, 1 January 2019 (diff | hist) . . (+276) . . User:IssaRice/Linear algebra/Type checking vector spaces
- 21:22, 1 January 2019
(diff | hist) . .
**(+573)** . . N User:IssaRice/Linear algebra/Type checking vector spaces (Created page with "If <math>V</math> is an arbitrary vector space, it does not in general make sense to ask whether <math>v \in V</math> is a string of numbers. If <math>v \in \mathbf R^n</math...") - 06:52, 28 December 2018 (diff | hist) . . (+272) . . User:IssaRice/Tiers of learning in mathematics (current)
- 06:15, 27 December 2018 (diff | hist) . . (+98) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 06:08, 27 December 2018 (diff | hist) . . (+92) . . User:IssaRice/Colon-equals allows directionality (current)
- 01:34, 27 December 2018 (diff | hist) . . (+34) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 00:06, 27 December 2018 (diff | hist) . . (+60) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 00:02, 27 December 2018 (diff | hist) . . (+38) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 22:55, 26 December 2018 (diff | hist) . . (+171) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 22:51, 26 December 2018 (diff | hist) . . (+53) . . User:IssaRice/Linear algebra/Outline of linear algebra
- 22:50, 26 December 2018 (diff | hist) . . (+7) . . User:IssaRice/Linear algebra/Outline of linear algebra (→Second half of linear algebra)
- 22:49, 26 December 2018 (diff | hist) . . (+38) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 22:47, 26 December 2018 (diff | hist) . . (+78) . . User:IssaRice/Linear algebra/Outline of linear algebra (→Second half of linear algebra)
- 22:43, 26 December 2018 (diff | hist) . . (+68) . . User:IssaRice/Linear algebra/Outline of linear algebra (→Second half of linear algebra)
- 22:42, 26 December 2018 (diff | hist) . . (+41) . . User:IssaRice/Linear algebra/Outline of linear algebra (→Second half of linear algebra)
- 22:41, 26 December 2018 (diff | hist) . . (+7) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 22:40, 26 December 2018 (diff | hist) . . (+35) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 22:39, 26 December 2018 (diff | hist) . . (+30) . . User:IssaRice/Linear algebra/Outline of linear algebra (→Second half of linear algebra)
- 22:39, 26 December 2018 (diff | hist) . . (+24) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 22:38, 26 December 2018 (diff | hist) . . (+57) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 22:38, 26 December 2018 (diff | hist) . . (+166) . . User:IssaRice/Linear algebra/Outline of linear algebra (→First half of linear algebra)
- 22:36, 26 December 2018
(diff | hist) . .
**(+1,094)** . . N User:IssaRice/Linear algebra/Outline of linear algebra (Created page with "==Two approaches to linear algebra== * Coordinate-based approach: looks at concrete matrices, more emphasis on computation, works a lot in the standard basis. If linear algeb...") - 21:17, 24 December 2018
(diff | hist) . .
**(-4,343)** . . User:IssaRice/Understanding definitions (Redirected page to learning:Understanding mathematical definitions) (current) - 23:44, 23 December 2018 (diff | hist) . . (+358) . . User:IssaRice/Computability and logic/Model as the representation and as that which is represented
- 23:37, 23 December 2018
(diff | hist) . .
**(+1,310)** . . User:IssaRice/Computability and logic/Model as the representation and as that which is represented - 22:15, 23 December 2018 (diff | hist) . . (+17) . . User:IssaRice/Computability and logic/Model as the representation and as that which is represented
- 22:07, 23 December 2018 (diff | hist) . . (+204) . . User:IssaRice/Computability and logic/Model as the representation and as that which is represented
- 22:03, 23 December 2018 (diff | hist) . . (-9) . . User:IssaRice/Computability and logic/Model as the representation and as that which is represented
- 22:03, 23 December 2018 (diff | hist) . . (-26) . . User:IssaRice/Computability and logic/Model as the representation and as that which is represented
- 22:01, 23 December 2018
(diff | hist) . .
**(+677)** . . User:IssaRice/Computability and logic/Model as the representation and as that which is represented - 21:54, 23 December 2018
(diff | hist) . .
**(+1,411)** . . N User:IssaRice/Computability and logic/Model as the representation and as that which is represented (Created page with "From the preface (written by Jesús Mosterín) of María Manzano's ''Model Theory'' (p. ix): <blockquote>In ordinary language, as well as in scientific language the word ''mo...") - 20:54, 21 December 2018 (diff | hist) . . (+78) . . User:IssaRice/Computability and logic/Models symbol
- 20:01, 21 December 2018 (diff | hist) . . (+294) . . N User:IssaRice/Computability and logic/Intended interpretation versus all interpretations (Created page with "Something I have found tricky in mathematical logic is that some theorems/propositions apply to just the intended/standard interpretation (structure), while others are about a...")
- 07:12, 21 December 2018 (diff | hist) . . (+374) . . User:IssaRice/Computability and logic/Gödel's completeness theorem
- 05:55, 21 December 2018 (diff | hist) . . (+74) . . User:IssaRice/Computability and logic/Gödel's completeness theorem
- 05:50, 21 December 2018 (diff | hist) . . (+83) . . User:IssaRice/Computability and logic/Gödel's completeness theorem
- 05:49, 21 December 2018 (diff | hist) . . (+284) . . N User:IssaRice/Computability and logic/Gödel's completeness theorem (Created page with "I'm confused about the following framing: "The completeness theorem says that, if a bunch of sentences is consistent in the sense of not entailing a contradiction [in a standa...")
- 05:41, 21 December 2018 (diff | hist) . . (+94) . . User:IssaRice/Computability and logic/Semantic completeness
- 05:41, 21 December 2018 (diff | hist) . . (+142) . . User:IssaRice/Computability and logic/Semantic completeness (→Definition)
- 05:31, 21 December 2018 (diff | hist) . . (+10) . . User:IssaRice/Computability and logic/Semantic completeness
- 05:29, 21 December 2018 (diff | hist) . . (+439) . . User:IssaRice/Computability and logic/Semantic completeness (→Definition)
- 05:27, 21 December 2018 (diff | hist) . . (+31) . . User:IssaRice/Computability and logic/Semantic completeness
- 05:26, 21 December 2018 (diff | hist) . . (+293) . . User:IssaRice/Computability and logic/Semantic completeness
- 05:18, 21 December 2018 (diff | hist) . . (+88) . . User:IssaRice/Computability and logic/Semantic completeness
- 05:17, 21 December 2018 (diff | hist) . . (+111) . . N User:IssaRice/Computability and logic/Semantic completeness (Created page with "Semantic completeness is sometimes written as: if <math>T \models \phi</math>, then <math>T \vdash \phi</math>.")
- 05:14, 21 December 2018 (diff | hist) . . (+1) . . User:IssaRice/Computability and logic/Models symbol
- 05:13, 21 December 2018
(diff | hist) . .
**(+988)** . . N User:IssaRice/Computability and logic/Models symbol (Created page with "The "models" symbol, <math>\models</math> is used for several purposes in mathematical logic. * If <math>\mathfrak A</math> is a structure/interpretation and <math>\phi</math...") - 05:07, 21 December 2018 (diff | hist) . . (+19) . . User:IssaRice/Computability and logic/Least search operator (current)
- 05:07, 21 December 2018 (diff | hist) . . (+138) . . User:IssaRice/Computability and logic/Least search operator (→Definition)
- 05:04, 21 December 2018
(diff | hist) . .
**(+659)** . . N User:IssaRice/Computability and logic/Least search operator (Created page with "The '''least search operator''', '''minimzation operator''', or '''μ-operator''' is used in computability theory to define new functions. The least search operator allows us...") - 02:30, 19 December 2018 (diff | hist) . . (+91) . . User:IssaRice/Adverb negative adjective
- 18:11, 18 December 2018 (diff | hist) . . (+131) . . N User:IssaRice/Computability and logic/ (Created page with "Index of pages in this directory: {{Special:PrefixIndex/User:IssaRice/Computability_and_logic/ | hideredirects=1 | stripprefix=1}}") (current)
- 07:13, 18 December 2018 (diff | hist) . . (-2) . . User:IssaRice/Computability and logic/S–m–n theorem
- 07:10, 18 December 2018 (diff | hist) . . (+109) . . User:IssaRice/Computability and logic/S–m–n theorem
- 07:08, 18 December 2018 (diff | hist) . . (+16) . . User:IssaRice (current)
- 07:07, 18 December 2018 (diff | hist) . . (+17) . . N User:IssaRice/Computability and logic/Function versus algorithm (Created page with "write this later.")
- 07:06, 18 December 2018 (diff | hist) . . (+8) . . User:IssaRice/Computability and logic/S–m–n theorem (→Etymology)
- 07:05, 18 December 2018 (diff | hist) . . (+48) . . User:IssaRice/Computability and logic/S–m–n theorem
- 06:58, 18 December 2018 (diff | hist) . . (+442) . . N User:IssaRice/Computability and logic/Index and program (Created page with "In computability theory, if we have some numbering <math>\varphi_0, \varphi_1, \varphi_2, \ldots</math> of computable partial functions then...") (current)
- 06:51, 18 December 2018 (diff | hist) . . (-1) . . User:IssaRice/Computability and logic/S–m–n theorem
- 06:51, 18 December 2018 (diff | hist) . . (+325) . . User:IssaRice/Computability and logic/S–m–n theorem
- 06:47, 18 December 2018 (diff | hist) . . (+3) . . User:IssaRice/Computability and logic/Diagonalization out of a class (current)

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