Logic & Applications

@LogicPractice

Logic and applications of logic from

Houston, TX
JohnDCook.com/logic
Vrijeme pridruživanja: rujan 2016.
18 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @LogicPractice

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @LogicPractice

  1. proslijedio/la je Tweet
    prije 22 sata

    List of open and free logic textbooks. ~ Richard Zach ().

    17 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    27. sij

    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!

    1 reply 86 proslijeđenih tweetova 135 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    21. sij

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

    1 reply 9 proslijeđenih tweetova 32 korisnika označavaju da im se sviđa
    Poništi
  4. 12. sij

    Linear Logic and Permutation Stacks

    5 proslijeđenih tweetova 11 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    9. sij

    A Cambrian Explosion of Crypto Proofs

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  6. 7. sij

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

    1 reply 13 proslijeđenih tweetova 37 korisnika označava da im se sviđa
    Poništi
  7. 2. sij

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

    9 proslijeđenih tweetova 28 korisnika označava da im se sviđa
    Poništi
  8. 25. pro 2019.

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

    12 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    24. pro 2019.

    Dedekind’s Contributions to the Foundations of Mathematics

    1 reply 7 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
    Poništi
  10. 19. pro 2019.

    List of statements independent of ZFC

    1 reply 5 proslijeđenih tweetova 11 korisnika označava da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    16. pro 2019.

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

    7 replies 76 proslijeđenih tweetova 244 korisnika označavaju da im se sviđa
    Poništi
  12. 9. pro 2019.

    TLA+ for startups (part 1)

    7 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  13. 6. pro 2019.

    “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.”

    4 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    5. pro 2019.

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

    3 proslijeđena tweeta 10 korisnika označava da im se sviđa
    Poništi
  15. 2. pro 2019.

    A Computability Proof of Gödel’s First Incompleteness Theorem

    11 proslijeđenih tweetova 33 korisnika označavaju da im se sviđa
    Poništi
  16. 9. stu 2019.

    Gödel, Leibniz, and God

    1 reply 10 proslijeđenih tweetova 35 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    7. stu 2019.

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

    5 replies 63 proslijeđena tweeta 208 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    3. stu 2019.

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

    54 proslijeđena tweeta 166 korisnika označava da im se sviđa
    Poništi
  19. 1. stu 2019.

    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

    7 proslijeđenih tweetova 8 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    27. lis 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.

    7 replies 54 proslijeđena tweeta 233 korisnika označavaju da im se sviđa
    Poništi

@LogicPractice još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·