User contributions for ElskverdigHug
A user with 55 edits. Account created on 24 February 2022.
22 April 2024
- 20:0220:02, 22 April 2024 diff hist −870 List of logic symbols No edit summary current
- 16:0216:02, 22 April 2024 diff hist +326 m Mutual exclusivity →Logic current
- 14:3214:32, 22 April 2024 diff hist +97 m Mutual exclusivity →Probability
16 April 2024
- 15:0215:02, 16 April 2024 diff hist +224 List of logic symbols No edit summary
15 April 2024
- 11:2511:25, 15 April 2024 diff hist −3 User talk:ElskverdigHug No edit summary current
- 11:2411:24, 15 April 2024 diff hist −3 User:ElskverdigHug No edit summary current
13 April 2024
- 21:1821:18, 13 April 2024 diff hist 0 m List of colors: G–M No edit summary current
12 April 2024
- 08:2908:29, 12 April 2024 diff hist +30 Template:Color space No edit summary
11 April 2024
- 10:4810:48, 11 April 2024 diff hist −1 m List of colors: G–M No edit summary
- 10:3010:30, 11 April 2024 diff hist −9 m Indigo I updated the colour source in the information panel/sidebar since the dark purple indigo colour given by W3C is not the one being displayed.
- 01:1101:11, 11 April 2024 diff hist +13 N User talk:ElskverdigHug ←Created page with 'My talk page.'
- 01:1101:11, 11 April 2024 diff hist +13 N User:ElskverdigHug ←Created page with 'My user page.'
10 April 2024
- 17:1017:10, 10 April 2024 diff hist 0 m List of colors: G–M No edit summary
- 17:0717:07, 10 April 2024 diff hist 0 m Indigo Undid revision 1218227855 by ElskverdigHug (talk) Tag: Undo
- 15:0915:09, 10 April 2024 diff hist +2 List of colors: G–M No edit summary
- 14:1014:10, 10 April 2024 diff hist 0 Indigo Just slightly less purple (the indigo colour bar), perhaps it's more balanced now. Tag: Reverted
- 11:5911:59, 10 April 2024 diff hist +332 Indigo A slight modification to the indigo colour bar. The previous colour I tried to give the bar is out of the sRGB colour space. This new colour was obtained via the open source colour-science project, using the CIECAM16 248:2022 standard conversion to sRGB values.
9 April 2024
- 12:3412:34, 9 April 2024 diff hist 0 Indigo Slight tweak on the colour bar (289 to 288 degrees on the hue parameter of CIE's CAM16), slightly less purple.
- 11:5611:56, 9 April 2024 diff hist 0 Indigo I modified the colour bar above the image. The new colour is based on CIE's CAM16 colour space at a hue degree of 289 at full chroma. I believe this hue is more accurate, as it compensates for the Abney effect.
20 March 2024
- 11:5211:52, 20 March 2024 diff hist +26 Skolem's paradox The paradoxical result and its mathematical implications. I have added a paragraph going into detail on why the 'paradox' isn't a contradiction. current
- 10:5410:54, 20 March 2024 diff hist +1,566 Skolem's paradox →The paradoxical result and its mathematical implications
15 March 2024
- 10:2910:29, 15 March 2024 diff hist −120 Zermelo–Fraenkel set theory I removed the definition of 'complement of A' in the table in the Formal language section because it seems to lead to Russell's paradox.
- 05:1205:12, 15 March 2024 diff hist +207 Zermelo–Fraenkel set theory (formal language section) changing the lowercase letters to uppercase and aesthetics
- 04:4404:44, 15 March 2024 diff hist −483 Zermelo–Fraenkel set theory correcting a previous error (for example, a = b is an atomic formula, not atomic sentence), and some aesthetics
14 March 2024
- 02:0302:03, 14 March 2024 diff hist −301 Zermelo–Fraenkel set theory Corrections
- 00:3000:30, 14 March 2024 diff hist +186 Zermelo–Fraenkel set theory Some minor corrections and improving clarity
12 March 2024
- 22:5922:59, 12 March 2024 diff hist +1,907 Zermelo–Fraenkel set theory I tried to bridge the gap between set-builder notation and the formal language. Most textbooks overlook this. Automated theorem provers like metamath may serve as citation sources.
11 March 2024
- 22:3222:32, 11 March 2024 diff hist +1,884 Zermelo–Fraenkel set theory I created a section talking about the formal language in detail, as I think it's vital for understanding ZFC. Tag: Disambiguation links added
10 March 2024
- 03:3503:35, 10 March 2024 diff hist −100 Axiom of infinity No edit summary
25 February 2024
- 12:3912:39, 25 February 2024 diff hist +66 m Axiom of choice No edit summary Tag: Reverted
8 February 2024
- 22:0222:02, 8 February 2024 diff hist +38 m Function (mathematics) I specified that a 'total relation' meant 'serial relation' and not 'connected relation'.
5 February 2024
- 15:4215:42, 5 February 2024 diff hist −13 m Axiom of infinity made the axiom look a bit easier to read
2 February 2024
- 10:2610:26, 2 February 2024 diff hist +743 Axiom of choice →Variants
1 February 2024
- 00:0200:02, 1 February 2024 diff hist −940 I Ching divination →Modified Three-coin method: This is a simpler three-coin method that requires only one check per flip. Tag: Reverted
19 January 2024
- 01:5601:56, 19 January 2024 diff hist +74 24 (number) No edit summary Tag: Reverted
- 01:4201:42, 19 January 2024 diff hist +127 24 (number) No edit summary Tag: Reverted
7 January 2024
- 15:0915:09, 7 January 2024 diff hist −56 List of logic symbols corrected a minor mistake (I think that's it for today, hope i have helped)
- 15:0515:05, 7 January 2024 diff hist +1,306 List of logic symbols again, just trying to improve the page's aesthetics and useful information (i'm bored)
- 13:5113:51, 7 January 2024 diff hist +296 List of logic symbols just completing the squares with missing information
- 11:5711:57, 7 January 2024 diff hist +1,135 List of logic symbols No edit summary
- 07:3907:39, 7 January 2024 diff hist +880 List of logic symbols I made everything in the basic symbols table look more neat. I also removed ■ and □ for the ⊤ and ⊥ sections, because no one uses ■ or □ to denote ⊤ or ⊥. But feel free to add them back if you feel differently about them. Tag: Disambiguation links added
6 January 2024
- 19:4019:40, 6 January 2024 diff hist +252 m List of logic symbols changed my mind on removing ■ and □, I added them back
- 18:3318:33, 6 January 2024 diff hist +210 List of logic symbols Changed the ↔≡ order to match →⊃. Swapped the order of ⊻ and ↮ to be consistent with "Glossary of mathematical symbols". Removed ■ and □ because it's subjective (many would say white (lighted up) means T and black (lights off) means F). Added additional comments on ∃! and ⊬.
4 January 2024
- 14:4114:41, 4 January 2024 diff hist +621 List of logic symbols I moved the ⊬ and ⊭ to the basic symbols because these are quite common. I moved ∴ and ∵ too because they are in the "common logic symbols" slider at the bottom. Perhaps the biggest change is moving □ and ◇. I decided to move those because, contrary to the symbols in the "advanced and rare" section which are almost never used, the use of □ and ◇ is pretty standard in any modal logic. Also modal logic is very popular in philosophy. I think it's well deserving for □ and ◇ to be there.
- 12:4812:48, 4 January 2024 diff hist +628 Talk:List of logic symbols →I think we should remove some symbols: new section Tag: New topic
- 12:2112:21, 4 January 2024 diff hist +339 m List of logic symbols I added the symbols ⟚ and ⊩, changed the quotation marks to curly instead of straight (“example”) and removed a redundant entry for the □ modal operator.
25 July 2023
- 05:1205:12, 25 July 2023 diff hist +475 Talk:X →For the love of God, maintain the letter X as the main redirection for when someone searches for 'X': new section Tag: New topic
11 June 2023
- 07:5707:57, 11 June 2023 diff hist +603 Wikipedia:Manual of Style/Spelling/Words ending with "-ise" or "-ize" I added about a dozen new words to the -ise/-ize list. Sorry for not making all these changes in one big edit, I'm basically brainstorming and trying to think of all the -ise/-ize words that are missing. current
- 07:2007:20, 11 June 2023 diff hist +88 Wikipedia:Manual of Style/Spelling/Words ending with "-ise" or "-ize" added virtualise, vocalise, tantalise and removed analyse because it ends with -yse/-yze. In BrE all words ending in -yse/-yze are spelled -yse (so that's an easy rule to remember). But words ending in -ise/-ize can be spelled as either, depending on the style guide (Oxford).
- 07:0307:03, 11 June 2023 diff hist +38 Wikipedia:Manual of Style/Spelling/Words ending with "-ise" or "-ize" added empathise, emphasise, memorise, scrutinise