User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 17:37, 11 May 2019 (diff | hist) . . (+5) . . User:IssaRice/Computability and logic/Semantic completeness (→Proof) (current)
- 08:47, 28 April 2019 (diff | hist) . . (+473) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→algorithm vs program vs index vs Godel number) (current)
- 08:54, 26 April 2019 (diff | hist) . . (-14) . . User:IssaRice/Computability and logic/Characterization of recursively enumerable sets (current)
- 08:04, 26 April 2019 (diff | hist) . . (+59) . . User:IssaRice/Computability and logic/Summary table of sets in computability (current)
- 08:03, 26 April 2019 (diff | hist) . . (+23) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:03, 26 April 2019 (diff | hist) . . (+44) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:02, 26 April 2019 (diff | hist) . . (+10) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:01, 26 April 2019 (diff | hist) . . (+9) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:00, 26 April 2019 (diff | hist) . . (+15) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:00, 26 April 2019 (diff | hist) . . (+22) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:59, 26 April 2019 (diff | hist) . . (+6) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:59, 26 April 2019 (diff | hist) . . (0) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:58, 26 April 2019 (diff | hist) . . (+45) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:57, 26 April 2019 (diff | hist) . . (+36) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:55, 26 April 2019 (diff | hist) . . (+87) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating)
- 07:48, 26 April 2019 (diff | hist) . . (+173) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→notes)
- 07:46, 26 April 2019 (diff | hist) . . (+117) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Sentence vs wff vs formula vs closed formula)
- 07:43, 26 April 2019 (diff | hist) . . (+28) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Syntax vs semantics)
- 07:41, 26 April 2019 (diff | hist) . . (+170) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Completeness)
- 11:43, 25 April 2019 (diff | hist) . . (+18) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Language, logic, formal system, system, theory, structure)
- 11:42, 25 April 2019 (diff | hist) . . (+55) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Language, logic, formal system, system, theory, structure)
- 08:23, 25 April 2019 (diff | hist) . . (+68) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:22, 25 April 2019 (diff | hist) . . (+49) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:07, 25 April 2019 (diff | hist) . . (+1) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:04, 25 April 2019 (diff | hist) . . (+69) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 08:02, 25 April 2019 (diff | hist) . . (0) . . m User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (IssaRice moved page User:IssaRice/Computability and logic/List of important distinctions in mathematical logic to User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic)
- 08:02, 25 April 2019 (diff | hist) . . (+131) . . N User:IssaRice/Computability and logic/List of important distinctions in mathematical logic (IssaRice moved page User:IssaRice/Computability and logic/List of important distinctions in mathematical logic to User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic) (current)
- 07:58, 25 April 2019 (diff | hist) . . (+75) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating)
- 07:55, 25 April 2019 (diff | hist) . . (+155) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Language, logic, formal system, system, theory, structure)
- 07:54, 25 April 2019 (diff | hist) . . (+165) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Language, logic, formal system, system, theory, structure)
- 07:53, 25 April 2019 (diff | hist) . . (+16) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:48, 25 April 2019 (diff | hist) . . (+112) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→The models symbol)
- 07:43, 25 April 2019 (diff | hist) . . (-111) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→notes)
- 07:42, 25 April 2019 (diff | hist) . . (+127) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:41, 25 April 2019 (diff | hist) . . (-5) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:41, 25 April 2019 (diff | hist) . . (+108) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:40, 25 April 2019 (diff | hist) . . (+144) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:39, 25 April 2019 (diff | hist) . . (+980) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Diagonalization redpill)
- 07:31, 25 April 2019 (diff | hist) . . (+29) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:30, 25 April 2019 (diff | hist) . . (+493) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:23, 25 April 2019 (diff | hist) . . (+98) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:21, 25 April 2019 (diff | hist) . . (+74) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:21, 25 April 2019 (diff | hist) . . (+17) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:19, 25 April 2019 (diff | hist) . . (+250) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Sentence vs wff vs formula vs closed formula)
- 07:18, 25 April 2019 (diff | hist) . . (+111) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Completeness)
- 07:15, 25 April 2019 (diff | hist) . . (+1,382) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
- 07:00, 25 April 2019 (diff | hist) . . (+119) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→algorithm vs program vs index vs Godel number)
- 07:39, 24 April 2019 (diff | hist) . . (+183) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→theory vs axioms)
- 07:37, 24 April 2019 (diff | hist) . . (+280) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→theory vs axioms)
- 07:35, 24 April 2019 (diff | hist) . . (+932) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
