Pinned Tweet
Haniel Ulises
9.8K posts
Haniel Ulises
@Haniel_Ulises
cs, analytical philosophy, pure maths, and some engineering i guess
Harish, Israel Joined Ağustos 2017
955 Following514 Followers
Me da gracia la cantidad de vueltas y mística que le dan a usar la AI, que agentes, que orquestadores, que múltiples modelos al mismo tiempo, harness, loops, tokenmaxxing. Mándale el prompt y listo hermano, que tanta vuelta, después no terminan shippeando nada.
Español
Haniel Ulises retweeted
The worst part about AI hypebeasts is eventually, on a long enough scale, they are right
English
@buromur yes, it's largely pre-Grothendieck. I agree that there's still room for a synthetic philosophy of geometry that takes schemes, categories, stacks, and modern algebraic geometry seriously. An opportunity, isn't it? Do you know of any work in that direction?
English
@Haniel_Ulises I am assuming it does not talk about modern algebraic geometry a la grothendieck? There is some need for synthetic philosophy of geometry at current level
English
yes but you should study this one as well
link.springer.com/book/10.1007/9…
TheOrigenist@OrthodoxOrigen
Should I study Euclid's Elements? Thinking of ordering a copy.
English
Haniel Ulises retweeted
@adambencloutier non-euclidean geometry, manifolds, projective geometry, in general many conceptions of space through the history of mathematics & philosophy as well, it's an incredible journey
English
@adambencloutier because it covers the epistemological foundations of geometry, from how greeks were so committed to an a priori vision of geometry, how it evolves through Descartes, then Kant +
English
Haniel Ulises retweeted
Haniel Ulises retweeted
Hi friends! I’m back to uploading my Algebraic & Complex Geometry course online. I was busy starting my postdoc at Harvard so there was a gap. This summer I’ll be posting the rest of the course. Here’s the latest lecture:
youtube.com/watch?v=-B4TrH…
YouTube
English
Haniel Ulises retweeted
Haniel Ulises retweeted
nunca he leido nada sobre filosofia de la biologia asi que agradeceria que alguien que si me expusiera sobre las discusiones en torno a la convergencia evolutiva
Español
@Haniel_Ulises sure the local notion (for each one algerbra) is stronger than the global one (for the class of algebras).
English
Carnap's categoricity is stronger than completeness in a surprising sense. It doesn't ask whether all semantic consequences are derivable, but whether the consequence relation itself uniquely determines the meanings of the logical constants
English