Tweets

You blocked @LogicPractice

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @LogicPractice

  1. Jan 27

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    Undo
  2. Jan 21

    Crash course on higher-order logic, type theory, etc. ~ Theodore Sider. via

    Undo
  3. Jan 12

    Linear Logic and Permutation Stacks

    Undo
  4. Jan 8
    Undo
  5. Jan 7

    “I wish my wish would not be granted!” — Douglas Hofstadter

    Undo
  6. Jan 2

    “Attempts to form social judgments by aggregating individual expressed preferences always lead to the possibility of paradox.” — Kenneth Arrow

    Undo
  7. “A paradox is really a sophisticated magic trick.” — Matt Cook, opening line of Sleight of Mind

    Undo
  8. Dedekind’s Contributions to the Foundations of Mathematics

    Undo
  9. Undo
  10. 16 Dec 2019

    Math quote: Logic is the hygiene that mathematicians practice to keep its ideas healthy and strong. Hermann Weyl

    Undo
  11. Undo
  12. “Computer-aided cryptography is an active area of research that develops and applies formal, machine-checkable approaches to the design, analysis, and implementation of cryptography.”

    Undo
  13. 5 Dec 2019

    A probabilistic approach to satisfiability of propositional logic formulae. ~ Reazul Hasan Russel.

    Undo
  14. Undo
  15. Undo
  16. 7 Nov 2019

    Proof editor now shows you the proof tree you're building as you type proof commands

    Undo
  17. Category Theory (Stanford Encyclopedia of Philosophy). A nice introduction and overview for beginners (ht ⁦@back_end_guy⁩)

    Undo
  18. QED "Now given this...", "If given that...", Night after night the dreamer sat And showed what he would do if he Were shown some generosity. Marlow Sholander

    Undo
  19. 27 Oct 2019

    If you're interested in the history of math in general and logic in particular, this book review by Philip Davis of a book about the great Polish logician Alfred Tarski is fascinating.

    Undo
  20. Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·