User contributions for Jean Abou Samra
A user with 97 edits. Account created on 3 May 2020.
3 May 2024
- 13:5013:50, 3 May 2024 diff hist +11 m New Foundations PA ≠ ZF ?!
- 13:1313:13, 3 May 2024 diff hist +6 m Axiom of choice Citation needed
- 13:0513:05, 3 May 2024 diff hist +343 m Axiom of choice Improve unclear sentence by giving explicit examples
- 09:4009:40, 3 May 2024 diff hist +38 m Intuitionistic type theory Mention MLTT acronym current
26 April 2024
- 23:0623:06, 26 April 2024 diff hist −2 Mortal matrix Use new article Tag: Redirect target changed
25 April 2024
- 08:5908:59, 25 April 2024 diff hist +20 m Matrix mortality problem Add missing date
- 08:0808:08, 25 April 2024 diff hist +33 m Matrix mortality problem Add "mortal matrix problem" alt terminology
- 07:5907:59, 25 April 2024 diff hist −4 Matrix mortality problem Extraneous word Tags: Mobile edit Mobile web edit
24 April 2024
- 10:3310:33, 24 April 2024 diff hist −633 Zero matrix Matrix mortality moved to an article of its own, doesn't look important enough to still mention here current
- 10:3210:32, 24 April 2024 diff hist +1,650 Matrix mortality problem Add more special cases
- 09:5009:50, 24 April 2024 diff hist −524 List of undecidable problems Move content to new article on matrix mortality
- 09:4609:46, 24 April 2024 diff hist +1 Mortal matrix problem Redirect to new page on matrix mortality current Tag: Redirect target changed
- 09:3909:39, 24 April 2024 diff hist −255 m Mortality (computability theory) Move para about matrix mortality to a new article current
- 09:3809:38, 24 April 2024 diff hist +691 N Matrix mortality problem Create
22 April 2024
- 12:0912:09, 22 April 2024 diff hist +8 m DNS-based Authentication of Named Entities Request date
15 April 2024
- 20:3520:35, 15 April 2024 diff hist +7 FVWM Imho this partly sounds promotional, especially intro, feature list and "notable users" Tags: Mobile edit Mobile web edit
11 April 2024
- 16:3016:30, 11 April 2024 diff hist +19 m Conservative extension Request citation
20 March 2024
- 21:1321:13, 20 March 2024 diff hist −79 Warrant canary →See also: Remove contraposition link, doesn't really make sense to link a technical article about logic here current Tags: Mobile edit Mobile web edit
- 07:4907:49, 20 March 2024 diff hist +6 m Cairo (graphics) Oops, syntax current
- 07:4907:49, 20 March 2024 diff hist +133 m Cairo (graphics) Pointer to Pango, improve ref
11 March 2024
- 13:4813:48, 11 March 2024 diff hist +68 Rice–Shapiro theorem →Approximating by ultimately zero functions: Improve writing, the lemma is used with different functions Tags: Mobile edit Mobile web edit
- 13:4413:44, 11 March 2024 diff hist −8 Rice–Shapiro theorem →Proof of the Kreisel-Lacombe-Shoenfield-Tseitin theorem: Not a sketch either Tags: Mobile edit Mobile web edit
- 13:4313:43, 11 March 2024 diff hist −8 Rice–Shapiro theorem →Proof of the Rice-Shapiro theorem: Not a sketch anymore... Tags: Mobile edit Mobile web edit
- 13:3813:38, 11 March 2024 diff hist −10 Rice–Shapiro theorem →Upward closedness: Slight fix Tags: Mobile edit Mobile web edit
- 13:3513:35, 11 March 2024 diff hist +2 Rice–Shapiro theorem →Examples: Fix syntax Tags: Mobile edit Mobile web edit
- 13:3513:35, 11 March 2024 diff hist +151 Rice–Shapiro theorem →Examples: Add KLST examples Tags: Mobile edit Mobile web edit
- 12:5312:53, 11 March 2024 diff hist +5,996 Rice–Shapiro theorem Add KLST proof
10 March 2024
- 22:0522:05, 10 March 2024 diff hist −70 m Rice–Shapiro theorem Misc corrections
- 21:0321:03, 10 March 2024 diff hist −133 Rice–Shapiro theorem Streamline compactness proof
- 20:4520:45, 10 March 2024 diff hist 0 m Rice–Shapiro theorem Typo
- 18:3118:31, 10 March 2024 diff hist 0 m Rice–Shapiro theorem Fix markup (oops again)
- 18:1518:15, 10 March 2024 diff hist +3 m Rice–Shapiro theorem Grammar
- 18:1018:10, 10 March 2024 diff hist +416 Rice–Shapiro theorem Add examples
- 17:3217:32, 10 March 2024 diff hist +295 m Rice–Shapiro theorem Add Tseitin reference
- 17:2517:25, 10 March 2024 diff hist +362 m Rice–Shapiro theorem One more reference
- 17:1517:15, 10 March 2024 diff hist +6 Rice–Shapiro theorem Add page number
- 17:0917:09, 10 March 2024 diff hist +3,896 Rice–Shapiro theorem Add proof of Rice-Shapiro Tag: Disambiguation links added
- 13:0913:09, 10 March 2024 diff hist −15 m Rice–Shapiro theorem Remove now empty section
- 13:0813:08, 10 March 2024 diff hist +2,189 Rice–Shapiro theorem Import application from "Rice's theorem" page
- 12:5712:57, 10 March 2024 diff hist −25 m Rice's theorem Remove now empty section
- 12:4112:41, 10 March 2024 diff hist +353 Rice–Shapiro theorem Fix statement of KLST, it was accidentally weaker than the actual theorem
- 12:3412:34, 10 March 2024 diff hist −5,019 Rice's theorem Moved Kreisel-Lacombe-Shoenfield-Tseitin theorem to "Rice-Shapiro theorem" page since it's closer to Rice-Shapiro
- 12:2412:24, 10 March 2024 diff hist +2,218 Rice–Shapiro theorem Add Kreisel-Lacombe-Shoenfield-Tseitin theorem
- 02:4102:41, 10 March 2024 diff hist −111 Rice's theorem Remove dubious or redundant references
- 02:3502:35, 10 March 2024 diff hist +21 m Rice's theorem Fix φ letter
- 02:3402:34, 10 March 2024 diff hist +3 m Rice–Shapiro theorem Fix phi letter
- 02:3202:32, 10 March 2024 diff hist −458 Rice–Shapiro theorem Improve vague statements in intro, streamline statement
- 02:1202:12, 10 March 2024 diff hist +5 m Rice's theorem Avoid contractions
- 02:0302:03, 10 March 2024 diff hist −2,030 Rice's theorem Remove redundant, vague and questionable section
- 01:4901:49, 10 March 2024 diff hist −964 Rice's theorem Simplify proof, don't recall details of Kleene's recursion thm (they're in the dedicated article)