Two things are striking about this medieval definition. The first is that it is very close to the modern conception of formal consequence one finds in Bolzano and Tarski3. The second is that although Buridan and the other fourteenth-century logicians state these distinctions with a great deal of precision, they say almost nothing about the point of the distinctions. Why are these distinctions d...

Derived varieties were invented by P. Cohn in [4]. Derived varieties of a given type were invented by the authors in [10]. In the paper we deal with the derived variety Vσ of a given variety, by a fixed hypersubstitution σ. We introduce the notion of the dimension of a variety as the cardinality κ of the set of all proper derived varieties of V included in V. We examine dimensions of some varie...

This paper develops a probabilistic reconstruction of the No Miracles Argument (NMA) in the debate between scientific realists and anti-realists. The goal of the paper is to clarify and to sharpen the NMA by means of a probabilistic formalization. In particular, I demonstrate that the persuasive force of the NMA depends on the particular disciplinary context where it is applied, and the stabili...

In 1964 Erd\H{o}s proved that $(1+\oh{1})) \frac{\eul \ln(2)}{4} k^2 2^{k}$ edges are sufficient to build a $k$-graph which is not two colorable. To this day, it known whether there exist such $k$-graphs with smaller number of edges. Erd\H{o}s' bound consequence the fact hypergraph $k^2/2$ vertices and $M(k)=(1+\oh{1}) randomly chosen size $k$ asymptotically almost surely Our first main result ...

Product (AN) codes constructed in weighted number systems are investigated with the aim of devising error control features suitable for application in arithmetic units. The previous theoretical framework, which was derived in the hypothesis of codes defined in a virtual range M = k A, is restated for any physical interval M = bn, where b is the radix of the system and n is the number of digits....

El siguiente texto presenta una experiencia pedagógica acontecida en la institución educativa distrital Eduardo Umaña Luna IED (EUL) - Bogotá Colombia, el escenario de educación remota no presencial causada por pandemia del coronavirus (SARS-CoV-2); teniendo como fondo teórico tensión originada hecho transitar y habitar escuela desde materialidad hacia virtualidad; generando un lado, reparto lo...

Previous work on Korean language processing has proposed different basic segmentation units. This paper explores different possible dependency representations for Korean using different levels of segmentation granularity — that is, different schemes for morphological segmentation of tokens into syntactic words. We provide a new Universal Dependencies (UD)-like corpus based on different levels o...

The basic functions of a typical satellite, distilled to their quintessence, include only the absorption, processing, and subsequent re-radiation of photons. To this end, spacecraft components need only be able to exchange energy – which tends to be dichotomized into power and information – and transmit the occasional force or torque. Perfectly adequate and efficient mechanisms for accomplishin...