Jump to content

User contributions for Silenuss

A user with 70 edits. Account created on 2 September 2018.
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

31 October 2024

30 October 2024

25 July 2024

7 March 2024

3 March 2024

2 March 2024

1 March 2024

  • 10:2110:21, 1 March 2024 diff hist −1 m Prism lighting Spelling: focussed is irregular, less common in most of the world, even in UK, according to Wiktionary Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
  • 06:3506:35, 1 March 2024 diff hist −424 Law of thought Intuitionistic logic: Changed the text to more closely match the main article because this section has serious issues. Intuitionistic logic doesn't rely on a notion of "constructive provability". Additionally, mentioning "paracompleteness" here is pointless because it redirects to the article for "Paraconsistent logic" and there's no discussion of the relevant duality here anyways. Finally, the bit about "the generalized LEM" and building metaphor are more confusing than enlightening.

29 February 2024

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