Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @burakemir
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @burakemir
-
"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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
... 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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.https://twitter.com/JadeMasterMath/status/1223692392240316416 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rowan Davies, Frank Pfenning. A Modal Analysis of Staged Computation. https://www.cs.cmu.edu/~fp/papers/jacm00.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Odersky, Matthias Zenger, Christoph Zenger. Colored Local Type Inference. http://lampwww.epfl.ch/~odersky/papers/popl01.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Benjamin Pierce, David Turner. Local Type Inference. https://www.cis.upenn.edu/~bcpierce/papers/lti-toplas.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mark P. Jones. A theory of qualified types. https://core.ac.uk/download/pdf/82271317.pdf …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Gordon D. Plotkin. Call-by-name, call-by-value and the λ-calculus. https://doi.org/10.1016/0304-3975(75)90017-1 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Francois Pottier. Simplifying subtyping constraints: a theory. https://doi.org/10.1006/inco.2001.2963 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Per Martin-Löf. Intuitionistic Type Theory. aka "the Bibliopolis book from1984". linked from https://en.wikipedia.org/wiki/Intuitionistic_type_theory …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Helmut Seidl. Deciding Equivalence of Finite Tree Automata.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
C.Pair, A.Quere. Définition et etude des Bilangages réguliers. https://doi.org/10.1016/S0019-9958(68)90999-6 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ferenc Gécseg, Magnus Steinby. Tree Automata. https://arxiv.org/abs/1509.06233
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
typo: John Doner. IIRC, this is one of the earliest papers on tree automata (1970).
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jon Doner. Tree Acceptors and Some of Their Applications. https://doi.org/10.1016/S0022-0000(70)80041-1 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.