why do these windows reflect polarized magenta?

@HilbertSphere

Interested in sensory augmentation. Check out my primary account for math, machine learning, and language 香港加油!

he/they/it/etc.
Vrijeme pridruživanja: kolovoz 2019.

Tweetovi

Blokirali ste korisnika/cu @HilbertSphere

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

  1. 20/ For Peirce on Babbage: For Peirce's logical machine: For remarks about sensations as signs, there are many scattered remarks. I looked mainly here but also 'On Time and Thought'

    Prikaži ovu nit
    Poništi
  2. 19/ For more information on things like Peirce's arrow, and the Curry-Howard isomorphism, consult your local wikipedia

    Prikaži ovu nit
    Poništi
  3. 18/Not exactly a significant insight, but a fun bit of history, and it certainly makes some of the weirder sections of Peirce make a bit more sense (to me, anyway).

    Prikaži ovu nit
    Poništi
  4. 17/Again, this is not a term Peirce had. I only mean that ‘computation’ is a good modern gloss for what Peirce was trying to get at. For Peirce, logic and semiotics were equivalent. Proofs are both symbols and computations, so some symbols are computations.

    Prikaži ovu nit
    Poništi
  5. 16/The Curry-Howard isomorphism says that proofs are equivalent to computations. Remember that weird, over extensive notion of logic? How things like sensations are signs? Doesn’t it make a lot more sense if you replace ‘sign’ and ‘logic’ with ‘computation’?

    Prikaži ovu nit
    Poništi
  6. 15/Proofs, he says, are symbols. You know what else proofs are? Computations!

    Prikaži ovu nit
    Poništi
  7. 14/None of this means he invented computing, or had the concept as we think of it - he didn’t - but he was familiar with the ideas that lead to them

    Prikaži ovu nit
    Poništi
  8. 13/And finally, Pierce is remembered today in notation for mentioning that NOR is sufficient to express the other boolean operators. (NOR is sometimes called a Pierce’s arrow)

    Prikaži ovu nit
    Poništi
  9. 12/One of his own students worked on a machine to give all implications of a logical formula, and Pierce famously suggested improvements by transferring from a mechanical setup to an electrical setup.

    Prikaži ovu nit
    Poništi
  10. 11/Second, Pierce was not unfamiliar with the notion of a computing machine. His obituary for Babbage shows he was well aware of the analytical and difference engines.

    Prikaži ovu nit
    Poništi
  11. 10/He thought of logic as being based on math, phenomenology, and ethics.

    Prikaži ovu nit
    Poništi
  12. 9/First, what Pierce meant by logic was extremely broad. It included what the retina and brain do when they go from sensing a bunch of points to edge detection to image recognition.

    Prikaži ovu nit
    Poništi
  13. 8/What strikes me is that the initial example Pierce abstracted from to get his symbol was a proof. Natural for a logician to place proof in such a central location, but we could see it as deeper than that.

    Prikaži ovu nit
    Poništi
  14. 7/Symbols are the most... general kind of sign. Thoughts, words, arguments, and expressions are symbols, for instance.

    Prikaži ovu nit
    Poništi
  15. 6/All thoughts and experiences are kinds of signs (the experience of a sound, or sight is a sign, taken up by other signs and then by symbols as we think about them and react).

    Prikaži ovu nit
    Poništi
  16. 5/Famously, they involve infinities: a symbol specifies its own interpretation, which is another symbol, and you get an infinite regress (though Pierce was willing to admit death would put a stop to that easily enough).

    Prikaži ovu nit
    Poništi
  17. 4/The most intriguing kind of signs are what he called ‘symbols’. They also refer only by convention. He had an involved logical description of their structure which he revised repeatedly over the course of his life, but I won’t touch on that here.

    Prikaži ovu nit
    Poništi
  18. 3/Pierce talked about different types of signs like pictures (which refer to a thing because they resemble that thing) and words (which refer to a thing by convention).

    Prikaži ovu nit
    Poništi
  19. 2/C.S. Peirce (pronounced purse) was a logician in the late 1800s. He’s known to lit land linguistics students as one of two people who coined the term ‘semiotics’ for basically the same idea -- study of meaning.

    Prikaži ovu nit
    Poništi
  20. 1/And now a break from our usually scheduled programme for a brief remark on the history of computing. Please note that I am not a historian and anything that I say about history is subject to correction from people who actually know what they’re talking about.

    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:

    ·