Twitter | Search | |
Logic & Applications
Logic and applications of logic from
552
Tweets
7
Following
12,558
Followers
Tweets
Logic & Applications retweeted
The Coq proof assistant 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!
Reply Retweet Like
Logic & Applications retweeted
José A. Alonso Jan 21
Crash course on higher-order logic, type theory, etc. ~ Theodore Sider. via
Reply Retweet Like
Logic & Applications Jan 12
Linear Logic and Permutation Stacks
Reply Retweet Like
Logic & Applications retweeted
Stephen Pimentel Jan 8
A Cambrian Explosion of Crypto Proofs
Reply Retweet Like
Logic & Applications Jan 7
“I wish my wish would not be granted!” — Douglas Hofstadter
Reply Retweet Like
Logic & Applications Jan 2
“Attempts to form social judgments by aggregating individual expressed preferences always lead to the possibility of paradox.” — Kenneth Arrow
Reply Retweet Like
Logic & Applications Dec 25
“A paradox is really a sophisticated magic trick.” — Matt Cook, opening line of Sleight of Mind
Reply Retweet Like
Logic & Applications retweeted
Philosophy Article Dec 24
Dedekind’s Contributions to the Foundations of Mathematics
Reply Retweet Like
Logic & Applications Dec 19
List of statements independent of ZFC
Reply Retweet Like
Logic & Applications retweeted
math prof Dec 16
Math quote: Logic is the hygiene that mathematicians practice to keep its ideas healthy and strong. Hermann Weyl
Reply Retweet Like
Logic & Applications Dec 9
TLA+ for startups (part 1)
Reply Retweet Like
Logic & Applications Dec 6
“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.”
Reply Retweet Like
Logic & Applications retweeted
José A. Alonso Dec 5
A probabilistic approach to satisfiability of propositional logic formulae. ~ Reazul Hasan Russel.
Reply Retweet Like
Logic & Applications Dec 2
A Computability Proof of Gödel’s First Incompleteness Theorem
Reply Retweet Like
Logic & Applications Nov 9
Gödel, Leibniz, and God
Reply Retweet Like
Logic & Applications retweeted
Bob Atkey Nov 7
Proof editor now shows you the proof tree you're building as you type proof commands
Reply Retweet Like
Logic & Applications retweeted
Steven Strogatz Nov 3
Category Theory (Stanford Encyclopedia of Philosophy). A nice introduction and overview for beginners (ht ⁦@back_end_guy⁩)
Reply Retweet Like
Logic & Applications Nov 1
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
Reply Retweet Like
Logic & Applications retweeted
math prof Oct 27
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.
Reply Retweet Like
Logic & Applications retweeted
🇯🇵_ジャック Oct 7
Reply Retweet Like