# User contributions

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

- 08:18, 31 March 2019 (diff | hist) . . (+75) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Completeness)
- 08:15, 31 March 2019 (diff | hist) . . (+207) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:03, 31 March 2019 (diff | hist) . . (+389) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:54, 31 March 2019 (diff | hist) . . (+242) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating)
- 07:46, 31 March 2019 (diff | hist) . . (+199) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating)
- 07:37, 31 March 2019
(diff | hist) . .
**(+684)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating) - 07:25, 31 March 2019 (diff | hist) . . (+139) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating)
- 07:24, 31 March 2019
(diff | hist) . .
**(+754)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic - 07:18, 31 March 2019 (diff | hist) . . (+50) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:13, 31 March 2019
(diff | hist) . .
**(+516)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic - 07:06, 31 March 2019 (diff | hist) . . (+1) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Truth in intended interpretation vs truth in all interpretations)
- 07:05, 31 March 2019
(diff | hist) . .
**(+785)** . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic - 07:00, 31 March 2019 (diff | hist) . . (+95) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Completeness)
- 06:58, 31 March 2019 (diff | hist) . . (-1) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Soundness)
- 06:58, 31 March 2019 (diff | hist) . . (+15) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 06:57, 31 March 2019 (diff | hist) . . (+67) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Completeness)
- 06:56, 31 March 2019 (diff | hist) . . (+11) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 06:55, 31 March 2019 (diff | hist) . . (-93) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 06:55, 31 March 2019 (diff | hist) . . (+53) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Syntax vs semantics)
- 06:54, 31 March 2019 (diff | hist) . . (+149) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Syntax vs semantics)
- 06:53, 31 March 2019 (diff | hist) . . (-2) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Completeness)
- 06:53, 31 March 2019 (diff | hist) . . (+25) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 04:02, 31 March 2019 (diff | hist) . . (+64) . . User:IssaRice/Computability and logic/Computability of the uncountable (current)
- 20:32, 25 March 2019 (diff | hist) . . (+183) . . User:IssaRice/Computability and logic/Computability of the uncountable
- 20:25, 25 March 2019 (diff | hist) . . (+118) . . N User:IssaRice/Computability and logic/Computability of the uncountable (Created page with "* http://jdh.hamkins.org/alan-turing-on-computable-numbers/ * stillwell's reverse mathematics, p. 77 * Hay 2007, p. 31")
- 23:01, 24 March 2019 (diff | hist) . . (-1) . . User:IssaRice/Computability and logic/Bounded computation trick (current)
- 22:51, 24 March 2019 (diff | hist) . . (+26) . . User:IssaRice/Computability and logic/Bounded computation trick
- 22:30, 24 March 2019 (diff | hist) . . (+163) . . User:IssaRice/Computability and logic/Bounded computation trick
- 22:29, 24 March 2019 (diff | hist) . . (+34) . . User:IssaRice/Computability and logic/Bounded computation trick
- 22:28, 24 March 2019 (diff | hist) . . (+105) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 22:28, 24 March 2019 (diff | hist) . . (+42) . . User:IssaRice/Computability and logic/Bounded computation trick
- 22:24, 24 March 2019 (diff | hist) . . (+25) . . User:IssaRice/Computability and logic/Bounded computation trick
- 22:21, 24 March 2019 (diff | hist) . . (+136) . . User:IssaRice/Computability and logic/Bounded computation trick
- 22:08, 24 March 2019 (diff | hist) . . (+422) . . N User:IssaRice/Computability and logic/Bounded computation trick (Created page with "Instead of saying "compute this thing" you can say "compute this thing for <math>n</math> steps", then let <math>n</math> vary. This trick makes the computation bounded, which...")
- 06:55, 23 March 2019 (diff | hist) . . (0) . . User:IssaRice/Linear algebra/List of matrix products (→Elementary operation decompositions) (current)
- 06:52, 23 March 2019 (diff | hist) . . (+75) . . User:IssaRice/Linear algebra/Type checking vector spaces (current)
- 00:47, 11 March 2019
(diff | hist) . .
**(+610)** . . User:IssaRice/Computability and logic/Diagonalization lemma - 03:50, 7 March 2019 (diff | hist) . . (+123) . . User:IssaRice/Computability and logic/Diagonalization lemma
- 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

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