|
Logic & Applications
@
LogicPractice
Houston, TX
|
|
Logic and applications of logic from @JohnDCook
|
|
|
552
Tweets
|
7
Following
|
12,558
Followers
|
| Tweets |
| Logic & Applications retweeted | ||
|
The Coq proof assistant
@CoqLang
|
Jan 27 |
|
Hello all! Welcome to Coq's official Twitter!
We will share exciting news and events related to Coq; see 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!
|
||
|
|
||
| Logic & Applications retweeted | ||
|
José A. Alonso
@Jose_A_Alonso
|
Jan 21 |
|
Crash course on higher-order logic, type theory, etc. ~ Theodore Sider. tedsider.org/teaching/highe… #Logic via @RrrichardZach
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
Jan 12 |
|
Linear Logic and Permutation Stacks
home.pipeline.com/~hbaker1/Forth…
|
||
|
|
||
| Logic & Applications retweeted | ||
|
Stephen Pimentel
@StephenPiment
|
Jan 8 |
|
A Cambrian Explosion of Crypto Proofs
nakamoto.com/cambrian-explo…
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
Jan 7 |
|
“I wish my wish would not be granted!” — Douglas Hofstadter
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
Jan 2 |
|
“Attempts to form social judgments by aggregating individual expressed preferences always lead to the possibility of paradox.” — Kenneth Arrow
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
Dec 25 |
|
“A paradox is really a sophisticated magic trick.” — Matt Cook, opening line of Sleight of Mind
|
||
|
|
||
| Logic & Applications retweeted | ||
|
Philosophy Article
@sep_articles
|
Dec 24 |
|
Dedekind’s Contributions to the Foundations of Mathematics plato.stanford.edu/entries/dedeki…
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
Dec 19 |
|
List of statements independent of ZFC
en.wikipedia.org/wiki/List_of_s…
|
||
|
|
||
| Logic & Applications retweeted | ||
|
math prof
@mathematicsprof
|
Dec 16 |
|
Math quote: Logic is the hygiene that mathematicians practice to keep its ideas healthy and strong. Hermann Weyl
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
Dec 9 |
|
TLA+ for startups (part 1)
medium.com/koodoo/tla-for…
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
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.”
eprint.iacr.org/2019/1393
|
||
|
|
||
| Logic & Applications retweeted | ||
|
José A. Alonso
@Jose_A_Alonso
|
Dec 5 |
|
A probabilistic approach to satisfiability of propositional logic formulae. ~ Reazul Hasan Russel. arxiv.org/abs/1912.02150 #Logic #ATP #SAT
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
Dec 2 |
|
A Computability Proof of Gödel’s First Incompleteness Theorem
medium.com/cantors-paradi…
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
Nov 9 |
|
Gödel, Leibniz, and God
medium.com/however-mathem…
|
||
|
|
||
| Logic & Applications retweeted | ||
|
|
Bob Atkey
@bentnib
|
Nov 7 |
|
Proof editor now shows you the proof tree you're building as you type proof commands personal.cis.strath.ac.uk/robert.atkey/c… pic.twitter.com/WCwj8ohPSN
|
||
|
|
||
| Logic & Applications retweeted | ||
|
Steven Strogatz
@stevenstrogatz
|
Nov 3 |
|
Category Theory (Stanford Encyclopedia of Philosophy). A nice introduction and overview for beginners (ht @back_end_guy) plato.stanford.edu/entries/catego…
|
||
|
|
||
|
Logic & Applications
@LogicPractice
|
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
|
||
|
|
||
| Logic & Applications retweeted | ||
|
math prof
@mathematicsprof
|
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. bit.ly/2MProAk
|
||
|
|
||
| Logic & Applications retweeted | ||
|
🇯🇵_ジャック
@Iceland_jack
|
Oct 7 |
|
|
||
|
|
||