wazdra

6 ms·

1. 31.▲
   by wazdra 2y ago

   I think we can all agree to disagree
2. 32.▲
   by wazdra 2y ago

   Let's hope it spreads as well :p
3. 33.▲
   by wazdra 2y ago

   excluded middle: the logical axiom that, for any proposition P, (P v ¬P) is a tautology/valid/always holds. contradiction: a proof of ⊥. The definition of ⊥ does not matter (it just means false), thanks to the ex falso quodlibet p
4. 34.▲
   by wazdra 2y ago

   > but it has standardised on that phrase! To me, the only formal distinction you can make between the two lies in the use of the excluded middle. However, this distinction has not standardised in mathematics, as many mathematicians si
5. 35.▲
   by wazdra 2y ago

   It seems to me you are missing the forest for the tree here. A society where we have open, legal access to all the cultural pieces of the last century is very different from our own. And it seems difficult to know how it would affect both t
6. 36.▲
   by wazdra 2y ago

   Indeed a great system, but oh so expensive...
7. 37.▲
   Emperor Norton(en.wikipedia.org)

   3 points by wazdra 2y ago|0 comments
8. 38.▲
   by wazdra 3y ago

   This is very nice ! I’d love to see this for French literature too
9. 39.▲
   by wazdra 3y ago

   Has someone tried using Kagi extensively in non-english languages ? I wonder how well my family would adopt it, and it depends heavily on this