Logic & Applications @LogicPractice
Logic and applications of logic from @JohnDCook JohnDCook.com/logic Houston, TX Joined September 2016-
Tweets2K
-
Followers27K
-
Following8
-
Likes8
Modal logic axiom cube johndcook.com/blog/2022/01/2…
0
0
7
429
4
“Combinators … continue to seem exotic and abstruse—and somehow fundamentally unsuitable for human consumption.” — Stephen Wolfram
There are just four second-order quantifiers link.springer.com/article/10.100…
In linear logic, multiplicative operators can be understood as context-free and additive operators as contextual.
Relating two forms of linear logic notation
“Attempts to form social judgments by aggregating individual expressed preferences always lead to the possibility of paradox.” — Kenneth Arrow
Logic & Applications retweeted
Should I use Frege’s notation in my discrete mathematics course, just for giggles?
Demorgan's laws for linear logic
Proof maintenance and repair galois.com/blog/2020/12/p…
'Ex falso quodlibet.' From a false assumption, anything follows.
Classic papers in programming languages and logic cs.cmu.edu/~crary/819-f09/
When are formal proofs worth the effort? johndcook.com/blog/2020/12/0…
Modal logic implications in K5
If you add either the law of the excluded middle or double negation to intuitionistic logic you can derive the other.
“It is not easy, and perhaps not even useful, to explain briefly what logic is.' -- E. J. Lemmon
Dependent Types at Work cse.chalmers.se/~peterd/papers… [pdf]
Logic in physical form youtu.be/txH3K3shIWs
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 356 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 482 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
52K Followers 19 Following Learn medical vocabulary a little bit at a time. From @JohnDCook.
simeon 🦀 λ @simeondermaats
541 Followers 2K Following studying maths @KULeuven_fwet (mainly interested in logic, categories and types) designs magazines for @Veto_be I aspire to one day understand the Yoneda lemma
toppwealthknowledge @wealthnowalways
0 Followers 136 Following
G6 @veritypur
0 Followers 1K Following
Mrtrance89 @mrtrance89
65 Followers 400 Following Un novato en temas filosóficos, pero amante de aprender
delaney @DelaneyDvorsky
4 Followers 48 Following
蟻の門渡り @arino0123
60 Followers 362 Following
Rudra @gpio_pin
0 Followers 16 Following
F_{un} @DmodBunG
104 Followers 760 Following 취미생활용 계정입니다. 전문성을 담보할 수 없습니다. 보통 수학, 물리, 애니, 언어, 철학, 가끔가다 일상생활을 다룹니다. Learning is Fun!!
Proph Dev 🇬🇩 @ProphDev
103 Followers 828 Following Revivalist| Preacher| Prophet| Psalmist| Conservative| Analyst| Chess player| Poet| Holy Rock Artiste| https://t.co/HPldoUDnBZ
Chb00 @Chb006
41 Followers 4K Following
b8c @b8c808
525 Followers 2K Following Parent, scientist, centrist and European. Love of all things outdoors, music, photography and good food and wine.
Kenshin @Raydruryne
245 Followers 255 Following
Twistzaok 🇮🇷�... @twistzaok
20 Followers 35 Following Um estudante de engenharia tentando fugir dos números. Gosto de ler, de poesia e de aprender línguas novas.
kit'i beklemiş @kitbekl
17 Followers 82 Following 🍃помогите починить чайное дерево (вырастил томат)🍅 👨🏼🔬теорлингвистика📊 🐺башҡортса өйрәнәм, studio italiano🇮🇹 🇷🇺русский ква🐍
tomato @a120988834
24 Followers 202 Following
Schyler Chartley @SchylerChartley
0 Followers 8 Following Tech Machine learning Cloud engineer Cyberspace Cyber security analyst Web developer
Cleartirver @awdrgyjilokuhtf
35 Followers 1K Following
farid @faridsinaei
4 Followers 51 Following
যন্ত্ৰম... @Qr10usTULJIT
250 Followers 920 Following Just a humble observer, curious about different religions and cultures.Learning about Religious Iconography, Politics, Philosophy. Perennialist,Critical thinker
Danial @Danial20752622
1 Followers 15 Following
Chiastico @chiastico
958 Followers 1K Following La libertà senza la giustizia sociale non è che una conquista fragile, che si risolve per molti nella libertà di morire di fame. (Sandro Pertini)
Ufuk @OrucReis2008
445 Followers 4K Following
Models, Spherical Cow... @EduardoStella
2K Followers 2K Following I have to invent something useless. Onetti, Let's let time speak.
まなたけ @manatake26
759 Followers 980 Following 名大数学科卒→名大情報学研究科M2、数学基礎論(逆数学)、ボードゲーム、写真撮影(Zfc)、確率論(学部時代)
amri @silksonqs
4 Followers 8 Following
Nasser @nasser_logician
8 Followers 260 Following
Infinity FlowX @flowx3600
0 Followers 35 Following
David Odin @DavidDindinX
584 Followers 478 Following Uniquement là pour parler de JV. Et encore ! Ma culture n'est pas si grande que ça. Les maths m'intéressent aussi.
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
20,1 B posts
72,8 B posts
8.212 posts
39,5 B posts
87,7 B posts
95,9 B posts
56,6 B posts
9.406 posts
17 B posts
3.860 posts
13,7 B posts
26,4 B posts
26,4 B posts
15,3 B posts
36,6 B posts
5.246 posts
1.334 posts
55 B posts
219 B 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
209K Followers
Grant Sanderson
@3blue1brown
411K Followers
TeX and Typography
@TeXtip
51K Followers
Maths History
@mathshistory
109K Followers
Numberphile
@numberphile
163K Followers