home.social

#worldlogicday — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #worldlogicday, aggregated by home.social.

  1. There's still time to RSVP for Moshe @vardi 's #WorldLogicDay talk, Tues, Jan 20th! Join us in-person or online. He'll will discuss whether AI minds are genuine minds.

    Tues, Jan 20th @ 4pm CST (Reception following at 5pm) Rice Univ Duncan Hall

    RSVP: events.rice.edu/event/416255-m

  2. Feel the magic of #logic! 🧙‍♂️

    In “Tempus Fugit” you play a mage fighting monsters. 🧟 Which spells you can cast depends on past and future events and is expressed in a variant of linear temporal logic (LTL). #LTL is one of the most important temporal logics in computer science.

    Definitely one of my all-time-favorites among the #games that my #tuberlin students have developed!

    Play it on: games.equiv.io/2019wise-tempus

    (Happy #WorldLogicDay, AoE! 🥳)

  3. #WorldLogicDay: #Puzzle Fans - check out some of the popular resources for Math, Logic puzzles, Brain teasers, programming problems and more...

    knowledgezone.co.in/posts/Math

  4. #WorldLogicDay: #Puzzle Fans - check out some of the popular resources for Math, Logic puzzles, Brain teasers, programming problems and more...

    knowledgezone.co.in/posts/Math

  5. Today is #WorldLogicDay, so picking #MusicForToday was easy, because

    Is there any other logic ?

    Steely Dan - Pretzel Logic
    song.link/i/1440803899

  6. Happy World Logic Day to those who celebrate! 🥳 #WorldLogicDay

  7. #WorldLogicDay: #Puzzle Fans - check out some of the popular resources for Math, Logic puzzles, Brain teasers, programming problems and more...

    knowledgezone.co.in/posts/Math

  8. Join us this Friday!
    I will give a #WorldLogicDay talk, "What Came First, Math or Computing?"

    The event will be both in-person and online. For those in-person, a reception will follow.

    Register now: vardi.eventbrite.com

  9. In this #WorldLogicDay I can recommend you this excellent introduction by @consequently. It has been very useful for teaching my students.

  10. Today is Friday 13th (boo!)

    But tomorrow is both #WorldLogicDay and my birthday (hooray!)

    My age is currently a square and will tomorrow be prime. I will be very thankful for any maths facts about my new age (and even more thankful for flatteringly incorrect guesses).

  11. I just learned that tomorrow will be "World Logic Day" tomorrow, and there is a list of events all around the world: wld.cipsh.international/wld202
    Might be worth a browse if you're interested!
    #Logic #WorldLogicDay