Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @LogicPractice
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @LogicPractice
-
Logic & Applications Retweeted
Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see https://github.com/coq/coq for the proper channels for bug reports or technical discussion. This account is community-managed by
@ejgallego,@falsenov, and@Zimm_i48. Have fun!Thanks. Twitter will use this to make your timeline better. UndoUndo -
Logic & Applications Retweeted
Crash course on higher-order logic, type theory, etc. ~ Theodore Sider. http://tedsider.org/teaching/higher_order_20/higher_order_crash_course.pdf …
#Logic via@RrrichardZachThanks. Twitter will use this to make your timeline better. UndoUndo -
Linear Logic and Permutation Stacks http://home.pipeline.com/~hbaker1/ForthStack.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Logic & Applications Retweeted
A Cambrian Explosion of Crypto Proofshttps://nakamoto.com/cambrian-explosion-of-crypto-proofs/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
“I wish my wish would not be granted!” — Douglas Hofstadter
Thanks. Twitter will use this to make your timeline better. UndoUndo -
“Attempts to form social judgments by aggregating individual expressed preferences always lead to the possibility of paradox.” — Kenneth Arrow
Thanks. Twitter will use this to make your timeline better. UndoUndo -
“A paradox is really a sophisticated magic trick.” — Matt Cook, opening line of Sleight of Mind
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Logic & Applications Retweeted
Dedekind’s Contributions to the Foundations of Mathematics https://plato.stanford.edu/entries/dedekind-foundations/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
List of statements independent of ZFC https://en.wikipedia.org/wiki/List_of_statements_independent_of_ZFC …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Logic & Applications Retweeted
Math quote: Logic is the hygiene that mathematicians practice to keep its ideas healthy and strong. Hermann Weyl
Thanks. Twitter will use this to make your timeline better. UndoUndo -
TLA+ for startups (part 1)https://medium.com/koodoo/tla-for-startups-part-1-8b162863824b …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
“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.” https://eprint.iacr.org/2019/1393
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Logic & Applications Retweeted
A probabilistic approach to satisfiability of propositional logic formulae. ~ Reazul Hasan Russel. https://arxiv.org/abs/1912.02150
#Logic#ATP#SATThanks. Twitter will use this to make your timeline better. UndoUndo -
A Computability Proof of Gödel’s First Incompleteness Theoremhttps://medium.com/cantors-paradise/a-computability-proof-of-g%C3%B6dels-first-incompleteness-theorem-2d685899117c …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Logic & Applications Retweeted
Proof editor now shows you the proof tree you're building as you type proof commands https://personal.cis.strath.ac.uk/robert.atkey/cs208/2019/nd/natural-deduction.html …pic.twitter.com/WCwj8ohPSN
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Logic & Applications Retweeted
Category Theory (Stanford Encyclopedia of Philosophy). A nice introduction and overview for beginners (ht @back_end_guy) https://plato.stanford.edu/entries/category-theory/#BrieHistSket …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Logic & Applications Retweeted
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. https://bit.ly/2MProAk
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Logic & Applications RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
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.