Rudolf Carnap
@CarnapSpeaks
Followers
3,293
Following
1,246
Media
665
Statuses
7,477
‘Prolegomenon to a Treatise’ on @BauerVerlag . ‘Collected Writings 2011-2024’ on @EditionsCox Categories, sheaves, schemes. Views mine.
Joined August 2022
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
MOONLIT FLOOR OUT NOW
• 278575 Tweets
JUMP
• 209033 Tweets
Mets
• 165541 Tweets
Falcons
• 68220 Tweets
天使の日
• 54669 Tweets
Diana
• 43227 Tweets
#PowerGhost
• 31032 Tweets
Kirk Cousins
• 28753 Tweets
Bucs
• 28066 Tweets
MerzAesthetics x KTMP
• 27655 Tweets
Hayırlı Cumalar
• 23766 Tweets
SB19 IS ACER READY
• 21614 Tweets
#PowerBook2Ghost
• 19438 Tweets
HAVE A SAFE FLIGHT JIN
• 18587 Tweets
Mooney
• 18185 Tweets
ワートリ
• 16914 Tweets
Tariq
• 16380 Tweets
感謝マルチガチャ
• 15832 Tweets
Cane
• 14655 Tweets
PRABOWOsiapkan YangTERBAIK
• 13648 Tweets
Bleed
• 13113 Tweets
KEKUATANkita PERSATUANkita
• 13046 Tweets
最大4体ゲット
• 12656 Tweets
人達同士
• 12616 Tweets
#يوم_الجمعه
• 12502 Tweets
Pinned Tweet
Recording of conference:
Co-organized by myself and
@h1n1c3p0
Q&A section:
Recording includes talks by: Reza, Colin McLarty,
@DavidCorfield8
@ElucidationsPod
,
@melaniekleinbot
,
@ksb_id
,
@simonelli_ryan
, Andrei Rodin,
0
13
45
Just got the deal of the century. All of these books for $7 at a garage sale
132
148
4K
Picked up more books from storage ! Hartshorne at the top !
15
42
514
I am finishing the last year of my MS in Applied Math at DePaul w/ Prob Stats. Concurrently I am auditing a course on Modular Forms at UIC. Additionally I am meeting with an Honors Math grad from UChicago to learn commutative algebra, algebraic geometry & algebraic number theory.
8
32
439
Do you recognize who this person is? Like if yes. Comment if no.
22
2
257
Just picked up these books from storage !!!
Bottom four books were textbooks for my Group Theory, Real Analysis, Complex Analysis and Topology classes.
9
19
236
Just arrived! A professor at UIC in formal methods and verification wants to work with me for PhD in CS! As my friend
@ElucidationsPod
said “If it were me, I would go the CS route because my experience of CS so far is that it is less dysfunctional than philosophy as a discipline”
2
20
213
Reza Negarestani's "Intelligence and Spirit" delves into various philosophical and theoretical concepts, including type theory and ludics. Here's a summary of his use of these concepts:
Type Theory:
1. Context of Mathematical Structures: Negarestani touches upon the generality
3
17
179
I strongly recommend that everyone hop on over to Springer now for a massive sale that ends tomorrow 5/31.
I just ordered the below directly from Springer !!!
15
17
176
Dr. Rocco Gangle agreed to be my advisor for doctoral studies! I am planning on finishing my MS in Applied Math at DePaul. I plan to apply to GCAS Dublin to work with him! My dissertation would focus on Structuralist View of Science Theories from a categorical logic perspective.
7
14
172
Alyssa (my girlfriend) bought me this book for our anniversary !!!!
4
6
165
A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew’s notes)
by Eric Schmid
Abstract:
A quick introduction to category theory and topos theory, axiomatically. These notes are adapted from Prof. Pettigrew’s notes.
PDF:
PLEASE REPOST !
1
37
165
Does anyone want to buy a signed copy of my new book? DM me or comment below
9
15
163
My magnum opus is out now !!! Link in bio to purchase it.
2
8
159
Books arrived! Does anyone know any professors in math or CS who would be interested in taking on a PhD student? I’m an MS student in CS at UChicago. (I have the equivalent of a math undergrad from post-baccalaureate studies.)
6
9
160
My girlfriend
@melaniekleinbot
ordered these 2 books for me since my credit card declined. I have the pay her back. Best girlfriend in the world !!!! Thank you to the love of my life !!!!
5
3
157
Finally understand that (dependent) function-types, i.e. pi-types, are equivalent to intuitionistic universal quantifiers of predicates and also equivalent to the space of sections. Dependent pair-types, Σ-types are equivalent to existential quantification in IL and total spaces
6
23
155
Books that I bought arrived! Does anyone know any professors who would consider being a PhD advisor? I’m currently an MS student in CS at UChicago but I also have a pure math background (ie alg top, point-set, real analysis, group theory, complex, advanced linear algebra, proofs)
10
7
150
Just ordered !!! Attempting to rigorously follow after Professor Fernando Zalamea’s work !!!
6
9
144
Accompanying lectures for my independent studies this summer:
1) Category Theory by Awodey:
2) Homotopy Type Theory by Bob Harper:
3) Mathematical Logic (UCLA):
4) Homotopy Theory:
2
19
142
I have made the final decision of studying Applied Mathematics at DePaul University. It’s an MS program. I couldn’t ignore the fact that I have a deep passion for mathematics.
8
1
132
I wrote a textbook:
"Notes on Lecture Notes: Logic, Category Theory, Topos Theory, Martin-Löf Type Theory, Homotopy Theory"
Available on Amazon very soon.
Here is a PDF:
PLEASE REPOST !!!
3
39
119
Just ordered these books !!! Got super inspired by talking to
@DesheShai
today about pure mathematics at a rooftop bar !!! I’m currently taking category theory, homotopy theory, mathematical logic and dependent type theory. It has been a debate with myself (for some time) about
3
15
119
UAblbl ( z, x) = (3 y ) % (3 s) x [ZA (3;) » (z = subst (x, s,y )) • KV(y,x,s)]D 118. UAblb2 (z, #) = (3 wx ) sum (x > z) (3 w 2 ) sum (x, z) (3 u) w1 (3 ® ) wi ( [ ( K = imp («,«)] • (w2 = dis [neg («), w]))v([Wl = kon (w, © )].
8
19
115
Just ordered this book because of
@pachabelcanon
I'm reading Badiou's Concept of Model and my brain is going haywire because of "Fax", like the meme, facts, how inverted these things are
0
3
19
4
13
110
Just bought these rare books from
@myopicbookstore
. Thanks to
@JR1Nelson
for doing good work at his bookstore !!!
4
11
107
Applying to study with Colin McLarty at Case Western Reserve University. He agreed to be my advisor if I were admitted into the PhD program!!!!!
4
2
87
Just arrived! I thought this was a three-volume set, but apparently I bought only one book of the set.
3
6
83
Just ordered this book on set theory, model theory and proof theory!!!
2
7
82
"In a 1940 article on modular fields, Saunders Mac Lane quotes Stephen Kleene's remark that a knowledge of (a + b)^2 = a^2 + b^2 in a field of characteristic 2 would corrupt freshman students of algebra."
2
7
83
Reza Negarestani's "Intelligence and Spirit" stands as a monumental exploration into the intersections of philosophy, mathematics, logic, and computer science. The work is a dense tapestry that intricately weaves together various disciplines to present a comprehensive
2
15
80
My new book will be available for sale soon!
Here is a PDF of my new book:
3
7
79
My book "Prospectus to a Homotopic Metatheory of Language" will be released within 72 hours on Amazon.
The book is 24 pages long.
Thanks to Reza, Zalamea, Colin McLarty and
@the_new_centre
for all of their invaluable comments.
4
10
75
Just ordered!!!
(Not buying any more books after this order!)
4
4
65
Just arrived!!!
Feat. Colin McLarty’s “The Rising Sea” (on Grothendieck)
0
5
62
Just arrived !!! I bought these ex-library copies on Abebooks.
Wolfgang Stegmüller was a German-Austrian philosopher who made important contributions in philosophy of science and analytic philosophy. A professor at Ludwig Maximilian University of Munich in analytic philosophy.
3
4
63
I wrote an e-print on Grothendieck and schemes and étale and motivic cohomology. Take a look! Aspiring mathematician here! I’m an MS student. Let me know if you spot any errors/have corrections!
On Algebraic Geometry:
@littmath
@jimfreitag
@myers_jaz
2
10
63
I. trad alt lit influencers with the decline of Liberalism: Straussian political expediency of american exceptionalism in the face of “libidinal nihilism”/libidinal materialism (Land/angelicism/R.Сам/Jordan Castro/wet brain)
...
3
6
56
My girlfriend bought me this book !!!! Looks so good !!!!
2
3
57
Colin McLarty agreed to be my co-advisor for prospective doctoral studies if I were admitted into a doctoral program!
5
4
57
Just ordered this book!!! I’m planning on applying to Quantinuum
@coecke
one day after I finish my Masters.
I’m really hoping two enroll in two reading courses this summer: one on applied category theory and the other on dependent type theory/Homotopy type theory.
2
5
52
Metaphysicians are musicians without musical ability. Instead they have a strong inclination to work within the medium of the theoretical, to connect concepts and thoughts.
0
10
51
Just ordered this three volume book set. My girlfriend paid for half as a present for me quitting cigarettes. Found out about Uwe Petersen’s work because of Reza.
2
1
52
I’m now an MS candidate at Johns Hopkins University in the Department of Computer Science working on formal methods and programming languages.
6
0
48
Just arrived!!! Going to start working thru this book tonight!!!
3
2
46
Ten favorite novels, no repeat authors:
Gombrowicz, Pornografia
Cendrars, Moravagine
Shelley, Frankenstein
Burroughs, Junky
Acker, My Mother Demonology
Woolf, To the Lighthouse
Duras, Ravishing of Lol Stein
Kafka, The Trial
Bataille, My Mother
Bolaño, The Insufferable Gaucho
Ten fave novels, no repeat authors:
Beckett, Trilogy
Delany, Triton
Eco, Foucault's Pendulum
Eliot, Middlemarch
Lispector, The Passion According to G.H.
Mann, Joseph and His Brothers
Pynchon, Mason & Dixon
Sebald, Austerlitz
Wolfe, Book of the New Sun
Woolf, Mrs Dalloway
3
4
139
3
2
41
A conference!
New addition:
@ksb_id
from the Topos Institute.
Co-organized by
@h1n1c3p0
and I.
This August at the Emily Harvey Foundation. Zoom and in-person.
Including talks by
@DavidCorfield8
,
@ElucidationsPod
,
@melaniekleinbot
,
@mgzxr
,
@ksb_id
and others!
3
10
41