Hemeroteca del mes octubre, 2017

Leopoldo Puchi 2018: La hora de la verdad

Por • 28 oct, 2017 • Category: Nacionales

Leopoldo Puchi 26-10-2017. Las recientes elecciones de gobernadores son valiosas en sí mismas, por supuesto, porque tienen un significado en la gestión de espacios institucionales cercanos a la vida cotidiana de la gente. Pero al mismo tiempo, y sobre todo en el contexto actual, esas elecciones son un eslabón de un entramado mayor en la […]



Do two parties represent the US? Clustering analysis of US public ideology survey

Por • 28 oct, 2017 • Category: sociologia

Recent surveys have shown that an increasing portion of the US public believes the two major US parties inadequately represent the US public opinion, and think additional parties are needed. However, there are high barriers for third parties in political elections. In this paper, we aim to address two questions: “How well do the two major US parties represent the public’s ideology?” and “Does a more-than-two-party system better represent the ideology of the public?”. To address these questions, we utilize the American National Election Studies Time series dataset, a dataset of opinion surveys of 20,502 individuals over multiple political issues since 1948. We perform unsupervised clustering with Gaussian Mixture Model method on this dataset, and we find the cluster center found under a two-cluster restriction is close to the party centers, which are estimated using the mean position of the individuals self-identified with the parties. We conclude that the major US parties are representative of the US population under the constraint that the political system is limited to two parties



Strengthening the Russia-Israeli “Strategic Partnership”, Russia’s Defense Minister Shoigu Visits Israel

Por • 26 oct, 2017 • Category: Internacionales

Russia has never stopped “Israel” from bombing any targets in Syria because of the 2015 military coordination agreement that the two sides signed just immediately before Moscow’s decisive anti-terrorist intervention in the country. Russia’s military mandate is only to fight against terrorist groups in the Arab Republic, not protect the Syrian Arab Army, but Moscow and Tel Aviv wanted to reduce the chances of any unintended clash between the two armed forces as they carried out their separate missions in the country, hence why they promulgated the aforesaid agreement. Aside from this particular instance where Tel Aviv blames Damascus for firing at it first, “Israel” usually conducts its strikes on the grounds that it’s “targeting Hezbollah or the Iranian Revolutionary Guards Corps (IRGC)”.



Venezuela: ¿Por qué volvió a ganar el chavismo

Por • 26 oct, 2017 • Category: Política

El pasado domingo 15 de octubre fue un día muy especial en Venezuela. Contra casi todos los pronósticos, el oficialista Partido Socialista Unido de Venezuela (PSUV) obtuvo un triunfo holgado en las elecciones para gobernadores y dejó a la oposición contra las cuerdas. En el medio de la crisis económica más fuerte en la historia moderna del país, el gobierno pudo asestar un duro golpe a la moral de la oposición que aseguraba representar al 85% del electorado y obtuvo 18 de las 23 gobernaciones en juego. Completamente atónitos, gobiernos de Estados Unidos, España, Argentina y de otros países hostiles al chavismo, declararon írrita la elección y victimizaron a los vencidos. Cabría preguntarse cómo, por qué y cuándo se gestó una derrota tan inesperada por la «comunidad internacional» antichavista y cuáles son las perspectivas para un futuro inmediato que se torna aciago para quienes enfrentan al gobierno.



Moverse en dirección correcta

Por • 26 oct, 2017 • Category: Nacionales

  Rafael Palacios 24 de Octubre 2017. La sociedad del conocimiento como proyecto político planteó en su momento enormes desafíos. Para la mayoría de los países en vías de desarrollo este concepto no ha dado el impulso necesario para transformar la economía. Más bien, allí la economía sigue siendo improductiva con alto nivel de retraso […]



Complex Contagions: A Decade in Review

Por • 24 oct, 2017 • Category: sociologia

