Logic & Applications @LogicPractice
Logic and applications of logic from @JohnDCook JohnDCook.com/logic Houston, TX Joined September 2016-
Tweets1K
-
Followers25K
-
Following8
-
Likes9
Propositions as Types youtu.be/IOiZatlZtGU
0
1
17
1K
3
Skolem normal form en.wikipedia.org/wiki/Skolem_no…
Why people don't use formal methods hillelwayne.com/post/why-dont-…
Minimal logic ncatlab.org/nlab/show/mini…
Universal coalgebra: a theory of systems sciencedirect.com/science/articl…
Incomplete and Utter Introduction to Modal Logic serokell.io/blog/incomplet…
“One should never try to prove anything that is not almost obvious.” ― Alexander Grothendieck
Double negation ncatlab.org/nlab/show/doub…
The linear logic connectives ! and ? are pronounced 'of course' and 'why not'.
TQBF: True quantified Boolean formula en.wikipedia.org/wiki/True_quan…
Löb's theorem regarding Peano arithmetic is taken as an axiom in Gödel–Löb modal logic. □(□p → p) → □p.
Gentzen's rules for natural deduction blog.plover.com/2020/02/13/#lk
Combinators: A Centennial View arxiv.org/abs/2103.12811
The metaphysical presuppositions of formal logic edwardfeser.blogspot.com/2021/07/the-me…
Analogies between Gödel's incompleteness theorems and sins of omission and commission johndcook.com/blog/2021/08/2…
What is the point of modal logic? math.stackexchange.com/questions/4172…
Abductive reasoning en.wikipedia.org/wiki/Abductive…
Analysis Fact @AnalysisFact
126K Followers 19 Following Daily tweets about real and complex analysis and related topics. From @JohnDCook.
Computer Science @CompSciFact
249K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
Topology Fact @TopologyFact
72K Followers 19 Following Tweets on topology and geometry from @JohnDCook.
John D. Cook @JohnDCook
52K Followers 208 Following I turn business problems into math problems then solve them.
Data Science Fact @DataSciFact
191K Followers 19 Following Daily data science tweets from @JohnDCook.
the finite physicist @FinitePhysicist
61K Followers 380 Following theoretical particle physics & phenomenology || don't sleep through dreams that can come true
Signal Processing @DSP_fact
32K 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
87K Followers 19 Following Tips on Unix utilities and related topics from @JohnDCook.
TeX and Typography @TeXtip
53K Followers 19 Following Tweets on TeX, LaTeX, and typography. @JohnDCook.
Sam Walters ☕️ @SamuelGWalters
13K Followers 512 Following 🇨🇦 Math prof. Former Chair of Math-Stat Dept at the University of Northern B.C. (Mar 2016 - Jun 2020). Christian.
Network Fact @NetworkFact
47K Followers 19 Following Daily tweets about networks, graph theory, and related topics from @JohnDCook
Frank Nielsen @FrnkNlsn
23K Followers 1K Following Machine Learning & AI, Information Sciences & Information Geometry, Distances & Statistical models, HPC. "Geometry defines the architecture of spaces" @SonyCSL
Regular Expression @RegexTip
79K 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
53K Followers 19 Following Learn medical vocabulary a little bit at a time. From @JohnDCook.
〈 One Piece | 1114 .. @StrawHatGustav
883 Followers 397 Following Pianist | Artist | Risk Manager at Itaú | Philosophy, Physics & Math Undergrad & Grad Student at USP | Category Theory, SimpGeo and Geometric Quantization
Bezzzos @bezzzos
49 Followers 196 Following
WaywardWesterner @WaywardWestern1
361 Followers 2K Following
grinch🌳 @itsmeallejandro
10 Followers 39 Following I like mathematics and making art but it's not my thing, I make code when I have time, I study engineering and I read the odd book... ah hablo español
aye @ptrprkr0
217 Followers 389 Following
Hamed Alkhateeb @alkhateeb___
4 Followers 147 Following A structural engineer with great interest in applied math
Avidreader @avidreader1000
473 Followers 4K Following
みを @PbGqfxqopdpMeio
1 Followers 40 Following
Collin Sutherland @CollinSutherla2
345 Followers 2K Following
Juan Luis Rosario Sem.. @JuanWorkshopPR
12 Followers 2K Following S.T.E.M. Investigator, consultant, contractor/owner... Thanks God! ### Likes, following, links, retweet ≠ endorsement/swap. (Natural Person, 🇺🇸🇵🇷 and ✝️)
JGHFunRun | BEARS ARE.. @JGHFunRun
45 Followers 520 Following Just a guy that (now) has a twitter Learning Finnish and Ojibwe. Likes splatoon.
Sudharsan Viswa @sudharsanviswa_
15 Followers 114 Following
Simón Zarama Pombo @szp_2014
7 Followers 367 Following
Rafael Alejandro @rael0220
7 Followers 188 Following
EngFrontier @EngFrontier
126 Followers 369 Following Software Engineer. App and Database scaling expert. Have built apps that do 40K transactions/sec and are used by millions in marketing technology and payments.
Joey Bagels @Joey_Bagels
106 Followers 92 Following Ninety-percent of any great trader is going to be the risk control. #Bitcoin #OneforDallas #Birdland #ALLCAPS
Cory Parker @parkdaddy34
28 Followers 317 Following
Zuzia⁷🦋 @omijami
20 Followers 60 Following confused math(s) student watching too many sports | bts | COYS | 1GA |
Fabian @FrostyPath
26 Followers 457 Following - "Lawrence, what would you do if you had a million dollars?" - "I'll tell you what I'd do, man: two chicks at the same time, man."
Shashank Singh @mistershashanks
3 Followers 265 Following
Alik @Alik2096100
260 Followers 4K Following
Lnx @Ozawacai
53 Followers 263 Following
Papaz Eriki @erik_klapton
175 Followers 2K Following If you feel like shit, everyone you hate wins. (Birgun gelecek; bir gun kalacak)
Khalid Hasanov @KhalidHasanov
67 Followers 867 Following Opinions expressed are my own. Software and Site Reliability Engineering | PhD in High Performance Computing
476_sachet shende @4Shende
4 Followers 32 Following
🦶RSA @TheP4RS4
45 Followers 520 Following دری وری زیاد میگم ازم ناراحت نشین. سیاسی نیستم و آزادی خواه. هنر دوس دارم. آی تی گیک ام. دوس دارم یاد بگیرم. از هرجور آدمی هم خوشم میاد.
Thomas Pirro @thomas_pirro
300 Followers 3K Following Linksdemokratisch, aber nicht woke. Die Wahrheit liegt oft in der Mitte. Radikale & ideologische Ansichten lehne ich ab. Besonders die der AfD & v. Querdenkern.
Ang Kok Leong @Ang_Kok_Leong
44 Followers 448 Following
MNTL @marten_lindberg
9 Followers 117 Following Skriver om konsumtionsmarknaden. Marknadschef på Infostat.
彤彤 @wangtnetlab
92 Followers 4K Following
rhō @ridrogom
32 Followers 190 Following
lambdasofthecosmicsla.. @Cosmic_Lambdas
1 Followers 77 Following An attempt of a selftaught journey in: - Functional Programming - Programming Language Theory - Type Theory - Proof Assistants
Krajnik Matija @Crveni69
145 Followers 2K Following
Semih Akalın @SemihAkaln6
2 Followers 311 Following
Pensé FFun @inftyCategory
108 Followers 6K Following
Serge @SergyMtl
0 Followers 35 Following
Algebra Etc. @AlgebraFact
185K Followers 19 Following Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.
Computer Science @CompSciFact
249K Followers 19 Following Daily tweets about computer science and related stuff @JohnDCook.
Differential Eqns @diff_eq
72K Followers 17 Following Tweets on ordinary and partial differential equations from @JohnDCook
Signal Processing @DSP_fact
32K 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 @JohnDCook
@FormalFact Terrence Tao's exposition of the completeness & compactness theorems is one of the better ones.
@FormalFact i’ve read a few pages and it looks really interesting, thank you
@FormalFact You may find this interesting: niif.videotorium.hu/en/recordings/…
Trends for United States
429 B posts
2.312 posts
62,7 B posts
112 B posts
19,9 B posts
112 B posts
61,9 B posts
5.783 posts
11,6 B posts
7.641 posts
5.281 posts
54,4 B posts
11,3 B posts
85,3 B posts
22,8 B posts
44,5 B posts
1.195 posts
4.527 posts
33,2 B posts
4.517 posts
You might like
Algebra Etc.
@AlgebraFact
185K Followers
Probability Fact
@ProbFact
144K Followers
Differential Eqns
@diff_eq
72K Followers
Units
@UnitFact
26K Followers
Functor Fact
@FunctorFact
26K Followers
Topology Fact
@TopologyFact
72K Followers
Analysis Fact
@AnalysisFact
126K Followers
Network Fact
@NetworkFact
47K Followers
Science Tip
@ScienceTip
43K Followers
Data Science Fact
@DataSciFact
191K Followers
Signal Processing
@DSP_fact
32K Followers
Computer Science
@CompSciFact
249K Followers
Scientific Python
@SciPyTip
202K Followers
Grant Sanderson
@3blue1brown
365K Followers
TeX and Typography
@TeXtip
53K Followers