Anhinga anhinga playground

ivanov_petrov в последнее время публикует много интересных фотографий (ну и между делом всякие небасни тоже, и желательность университетского мифа для России проповедует):

http://ivanov-petrov.livejournal.com/1223250.html

( Read more... )

Journal of Machine Learning Research:

http://jmlr.csail.mit.edu/

For real, this time?

http://www.boston.com/news/local/massachusetts/articles/2009/03/03/mgh_to_use_genetics_to_personalize_cancer_care/?page=full

March 3, 2009

"Cancer doctors at Massachusetts General Hospital plan within a year to read the genetic fingerprints of nearly all new patients' tumors, a novel strategy designed to customize treatment. ( Read more... )"

Limited internet connectivity during this period, but I'll try to check the comments to this post.

( Pinewoods of Castel Fusano, Ostia )

This book resonates with me lately:

http://en.wikipedia.org/wiki/Straw_Dogs:_Thoughts_on_Humans_and_Other_Animals

Limited internet connectivity during this period, but I'll try to check the comments to this post.

"Свежее щелканье амариллисов, записанное на цифровой диктофон Samsung и воспроизведенное в обратном порядке с утроенной скоростью, способно придать мягкий вкус вашему отвару из корней суслика." (Карманный оракул, ikadell)

I liked reading this profile (in the actual magazine issue):

http://www.newyorker.com/reporting/2009/01/12/090112fa_fact_toobin

This journal has tags now, thanks to _rowan_tree_:

http://anhinga-drafts.livejournal.com/tag/

I should probably tag anhinga_anhinga as well..

Update: I've tagged about a third of anhinga_anhinga, but the set of its tags is much more eclectic.

Still, it's already useful, for example, here is the Photo Stream.

Let's look at the bijection mentioned in the previous post more closely. A model is "a map from the syntactic theory to a semantic space". In particular, given a Lindenbaum algebra L(T) we can build a "generic model" of T called M_T in L(T) (by mapping the propositional variables to their classes of equivalences in L(T) ).

Now, for a homomorphism f : L(T) → A, the corresponding model of the theory T in A is a map f o M_T (mapping the propositional variables to the elements of A).

Now, if we look at the post of June 9, we'll see a duality between generalized points and models. "Generic point" and "generic model" correspond to each other, and global points 1 → X correspond to standard models in the 2-valued Boolean algebra 2 = {false, true}, that is to the homomorphisms L(T) → 2.

One of the main ideas in the Vickers' text is that one can think about all kinds of spaces as spaces of models (one takes a space and starts thinking about its points as models of a logical theory of an appropriate type, usually more complex than classical propositional logic), and that in a large variety of logical situations one can take all models and form a space from them.