Recent changes
Track the most recent changes to the wiki on this page.
14 February 2019
23:11 | Do operator (3 changes | history) . . (+1,637) . . [IssaRice (3×)] | |
23:11 (cur | prev) . . (+536) . . IssaRice (talk | contribs) | ||
23:07 (cur | prev) . . (+368) . . IssaRice (talk | contribs) | ||
23:04 (cur | prev) . . (+733) . . IssaRice (talk | contribs) |
05:37 | User:IssaRice/Computability and logic/List of important distinctions in mathematical logic (3 changes | history) . . (+729) . . [IssaRice (3×)] | |
05:37 (cur | prev) . . (+177) . . IssaRice (talk | contribs) | ||
05:31 (cur | prev) . . (+86) . . IssaRice (talk | contribs) | ||
05:16 (cur | prev) . . (+466) . . IssaRice (talk | contribs) |
13 February 2019
07:59 | User:IssaRice/Computability and logic/List of important distinctions in mathematical logic (diff | hist) . . (+108) . . IssaRice (talk | contribs) |
11 February 2019
05:47 | User:IssaRice/Computability and logic/Expresses versus captures (3 changes | history) . . (+222) . . [IssaRice (3×)] | |
05:47 (cur | prev) . . (+67) . . IssaRice (talk | contribs) (→Comparison of usage patterns) | ||
05:38 (cur | prev) . . (+146) . . IssaRice (talk | contribs) | ||
03:10 (cur | prev) . . (+9) . . IssaRice (talk | contribs) (→Comparison of usage patterns) |
05:01 | User:IssaRice/Computability and logic/List of important distinctions in mathematical logic (8 changes | history) . . (+1,184) . . [IssaRice (8×)] | |
05:01 (cur | prev) . . (+31) . . IssaRice (talk | contribs) | ||
05:00 (cur | prev) . . (+119) . . IssaRice (talk | contribs) | ||
04:58 (cur | prev) . . (+5) . . IssaRice (talk | contribs) | ||
04:58 (cur | prev) . . (-4) . . IssaRice (talk | contribs) | ||
04:57 (cur | prev) . . (+146) . . IssaRice (talk | contribs) | ||
04:56 (cur | prev) . . (+91) . . IssaRice (talk | contribs) | ||
04:55 (cur | prev) . . (+757) . . IssaRice (talk | contribs) | ||
04:45 (cur | prev) . . (+39) . . IssaRice (talk | contribs) |
10 February 2019
N 23:55 | User:IssaRice/Computability and logic/List of important distinctions in mathematical logic (26 changes | history) . . (+2,682) . . [IssaRice (26×)] | |
23:55 (cur | prev) . . (+1) . . IssaRice (talk | contribs) | ||
23:55 (cur | prev) . . (+73) . . IssaRice (talk | contribs) | ||
23:30 (cur | prev) . . (+26) . . IssaRice (talk | contribs) | ||
23:28 (cur | prev) . . (+40) . . IssaRice (talk | contribs) | ||
23:26 (cur | prev) . . (+26) . . IssaRice (talk | contribs) | ||
23:25 (cur | prev) . . (+101) . . IssaRice (talk | contribs) | ||
23:21 (cur | prev) . . (+38) . . IssaRice (talk | contribs) | ||
23:20 (cur | prev) . . (+38) . . IssaRice (talk | contribs) | ||
23:19 (cur | prev) . . (+63) . . IssaRice (talk | contribs) | ||
23:15 (cur | prev) . . (+107) . . IssaRice (talk | contribs) | ||
23:06 (cur | prev) . . (+46) . . IssaRice (talk | contribs) | ||
22:54 (cur | prev) . . (+183) . . IssaRice (talk | contribs) | ||
22:53 (cur | prev) . . (+293) . . IssaRice (talk | contribs) | ||
22:48 (cur | prev) . . (+144) . . IssaRice (talk | contribs) | ||
22:48 (cur | prev) . . (+58) . . IssaRice (talk | contribs) | ||
22:46 (cur | prev) . . (+111) . . IssaRice (talk | contribs) | ||
22:45 (cur | prev) . . (+101) . . IssaRice (talk | contribs) | ||
22:44 (cur | prev) . . (+51) . . IssaRice (talk | contribs) | ||
22:43 (cur | prev) . . (+55) . . IssaRice (talk | contribs) | ||
22:43 (cur | prev) . . (+27) . . IssaRice (talk | contribs) | ||
22:41 (cur | prev) . . (+25) . . IssaRice (talk | contribs) | ||
22:41 (cur | prev) . . (+204) . . IssaRice (talk | contribs) | ||
22:40 (cur | prev) . . (+66) . . IssaRice (talk | contribs) | ||
22:39 (cur | prev) . . (+72) . . IssaRice (talk | contribs) | ||
22:38 (cur | prev) . . (+116) . . IssaRice (talk | contribs) | ||
N | 22:37 (cur | prev) . . (+617) . . IssaRice (talk | contribs) (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 | User:IssaRice/Computability and logic/Eliezer Yudkowsky's Löb's theorem puzzle (6 changes | history) . . (+979) . . [IssaRice (6×)] | |
06:33 (cur | prev) . . (+32) . . IssaRice (talk | contribs) (→Repeating the proof of Löb's theorem for modified theory) | ||
06:31 (cur | prev) . . (+298) . . IssaRice (talk | contribs) (→Repeating the proof of Löb's theorem for modified theory) | ||
06:28 (cur | prev) . . (-2) . . IssaRice (talk | contribs) (→Repeating the proof of Löb's theorem for modified theory) | ||
06:28 (cur | prev) . . (+447) . . IssaRice (talk | contribs) (→Repeating the proof of Löb's theorem for modified theory) | ||
06:02 (cur | prev) . . (+76) . . IssaRice (talk | contribs) (→Repeating the proof of Löb's theorem for modified theory) | ||
06:01 (cur | prev) . . (+128) . . IssaRice (talk | contribs) (→Repeating the proof of Löb's theorem for modified theory) |