Logic & Applications @LogicPractice
Logic and applications of logic from @JohnDCook JohnDCook.com/logic Houston, TX Joined September 2016-
Tweets2K
-
Followers27K
-
Following8
-
Likes8
“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
0
1
19
978
5
An order preserving map on a complete lattice has a fixed point.
Continuum hypothesis -- whether there a set with cardinality greater than the integers and less than the reals -- is independent of ZFC.
Seven normal forms in logic johndcook.com/blog/seven-nor…
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
Logic & Applications retweeted
TIL the lambda in lambda calculus was a typesetting hack
'You can sway a thousand men by appealing to their prejudices quicker than you can convince one man by logic.' -- Robert A. Heinlein
Logic for reasoning about beliefs en.wikipedia.org/wiki/Doxastic_…
How much can Boolean expressions be simplified? johndcook.com/blog/2020/11/1…
'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…
The diamond symbol <> in modal logic can be interpreted as possibility, e.g. <>P means 'it is possible that P holds.'
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
Modal logic axiom cube johndcook.com/blog/2022/01/2…
Analysis Fact @AnalysisFact
133K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Computer Science @CompSciFact
251K Followers 19 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
69K Followers 355 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
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Unix tool tip @UnixToolTip
84K Followers 19 Following Tips on Unix utilities and related topics from @JohnDCook.
TeX and Typography @TeXtip
51K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
Science and Medicine @ScienceTip
42K Followers 19 Following Daily post on science and medicine from @JohnDCook
Sam Walters ☕️ @SamuelGWalters
14K Followers 484 Following 🇨🇦 Math prof. Former Chair of Math-Stat Dept at the University of Northern B.C. (Mar 2016 - Jun 2020). Christian.
Frank Nielsen @FrnkNlsn
36K Followers 2K Following Information Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL
Regular Expression @RegexTip
75K Followers 19 Following Learn to use regular expressions by following RegexTip. From @JohnDCook.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Medical Vocabulary @MedVocab
51K Followers 19 Following Learn medical vocabulary a little bit at a time. From @JohnDCook.
Harare @stuartschitsulo
2 Followers 148 Following
H.Overman @opsec_ee
3 Followers 67 Following
Johan de Aguas @JohanDH2O
711 Followers 2K Following Fulbright Scholar, Statistician, Economist, Industrial Engineer
Nader Sadek @Nader_Atef_
238 Followers 4K Following Machine Learning Engineer working on protein design
Kane @KRollo7461
23 Followers 53 Following Independent researcher; logician building frameworks in mathēsis, physis, philosophy, and the natural order.
sam @samsamthetree
17 Followers 190 Following
Yannick Popovitch @pop94378
0 Followers 31 Following
Shaun Olerton @Vuplag
3 Followers 120 Following
Anurag @upbeatanurag
3 Followers 87 Following
Piotr @Swistak_0
177 Followers 686 Following ¯\_(ツ)_/¯. Compsci PhD @ Oxford+Max Planck. I like smash, badminton, number theory, and learning languages (need to practice 🇵🇱, learning 🇪🇸🇩🇪)
Nicolas Grislain @ngrislain
156 Followers 1K Following
Thierno Mahmouth DIAL... @DialloMahmouth
115 Followers 637 Following
MSV @SVamseekar
15 Followers 38 Following
Umut Korkmaz @umutkorkmaz_net
29 Followers 754 Following
yo ndak tau @iowastatebros
5 Followers 85 Following
Carlos Navarro @CarlosN61012
9 Followers 237 Following
Américo Hidalgo @AmricoHidalgo1
262 Followers 161 Following Profesor de la Escuela de Matemática de la UES. Coordinador del Depto. de Didáctica. Miembro fundador de la Asociación de Matemáticos de El Salvador (AMATES).
A Google User @Wonder_123x
0 Followers 47 Following
TareqATH ⵣ @athtareq
0 Followers 304 Following steam/letterboxd: teatx had to lock this 2010s cringemine for the greater good
Micheal_xx @Michealxx128044
1 Followers 96 Following
david mendiola @mendiolaDav
1 Followers 331 Following
Market Observer @Market0bserver8
1K Followers 2K Following Observe the market, react to opportunities, stay alert to risks. Rich experience being humbled by Mr Market. Other interests: AI, engineering, science, math
CIO Business Views @CIOBusinessview
2 Followers 125 Following Official account of CIO Business Views | Future-focused insights for global business leaders.🌍 📌
Mommy Lover @mommyloverxx
0 Followers 5 Following
Shanmuka Ravikumar @Shanmuka226
2 Followers 137 Following
AguaAmat @AguaAmat
50 Followers 217 Following Para cambiar tu frecuencia, alimenta tu alma. Change your frequency, feed your soul.
From For🇧🇭SAUDI... @FromFor325587
387 Followers 8K Following TY ________. ________. |. |. |. |. ________.|.. |. ∆ |.
Manchez Audiotechnik @ManchezGroup
40 Followers 357 Following Nothing else, just live sound. Consulting & Training.
Yüksek Şatodaki İl... @hedonist_gunluk
3K Followers 8K Following Matematikçi-Moleküler Biyolog/Radikal Uzun Vadeli Yatırımcı (Yatırıma 7 yaşında broker kucağında başladı)/Time Lord/yukseksatodakiilluminatiuyesi @ gmail . com
Phanindra Kumar @PaladiPhanindra
113 Followers 1K Following
Maria Jaen @MariaOrosBarron
5 Followers 123 Following Data Scientist Professional @datascience_uw 🔬 Team player! #LatinaSTEM #LatinxInStat #FirstGenCollegeStudent https://t.co/3FirNzDJfl
Enrique Euan reyes @EuanReyes50110
52 Followers 859 Following un matemático feliz,,,geometría algebraica y todas sus variantes
GetTutor | Online Cla... @GetTutorNow
2 Followers 14 Following 🎓 Expert Tutors for Online Classes & Exams NCLEX, TEAS, GED, GRE & more. Serving USA & Canada Contact Form : https://t.co/MKRQ62BN1Z
Sourav Das @Sourav_Das89
0 Followers 59 Following
ddillxfslza5386589643... @ddillxfslz47730
21 Followers 151 Following
Tatsuya @Tatsuya13213603
3 Followers 77 Following
Algebra Etc. @AlgebraFact
194K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Computer Science @CompSciFact
251K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
Differential Eqns @diff_eq
75K 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
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
Network Fact @NetworkFact
47K Followers 19 Following Daily tweets about networks, graph theory, and related topics from @JohnDCookTrends for United States
4.025 posts
4.713 posts
4.713 posts
1.686 posts
56,7 B posts
1.393 posts
57,5 B posts
1.580 posts
1.678 posts
5.060 posts
9.109 posts
6.751 posts
2.995 posts
You might like
Algebra Etc.
@AlgebraFact
194K Followers
Probability Fact
@ProbFact
147K Followers
Differential Eqns
@diff_eq
75K Followers
Functor Fact
@FunctorFact
26K Followers
Topology Fact
@TopologyFact
74K Followers
Analysis Fact
@AnalysisFact
133K Followers
Science and Medicine
@ScienceTip
42K Followers
Data Science Fact
@DataSciFact
195K Followers
Signal Processing
@DSP_fact
34K Followers
Computer Science
@CompSciFact
251K Followers
Scientific Python
@SciPyTip
210K Followers
Grant Sanderson
@3blue1brown
414K Followers
TeX and Typography
@TeXtip
51K Followers
Maths History
@mathshistory
109K Followers
Numberphile
@numberphile
163K Followers