Burak Emir

@burakemir

systems, language, types, logic

Zurich
Vrijeme pridruživanja: svibanj 2009.

Tweetovi

Blokirali ste korisnika/cu @burakemir

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

  1. 2. velj

    "right", but the consensus on what constitutes the purpose of the modeling activity changed. This explains paradigm shift / "scientific revolution", "anything goes" but also ongoing debates. kthnxbye. 6/n=6

    Prikaži ovu nit
    Poništi
  2. 2. velj

    or formal verifiability or concerns of ethical nature is not isolated from the question of purpose. Finally IV) The whole activity of modeling can "go wrong" in multiple ways: the pre-conceived "reality" is wrong, or the reality is right but the model is wrong, or both are 5/n

    Prikaži ovu nit
    Poništi
  3. 2. velj

    the definition/positions of their colleagues match theirs, and many kinds of science are going to be subjective and not interesting. III) Once some notion of scientific purpose is fixed, it becomes possible to talk about "better" models. The value of reproducibility 4/n

    Prikaži ovu nit
    Poništi
  4. 2. velj

    but by including the purpose, we admit that have different interests that they may legitimately express. We admit climate denial science, and how-can-I-construct-a-research-problem-that-I-can-get-funding-for kind of science. Actors need to constantly re-evaluate 3/n

    Prikaži ovu nit
    Poništi
  5. 2. velj

    ... reality it aims to capture, and that any model has a purpose. II) Scientists are those actors engaging in "scientific models", which we will simply define as having "scientific purpose". One may argue that I have just escaped the definition of science and scientists here, 2/n

    Prikaži ovu nit
    Poništi
  6. 1. velj

    Is philosophy of math not cozy, about platonism, formalism, logicism and intuitionism. It is philosophy of science that is messier. The world is pretty screwed up, so 'searching for objective truth' now appears naïve. Some seek knowledge for the sake of it, others to gain power.

    Poništi
  7. 31. sij

    Rowan Davies, Frank Pfenning. A Modal Analysis of Staged Computation.

    Poništi
  8. 31. sij

    Martin Odersky, Matthias Zenger, Christoph Zenger. Colored Local Type Inference.

    Poništi
  9. 31. sij

    Benjamin Pierce, David Turner. Local Type Inference.

    Poništi
  10. 31. sij

    Mark P. Jones. A theory of qualified types.

    Poništi
  11. 31. sij

    Gordon D. Plotkin. Call-by-name, call-by-value and the λ-calculus.

    Poništi
  12. 31. sij

    Martin Odersky, Martin Sulzmann, Martin Wehr. Type Inference with Constrained Types. <-- from 1999, presents HM(X) Hindley Milner with constraints X; i.e. X is whatever constraint system one may want to plug in.

    Poništi
  13. 31. sij

    Francois Pottier. Simplifying subtyping constraints: a theory.

    Poništi
  14. 31. sij

    Per Martin-Löf. Intuitionistic Type Theory. aka "the Bibliopolis book from1984". linked from

    Poništi
  15. 31. sij

    Helmut Seidl. Deciding Equivalence of Finite Tree Automata.

    Poništi
  16. 31. sij

    For any algebra homies, this defines trees with labels from V as "binoïde sur un ensemble V"; a monoid with a "external associative composition operators drawn from V". Like for any a \in V, there is an operator a ^ m that adds an a-labeled root labeled over children m.

    Prikaži ovu nit
    Poništi
  17. 31. sij

    C.Pair, A.Quere. Définition et etude des Bilangages réguliers.

    Prikaži ovu nit
    Poništi
  18. 31. sij

    Ferenc Gécseg, Magnus Steinby. Tree Automata.

    Poništi
  19. 31. sij

    typo: John Doner. IIRC, this is one of the earliest papers on tree automata (1970).

    Prikaži ovu nit
    Poništi
  20. 31. sij

    Jon Doner. Tree Acceptors and Some of Their Applications.

    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:

    ·