Logic & Applications @LogicPractice
Logic and applications of logic from @JohnDCook JohnDCook.com/logic Houston, TX Joined September 2016-
Tweets2K
-
Followers28K
-
Following8
-
Likes8
Seven normal forms in logic johndcook.com/blog/seven-nor…
0
2
21
569
6
View Details
All human beings are different. All apathetic people are indifferent. Therefore, no apathetic people are human beings. -- Solomon Golomb
Kurt Godel Created a hurdle For the truths of a system: You just can't list 'em! -- Steven Cushing
The equivalence A ≡ B in linear logic means the formula (A ⊸ B) & (B ⊸ A) is derivable.
Software Foundations cis.upenn.edu/~bcpierce/sf/c… #coq
'You can sway a thousand men by appealing to their prejudices quicker than you can convince one man by logic.' -- Robert A. Heinlein
How much can Boolean expressions be simplified? johndcook.com/blog/2020/11/1…
Logic & Applications retweeted
'Logic, like whiskey, loses its beneficial effect when taken in too large quantities.' -- Edward Plunkett
Where did combinators come from? writings.stephenwolfram.com/2020/12/where-…
TLA: Temporal Logic of Actions research.microsoft.com/en-us/um/peopl…
Logic & Applications retweeted
New post: Privacy Policies and Modal Logic johndcook.com/blog/2026/10/0…
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs arxiv.org/abs/2610.08144
The diamond symbol <> in modal logic can be interpreted as possibility, e.g. <>P means 'it is possible that P holds.'
Logic & Applications retweeted
A topological model for provability logic johndcook.com/blog/2026/10/0…
Coq proof of Feit-Thompson theorem msr-inria.fr/news/feit-thom…
In linear logic, the implication A -> B can be read 'consuming A produces B.' Sometimes written with the 'lollipop' symbol for linear implication.
Logic & Applications retweeted
Topological models of modal logic johndcook.com/blog/2026/10/0…
Modal logic axiom cube johndcook.com/blog/2022/01/2…
“Combinators … continue to seem exotic and abstruse—and somehow fundamentally unsuitable for human consumption.” — Stephen Wolfram
Analysis Fact @AnalysisFact
135K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Computer Science @CompSciFact
250K Followers 17 Following Daily tweets about computer science and related stuff @JohnDCook.
Topology Fact @TopologyFact
74K Followers 19 Following Tweets on topology and geometry from @JohnDCook.
Data Science Fact @DataSciFact
195K Followers 19 Following Daily data science tweets from @JohnDCook.
the finite physicist @FinitePhysicist
70K Followers 362 Following theoretical particle physics & phenomenology || don't sleep through dreams that can come true
Signal Processing @DSP_fact
34K Followers 18 Following Digital signal processing, acoustics, Fourier analysis, etc.
Functor Fact @FunctorFact
27K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Unix tool tip @UnixToolTip
83K Followers 19 Following Tips on Unix utilities and related topics from @JohnDCook.
TeX and Typography @TeXtip
50K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
Science and Medicine @ScienceTip
41K Followers 19 Following Daily post on science and medicine from @JohnDCook
Sam Walters ☕️ @SamuelGWalters
14K Followers 475 Following 🇨🇦 Math prof. Former Chair of Math-Stat Dept at the University of Northern B.C. (Mar 2016 - Jun 2020). Christian🎄.
Network Fact @NetworkFact
46K Followers 19 Following Daily tweets about networks, graph theory, and related topics from @JohnDCook
Frank Nielsen @FrnkNlsn
44K Followers 2K Following AI Science is Real! Information Geometry, Information Theory, Geometric Science of Information, HPC @SonyCSL
Regular Expression @RegexTip
74K Followers 19 Following Learn to use regular expressions by following RegexTip. From @JohnDCook.
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Satnam Singh @satnam6502
24K Followers 3K Following Scottish-Punjabi-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Medical Vocabulary @MedVocab
50K Followers 19 Following Learn medical vocabulary a little bit at a time. From @JohnDCook.
Abhishek Kumar @Abhishek1988Kr
15 Followers 284 Following #Programmer by Profession #Indian by Nationality #BihariYouth by Heart #TechnologyLover #India❤️🇮🇳
M Bos @BosMattias
0 Followers 88 Following
Abbas Bhatti @_Abbas_Bhatti
0 Followers 8 Following
The Lower Slobbovian ... @bald_iggle
15 Followers 49 Following fan of Lil'Abner ... and the land of the free
StrangeInvariant @StInvariant
4 Followers 49 Following
B0B0 @bob_solok
204 Followers 370 Following
lkejrkltjrlektj @lei_meng80052
1 Followers 10 Following
Efe @Chrizee16
83 Followers 3K Following
warithi @bycryptik
2 Followers 573 Following diseñar | desarrollar | dibujar arte y aplicaciones por mí. no se permite IA.
Fuad Suleymanli @fuadsuleymanli
0 Followers 44 Following
𐙚 𝕼𝖆𝖋𝖆 @QaFa06
0 Followers 58 Following
λlain.bit @lainbit
295 Followers 1K Following trying to be a christian + learning V8 javascript engine out of curiosity + sharing my several random thoughts + i'm practicing english + i hate web views
thiago cardoso @thiagoc901212
0 Followers 137 Following
Javier Arredondo Mont... @JavierA18718780
131 Followers 2K Following
Mathematics-ONCE (SCI... @mathematicsonce
390 Followers 2K Following "Love ain't a science, don't need no license" - TWICE, 2021 In Math since 2016, ONCE since 2025. 🇮🇩 Mathematics Olympiad/OSN: SD 2019 🥉 SMP 2022 🥈 SMA 2025 F
Saichand @ImSaichand53
40 Followers 1K Following Cybersecurity professional | Hunting threats & chasing curiosity 🕵️♂️ 🌎 Places I want to explore: 🇨🇴 🇮🇳 🇺🇸 🇦🇺 🇮🇸 🇬🇧 🇸🇻 🇪🇸 🇦🇷 🇵🇷 🇨🇭
Joseph @josephakayesi
448 Followers 625 Following senior software engineer | distributed systems & infra
Khamees Bin Abubakar @Khamsus2
132 Followers 1K Following Web3 Researcher Community Builder and Airdrop Hunter Learning, Building and Earning In Web3.0, Long Term Holder.
Ignasi Agut @IgnasiAgut
135 Followers 688 Following
Samuel Hsu @oriented_topos
3 Followers 35 Following
Richard Cook @rr_cook
120 Followers 229 Following
Olivier Messiaen @messiaen1900
38 Followers 182 Following
yiyiranc @yiyiranc
0 Followers 17 Following
. @mhp1267
38 Followers 844 Following
de jure du jour @dejuredujour
0 Followers 277 Following
kembo serge @KemboSerge80557
131 Followers 5K Following
Jack @JackExist4
16 Followers 109 Following I detest infinity. Also, I like to program... a lot. plus race down mountains
Abs @jamesjull
12 Followers 12 Following
@सत्यमे�... @Magadhiii
55 Followers 1K Following Believe in socialism & social justice❤️ Progressive- Honest..!!😇 सत्यमेव जयते!!🇮🇳
POLASH AHMED BABU @xnderxorldaz
10 Followers 280 Following
Brγ @BrackettGamma
0 Followers 49 Following
ali moeinoddini @AMoeinoddi1257
2 Followers 81 Following
Sachin Munshi, PhD in... @BrokenYetKickin
2K Followers 7K Following GCU adjunct faculty, metalhead, pro-US Constitution, free speech, free(d) markets, disability rights, surviving DMD, Geolibertarian, member of @amermathsoc
akalstwebudwoztiuqhvi... @Akaltiuqhrlrlr
0 Followers 38 Following
Puspendu Jana @PuspenduJar2gy
0 Followers 54 Following
Shrikant Adhikarla @shrikantadhik
19 Followers 265 Following
Frank & Jens AI-Songs @FrankJensAISong
6K Followers 6K Following Frank & Jens – AI-VoiceCraft feiert die #Mathematik. Alle Songs auch auf Spotify, Amazon music, ITunes & Apple music.
👑 @jcnxnfnxjdjdjg
12 Followers 415 Following
Inclusive Math Educat... @IME_Maths
1 Followers 49 Following Mathematics is more than marks. A language. A tool. A way of thinking. Online Mathematics Home Tuition | Classes 7–12 Understand Mathematics. Learn to Think.
Algebra Etc. @AlgebraFact
195K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Computer Science @CompSciFact
250K Followers 17 Following Daily tweets about computer science and related stuff @JohnDCook.
Differential Eqns @diff_eq
76K Followers 17 Following Tweets on ordinary and partial differential equations from @JohnDCook
Signal Processing @DSP_fact
34K Followers 18 Following Digital signal processing, acoustics, Fourier analysis, etc.
Functor Fact @FunctorFact
27K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Network Fact @NetworkFact
46K Followers 19 Following Daily tweets about networks, graph theory, and related topics from @JohnDCook
Trends for United States
You might like
Algebra Etc.
@AlgebraFact
195K Followers
Probability Fact
@ProbFact
147K Followers
Differential Eqns
@diff_eq
76K Followers
Functor Fact
@FunctorFact
27K Followers
Topology Fact
@TopologyFact
74K Followers
Analysis Fact
@AnalysisFact
135K Followers
Network Fact
@NetworkFact
46K Followers
Science and Medicine
@ScienceTip
41K Followers
Data Science Fact
@DataSciFact
195K Followers
Signal Processing
@DSP_fact
34K Followers
Computer Science
@CompSciFact
250K Followers
Scientific Python
@SciPyTip
209K Followers
Grant Sanderson
@3blue1brown
460K Followers
TeX and Typography
@TeXtip
50K Followers
Numberphile
@numberphile
180K Followers