Ed J. Pedraza-Robles

@ExeyaA

Linguistics, current motivations are formal and logical methods in linguistics, CCGs, TLS, MCFGs

Vrijeme pridruživanja: siječanj 2019.

Tweetovi

Blokirali ste korisnika/cu @ExeyaA

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @ExeyaA

  1. proslijedio/la je Tweet
    1. velj
    Poništi
  2. proslijedio/la je Tweet
    31. sij

    Prediction: In the future, graph complexity measures and graph decompositions (both the pure sort coming from combinatorics and the applied sort coming from network theory), adapted from graphs to string diagrams, are going to be *incredibly* important in applied category theory

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    29. sij

    Informatics elevates constructivism from being a mere philosophical position, to the much higher status of being a tool that's actually demonstrably useful in some situations Parts of category theory do the same service for some other positions, including pluralism

    Poništi
  4. proslijedio/la je Tweet
    28. sij

    Interesting, 'A Functorial Excursion Between Algebraic Geometry and Linear Logic', by , : "the guiding idea here is that linear logic should be seen as the logic of generalised vector bundles, in the same way as Martin-Löf type theory ...

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    27. sij

    tl;dr If your philosophy of mathematics is so naive that it can't distinguish between proofs (which are written and read by humans, in human languages) and proof-objects (which are combinatorial things with metalogical soundness properties) then, well, sucks to be you

    Poništi
  6. proslijedio/la je Tweet
    24. sij

    One perspective on how topoi generalize classical logic? The internal logic of Set is classical logic so the functions determine the rules of classical logic. In a topos you can still think of the objects as sets but now the maps between them are restricted or expanded.

    Poništi
  7. proslijedio/la je Tweet
    24. sij

    Richard Feynman found trigonometry notation to be ambiguous and confusing. "If I had sin f, it looked like s×i×n×f" So he decided to create his own notation. See below. 🧐 What do you think?

    Poništi
  8. proslijedio/la je Tweet
    24. sij

    Il y a visiblement deux types de topologues algébristes : celleux pour qui une preuve par chasse aux diagrammes est "une preuve par incompréhension" et celleux pour qui c'est la chose la plus naturelle au monde.

    Poništi
  9. proslijedio/la je Tweet

    Do you believe in the Holy Trinity? Logic, Languages, and Categories are but Three Manifestations of One Divine Notion of Computation — (Saint) Harper

    Poništi
  10. proslijedio/la je Tweet
    15. sij

    Take a 600-cell in 4D with 120 vertices ±v_i, i=1…60 Define F(x)=𝚷_i v_i·x Stereographically project F from a 4-sphere to 3D, then Fourier-transform from momentum space to position space. Result: this hydrogen wave function, with energy level n=61.

    Poništi
  11. proslijedio/la je Tweet
    7. sij

    Calls: Formal Grammar 2020: Call for Papers: AIMS AND SCOPE: FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural…

    Poništi
  12. proslijedio/la je Tweet
    5. sij

    A "spin ice" is made of tetrahedra of magnetic ions. In the lowest-energy states each tetrahedron has 2 ions with spins pointing in and 2 with spins pointing out. There are many ways to achieve this, so there's built-in randomness - entropy - even at absolute zero! (1/n)

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    3. sij

    Partially Annotable (Unexpected) Counter-Memes, Glyph-Resultatives, and 'Upward Entailing' Phono-Clicks and Why This is Fatal for NLP

    Poništi
  14. proslijedio/la je Tweet
    2. sij

    Let 2020 be the year you push back against postmodern physics: learn what derivatives are before trying to debunk climate science. (dude found a paper showing that the derivative of x is decreasing and interpreted it to be saying that x is decreasing lmao)

    Poništi
  15. proslijedio/la je Tweet
    2. sij

    Knowing a little physics, like knowing a little economics or maths, can be dangerous. It’s the threat from physics 101. You’re likely to make mistakes that neither laypeople or experts would. If you can’t model a quark/graviton properly, how can you model planetary dynamics?

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    3. sij

    There is so much beauty in the mathematical pages of Wikipedia 👉🏽 This gif shows how to create a rhombic dodecahedron honeycomb by adding a pyramid to each face of an alternating cubic lattice ...

    Poništi
  17. proslijedio/la je Tweet
    30. pro 2019.

    Killing the Hydra. Cut off head at step n, replicate at lower node (if possible) with n copies of the Hydra through original node. Theorem 1. There is a winning strategy to kill the Hydra. Indeed, every strategy is winning. Theorem 2. Theorem 1 is not provable in PA.

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    30. pro 2019.

    Happy New Year! A bunch of us are trying to develop "applied category theory" - and now we've started a new journal on this subject, called "Compositionality". It's free to publish in, and free to read. The first issue just came out! (1/n)

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    24. pro 2019.

    I love these notes. I particularly like the emphasis on drawing categories as directed multigraphs. Categories are often thought of as these huge abstract things but to really understand them you also need to think about their underlying graphs.

    Poništi
  20. proslijedio/la je Tweet
    19. pro 2019.

    Is there a set with 2.5 elements? No! But here's a "groupoid" with 2.5 elements. To get it, just take a set with 5 elements and fold it in half. The point in the middle gets folded over, and becomes half a point. Sounds wacky, but you can make this into rigorous math! (1/n)

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·