Burak Emir

@burakemir

systems, language, types, logic

Zurich
Vrijeme pridruživanja: svibanj 2009.

Medijski sadržaj

  1. 18. sij
    Odgovor korisnicima
  2. 24. kol 2019.

    from there: a rendering of Frege's categories of reference and sense. Girard discusses Frege in 'Proofs and Types', saying the fundamental dichotomy of logic is that sense (syntax, proofs) != denotation (truth, semantics, algebraic operations). Sense is 'deeper', closer to home!

    Prikaži ovu nit
  3. 10. kol 2019.
    Odgovor korisniku/ci
  4. 30. srp 2010.

    Completely immersed in http://www.youtube.com/watch?v=_0qljxrhaCs&feature=related. Too bad that Platipus records is bust.

Č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:

    ·