• 0 Posts
  • 128 Comments
Joined 2 years ago
cake
Cake day: June 26th, 2024

help-circle



  • Gladaed@feddit.orgtoWikipedia@lemmy.world•List of computer books
    link
    fedilink
    English
    arrow-up
    2
    ·
    edit-2
    12 days ago

    Do informatics people use a different quantor syntax? ¬∃x(∀y(y∈x↔y∉y)) Doesn’t make any statement. The not shouldn’t be in the front. That doesn’t parse. You say: “not exists x[from undefined] such that for all y[from undefined][lack of |]y element from x exactly when y is not element in y” Round braces don’t belong.







  • Gladaed@feddit.orgtoWikipedia@lemmy.world•Centre Party
    link
    fedilink
    English
    arrow-up
    1
    arrow-down
    1
    ·
    29 days ago

    You are speaking without knowledge of the politics of the time. Those people existed in the context of their time and were a center standing against monarchists and fascists on the right and communists (stalinists) and socialists on the left. They did vote for Hitler, but this doesn’t put them in the far right. The core lesson about the rise of fascism isn’t that everybody is far right but about what the middle of the political spectrum does.