IntuitionisticBot @IntuitionisticB
I check whether the classical theorems that Logic Bot tweets are theorems of intuitionistic logic I was created by @AndrewParisi2 github.com/andrewppar/int… Joined November 2020-
Tweets5K
-
Followers179
-
Following32
-
Likes0
Liam Bright @lastpositivist
62K Followers 4K Following Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Camarada Korolev - ca... @walkerbionico
914 Followers 529 Following Comendo da lata de lixo o tempo todo
wokeness within the b... @_me_you_coward
2K Followers 5K Following ☭🌷🇵🇸🔻 pro-women | anti-fun | non-contrarian | never mad | @volceleration | https://t.co/HG7WU5dIBq
jt ☭ ♥ @gayloneliness
348 Followers 2K Following jt • anti twitter • faggot • queer marxist • antizionist
646 - Auf diese weise @__Aufklarung
110 Followers 322 Following Pós-Marxista. Tradição Zubiriana is again. Leituras Hegelianas diversas e eterno fã de Zezé di Camargo e Luciano.
Arjan Klok @jaklok84
434 Followers 691 Following Franse filosofie, postmodernisme, theologie en ik vrees soms politiek.
Víctor Bettín @jacksonbettin
451 Followers 4K Following Soy Víctor Bettín, Profesor De Matemáticas Egresado De La Universidad De Cartagena-Colombia, Esp. En Matemáticas, Creyente En Dios.
Frank O'Connor @franktatus
15 Followers 163 Following Researcher and developer living in Cambridge, UK.
:) @zksksidkd
22 Followers 456 Following
Young Moe (Italian) @bigitalianmode
49 Followers 481 Following Australian-based social and political commentator | Recently appointed Special Envoy to Combat Antisemitism in Australia
Jan Štěpánek @jenstepanek
229 Followers 226 Following Učitel matematiky (spšs, upce), doktorand filosofie (muni). Řídký jak kousek másla namazaný na příliš velký krajíc chleba.
Facundo Miranda @Facundo59204769
848 Followers 514 Following
Silent Academic Diari... @silentacademics
128 Followers 676 Following Giving an anonymous platform to marginalized folks in academia | All submission to [email protected] are confidential and handled with care
Vadim Leshkov @bewrrrie
35 Followers 462 Following PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)
ֵ @Frickz_AMBA
118 Followers 1K Following
Varieties of Risk @VarietiesRisk
254 Followers 454 Following AHRC-funded Project at University of Stirling/Edinburgh. Philip Ebert (PI) & Martin Smith (CoI). Project is finished and account is inactive.
Haniel Ulises ✡️ @Haniel_Ulises
296 Followers 878 Following cs, philosophy, maths, and some engineering 70% shape rotator 30% wordcel
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Kappa @woolah333
12 Followers 802 Following
Vicent (Logic time) �... @VicentMath
1K Followers 891 Following Tècnic de Recerca de Lògica a Filosofia UB i professor substitut de Lògica a la UB. he/him 🏳️🌈🏳️🌈 drag name: Vicenta la Pudenta/Morcilla Mary
dukexb @dukexb1
7 Followers 72 Following
Samuel Díaz 🇪🇦... @SamuelDO2
297 Followers 1K Following Español en CDMX. UNAM 💙💛. Economía, mates, finanzas, sistemas complejos, filosofía, psicología y memes. (Espacio de reflexión) #Antifragile #SkinInTheGame
Thony @thonygillies
642 Followers 580 Following i teach philosophy (language, logic, information things). was at rutgers now at arizona. i run and bike and have an espresso and pizza problem.
Lingzhi Shi @tomlingzhishi
57 Followers 186 Following Philosophy PhD student @Princeton, BA in Philosophy @PKU1898, interested in metaphysics, phil of physics, philosophical logic, epistemology, and decision theory
David W. Agler @davidagler
107 Followers 229 Following I make philosophy (mostly logic) videos at https://t.co/xE6a2XjmLO
Windermere岸边没�... @Lautreamont_alo
21 Followers 61 Following 想学数学/set theory/logic/undergraduate/要把头发留过胸口吗?/坏了头发已经很长了该考虑要不要留过腰了/可以叫我azami/间歇性恋词癖发作
Hulian (contraparte e... @Ludwigfrege
143 Followers 459 Following Average abstract entities enjoyer Philosophy - UFMG
pplank8 @pplank8
184 Followers 1K Following in a state of controlled semantic transmutation | ontologies weaver
Jesse Endo Jenks @JesseEndoJenks
41 Followers 1K Following He/him. I like logic, playing the cello, and making art with math.
Foldster @theFoldster
1K Followers 4K Following On my mobile development arc. Other arcs include origami, algorithmic art, robotics, other STEM things. INTP5w4. Just my projects: @FoldsterProject
Iso (math fool) @IsomorphicPhi
6K Followers 1K Following Background in theoretical physics/math. Interested in mathematics, philosophy and physics. Some kind of anarchist communist, I guess. He/they. Eng/Swe
Derek Parfait @haus_cole
531 Followers 2K Following Trying to figure things out about how best we can live together
juan camilo jaramillo @juancam01569221
15 Followers 318 Following
Joseph Hirsh @corepresentable
455 Followers 631 Following mathematician | lecturer in blockchain UTAustin | lecturer in math txst You can assume I am being sincere and speaking from my own experiences.
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Josiah Lopez-Wild @josiah_wild
212 Followers 578 Following PhD student, UC Irvine Logic and Philosophy of Science | Mathematical Logic, Stardew Valley, Les Claypool fanboy | He/him | https://t.co/Vn7QySS5bp
UConn Logic Group @UConnLogicGroup
1K Followers 181 Following The UConn Logic Group is an active research hub, with over forty members from mathematics, philosophy, linguistics, computer science, psychology, and law.
Kienose Dissalwerg @KDissalwerg
72 Followers 265 Following Mathematician, algebraic topology, algebraic geometry, foundation of mathematics. He/him.
Alan @Alan_Foi
57 Followers 554 Following
Gregory Putzel @gregp... @gregputzel
98 Followers 1 Following Bioinformatician in @PirontiLab at NYU Langone. See you at @[email protected]
Mandate of Heaven Enj... @365Wokedenken
528 Followers 1K Following Matthew 19:24. Political theory and economy. Silly simulations at LSE. Very powerful, kinda dumb
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Jean-Alexandre Barszc... @jabarszcz
67 Followers 553 Following FP polyglot, PhD student at @umontrealDIRO, interested in programming languages, dependent types, metaprogramming. He/him. λ🚶♂️→🛴 🚶♂️
Tableau Bot @mathstableaubot
389 Followers 3 Following I reply to @mathslogicbot with proof tableaux. Inspired by @mathsproofbot.
Amin Timany @amintimany
139 Followers 1K Following Associate Professor of Computer Science @csaudk, Aarhus University. PhD @KU_Leuven.
Andrew K. Hirsch @andrewkhirsch
574 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Harshavardhan Unnibha... @IchBinHarsha
51 Followers 888 Following
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
William Hixson @Dicaearchus
95 Followers 2K Following
Dawn Wilson @dawn_m_wilson
651 Followers 989 Following Philosopher. Light & Time. Thought & Image. Clarity & Silence.
nathan (tired) @NotNotPhi
418 Followers 308 Following I teach philosophy and complain about politics. Increasingly publicly agitated. |he/him|
•Nate• @SellarsRespectr
2K Followers 236 Following To say that man is a rational animal, is to say that man is a creature not of habits, but of rules.
Logic Bot @mathslogicbot
2K Followers 5 Following I tweet tautologies. Created by @mscroggs. How I work: https://t.co/6vcStVIUfz Tautologies also tooted at @[email protected]
Ornitier, ominous sun... @Lazulikhan
632 Followers 2K Following Personificação do sol e arauto do bom dia. Born to be a mad logician, forced to be a buff Ace Attorney character.
Marcus Rossberg @marcusrossberg
722 Followers 162 Following Associate Professor of Philosophy at the University of Connecticut
Xenia Parisi, MD @XeniaParisi
2K Followers 2K Following Heme/path @TexasChildrens | Asst Prof @BCMhouston | HP @MDAndersonNews, AP/CP @BIDMCpath. Former @NIH -er, @GUMedicine, & @UMassAmherst alumna
Andrew Parisi @AndrewParisi2
42 Followers 35 Following I like thinking about logic and philosophy, and making computers do as much work for me as possible.Trends for United States
43,4 B posts
12,3 B posts
33,3 B posts
2.393 posts
2.621 posts
258 B posts
1.358 posts
5.182 posts
34,9 B posts
1.912 posts
6.129 posts
3.636 posts
1.311 posts
4.973 posts
4.444 posts
1.996 posts
25,6 B posts
You might like
Francesco Berto
@Franz_Berto
4K Followers
Buenos Aires Logic Gr...
@BALogicGroup
1K Followers
Gillian Russell
@larkofadefinite
5K Followers
Maynard(, Eli)
@Quelklef
352 Followers
sequiturquodlibet
@antitheorem
521 Followers
Neil Barton
@CantorsCoffee
411 Followers
Eduardo Alejandro Bar...
@Eduardo62799641
108 Followers
Jason Chen
@JZS_Chen
217 Followers
Toby Meadows
@TobyMeadows
2K Followers