Recent changes

Jump to: navigation, search

Track the most recent changes to the wiki on this page.

Recent changes options
Legend:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes
Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 19:46, 16 February 2019
   

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)