Hemeroteca del mes marzo, 2022

A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction

Por • 30 mar, 2022 • Category: Leyes

Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive operators. That is, the duality of functions is not derived in the calculus but adopted as a principle of the calculus. In this paper, we propose a simple symmetric lambda-calculus corresponding to the negation-free natural deduction based bilateralism in proof-theoretic semantics. In our calculus, continuation types are represented as not negations of formulae but formulae with negative polarity. Function types are represented as the implication and but-not connectives in intuitionistic and paraconsistent logics, respectively. Our calculus is not only simple but also powerful as it includes a call-value calculus corresponding to the call-by-value dual calculus invented by Wadler. We show that mutual transformations between expressions and continuations are definable in our calculus to justify the duality of functions. We also show that every typable function has dual types. Thus, the duality of function is derived from bilateralism.



What properties of numbers are needed to model accelerated observers in relativity?

Por • 30 mar, 2022 • Category: Ciencia y tecnología

We investigate the possible structures of numbers (as physical quantities) over which accelerated observers can be modeled in special relativity. We present a general axiomatic theory of accelerated observers which has a model over every real closed field. We also show that, if we would like to model certain accelerated observers, then not every real closed field is suitable, e.g., uniformly accelerated observers cannot be modeled over the field of real algebraic numbers. Consequently, the class of fields over which uniform acceleration can be investigated is not axiomatizable in the language of ordered fields.



On the Constructive Truth and Falsity in Peano Arithmetic

Por • 30 mar, 2022 • Category: Filosofía

Recently, Artemov [4] offered the notion of constructive consistency for Peano Arithmetic and generalized it to constructive truth and falsity in the spirit of Brouwer-Heyting-Kolmogorov semantics and its formalization, the Logic of Proofs. In this paper, we provide a complete description of constructive truth and falsity for Friedman’s constant fragment of Peano Arithmetic. For this purpose, we generalize the constructive falsity to n-constructive falsity where n is any positive natural number. We also establish similar classification results for constructive truth and n-constructive falsity of Friedman’s formulas. Then, we discuss `extremely’ independent sentences in the sense that they are classically true but %unprovable in Peano Arithmetic neither constructively true nor n-constructive false for any n.



Biden dice que «no se retracta» de haber dicho que Putin no puede permanecer en el poder

Por • 30 mar, 2022 • Category: Ambiente

«No me retracto para nada (…) Quiero dejar claro que no estaba ni entonces ni ahora articulando un cambio de política. Estaba expresando la indignación moral que siento, no me disculpo por mis sentimientos personales», manifestó este lunes 28 de marzo ante los periodistas en la Casa Blanca.



El Partido Comunista de Venezuela denuncia el asesinato de otro militante

Por • 30 mar, 2022 • Category: Nacionales

Caracas, 28 mar (EFE).- El Partido Comunista de Venezuela (PCV) denunció este lunes el asesinato de su militante Juan de Dios Hernández en el estado Apure, fronterizo con Colombia, menos de tres meses después de que fuera ultimado en la misma zona José Urbina, miembro de la misma formación. «A menos de tres meses del […]



Hernández Lárez denuncia hallazgo de nuevo campamento terrorista narcotraficante colombiano

Por • 30 mar, 2022 • Category: Nacionales

  AVN Caracas, 28/03/2022 .- Este lunes el Comandante Estratégico Operacional, Domingo Hernández Lárez, anunció a través de su cuenta oficial en la red social Twiiter, el hallazgo de otro campamento terrorista narcotraficante colombiano (Tancol) en pleno territorio venezolano, lleno de materiales de muerte y destrucción, procedente y fabricado en Colombia. Al respecto, agregó el General Hernández […]



El G7 se niega a pagar el suministro de gas ruso en rublos

Por • 30 mar, 2022 • Category: Nacionales

Berlín, 28/03/2022 (Sputnik) — Los países del Grupo de los Siete (G7) no tienen intención de pagar el suministro de gas ruso en rublos, declaró el ministro alemán de Economía Robert Habek. «Todos los ministros de energía del G7 están de acuerdo en que [realizar el pago de los suministros de gas en rublos a […]



Luis Eduardo Martínez: Venezuela y EEUU deberían empeñarse en restablecer el comercio petrolero

Por • 30 mar, 2022 • Category: Nacionales

Diario El Universal 28/03/2022. Los gobiernos de Venezuela y Estados Unidos deberían empeñarse en restablecer prontamente el comercio petrolero fijando como meta por lo menos el volumen de intercambio existente antes de las medidas restrictivas extranjeras. Para Estados Unidos, crecientes volúmenes de crudo venezolano presionarían a la baja los precios de la gasolina que se […]



Oficina humanitaria de la ONU atendió a 366.000 venezolanos en enero

Por • 30 mar, 2022 • Category: Nacionales

Por EFE marzo 28, 2022. La oficina humanitaria de la ONU informó que 366.000 venezolanos recibieron algún tipo de ayuda durante el pasado mes de enero a través del Plan de Respuesta Humanitaria en de la organización en el país. «En enero de 2022, la asistencia humanitaria llegó a 366.000 personas con algún tipo de ayuda. La Respuesta […]



Ideólogos e ideologías de la nueva guerra tibia (III). Alexander Dugin

Por • 30 mar, 2022 • Category: sociologia

De modo que se puede comprender las justificaciones de la invasión a Ucrania, con las mismas razones de prudencia geopolítica con las que se pueden comprender el decreto Obama de caracterizar a Venezuela como amenaza a su seguridad nacional. Claro: hay que salvar muchas distancias para establecer la analogía. Los grupos nazis que ha financiado el gobierno ucraniano no tienen las mismas proporciones, armamento, ideología y formas de acción de los «guarimberos» venezolanos. Tampoco la patética ineptitud de los militares venezolanos, demostrada frente a las guerrillas colombianas en las zonas fronterizas. El punto es que ahora la geopolítica es ideología dominante. Las zonas de influencia, los «espacios vitales», los «patios traseros», las desconfianzas y resquemores ante los vecinos, pueden justificar «operaciones militares». De hecho, este tipo de argumentos los ha usado el imperialismo norteamericano, tan real y peligroso como los otros, que intentan cambiar el orden mundial impuesto cuando se cayó el Muro de Berlín.