Since the publication of ‘Complex Contagions and the Weakness of Long Ties’ in 2007, complex contagions have been studied across an enormous variety of social domains. In reviewing this decade of research, we discuss recent advancements in applied studies of complex contagions, particularly in the domains of health, innovation diffusion, social media, and politics. We also discuss how these empirical studies have spurred complementary advancements in the theoretical modeling of contagions, which concern the effects of network topology on diffusion, as well as the effects of individual-level attributes and thresholds. In synthesizing these developments, we suggest three main directions for future research. The first concerns the study of how multiple contagions interact within the same network and across networks, in what may be called an ecology of contagions.



Proof Search Algorithm in Pure Logical Framework

Por • 24 oct, 2017 • Category: Crítica

By a pure logical framework we mean a framework which does not rely on any particular formal calculus. For example, Metamath is an instance of a pure logical framework. Another example is the Russell system (this https URL). In this paper, we describe the proof search algorithm used in Russell. The algorithm is proved to be correct and complete, i.e. it gives only valid proofs and any valid proof can be found (up to a substitution) by the proposed algorithm.



System Description: Russell – A Logical Framework for Deductive Systems

Por • 24 oct, 2017 • Category: Ambiente

Russell is a logical framework for the specification and implementation of deductive systems. It is a high-level language with respect to Metamath language, so inherently it uses a Metamath foundations, i.e. it doesn’t rely on any particular formal calculus, but rather is a pure logical framework. The main difference with Metamath is in the proof language and approach to syntax: the proofs have a declarative form, i.e. consist of actual expressions, which are used in proofs, while syntactic grammar rules are separated from the meaningful rules of inference. Russell is implemented in c++14 and is distributed under GPL v3 license. The repository contains translators from Metamath to Russell and back. Original Metamath theorem base (almost 30 000 theorems) can be translated to Russell, verified, translated back to Metamath and verified with the original Metamath verifier. Russell can be downloaded from the repository this https URL



Elementos de Filosofía de las Ciencias

Por • 23 oct, 2017 • Category: Portada

Estos Elementos de filosofía de las Ciencias pretenden ser una especie de continuación de los Elementos de filosofía, publicados en 1959 por la Dirección de Cultura de la U. C. V. y reeditados más de una vez en años posteriores. Así que no hace falta repetir aquí lo que en el Prólogo a ellos se dijo, y dice aún, sobre la restringida finalidad, limitados medios y estilo didáctico y sugerente de aquella obra, —y de ésta—, elementales las dos. Aquí el tema es filosofía de las ciencias, tratado en forma sistemática, —y no histórica. Los ejemplos empleados están tomados de diversas ciencias, tal cual se presentan actualmente; empero el marco filosófico es de universal aplicación, no sólo a otras ciencias —o aspirantes a ciencias— de las mencionadas y aprovechadas en esta obrita, sino a las demás. Los profesores de ellas podrán fácilmente aportar otros ejemplos, verosímilmente mejores y más adecuados a la ciencia especial que, por obligación o devoción, tuvieren que explicar. No hace falta decir que el autor tiene perfectamente clara conciencia del atrevimiento que supone, a estas alturas de la ciencia actual, filosofar sobre ella; y, lo que es peor y más aventurado, intentar sistematizar un campo de conocimiento desde hace siglos rico y constantemente enriquecido, más por avalanchas que por ordenado acrecimiento de ideas. El autor se excusa sinceramente de su audacia, de sus ignorancias inevitables, y sólo desea poder reconocer públicamente los méritos de quien lo haga mejor.



The system of integer functions, an efficient version of discrete mathematical analysis

Por • 23 oct, 2017 • Category: Leyes

Abstract: The proposed system of integer functions is logically fully independent from the traditional mathematical analysis of the real functions, but there is a well-defined mutual correspondence between the two disciplines. The system of integer functions intends to help to make the transition from the present approach to the problems of the calculus to a more computer-centric one as smooth and efficient as possible , and to find a way to some kind of synthesis of the discrete and continuous