Results 81 to 90 of about 21,244 (142)
From Translations to Non-Collapsing Logic Combinations
Bulletin of the Section of LogicPrawitz suggested expanding a natural deduction system for intuitionistic logic to include rules for classical logic constructors, allowing both intuitionistic and classical elements to coexist without losing their inherent characteristics.
João Rasga, Cristina Sernadas
doaj +1 more source
Forum of Mathematics, SigmaWe prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient spaces ...
Sebastian Eterović, Thomas Scanlon
doaj +1 more source
Kurta Gödla dowód na istnienie Boga
Zagadnienia Filozoficzne w Nauce, 2007 Recenzja książki: Kurt Gödel, La prova matematica dell’esistenza di Dio, red. Lolli, P. Odifreddi, Wyd. Bollati Boringhaieri, Torino 2006, ss. 123.
Michał Heller
doaj
Correction: A mitochondria targeted nitroreductase-sensitive self-immolative spacer as an efficient shuttle for uncharged amine-based molecules. [PDF]
Chem SciMichel L +4 more
europepmc +1 more source
Gödelian embodied self-referential genomic intelligence: lessons for AI and AGI from the genomic blockchain. [PDF]
Front Robot AIMarkose S.
europepmc +1 more source
Editorial: Narrow and general intelligence: embodied, self-referential social cognition and novelty production in humans, AI and robots. [PDF]
Front Robot AIMarkose S +4 more
europepmc +1 more source
Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]
Mon Hefte Mathvon Plato J.
europepmc +1 more source
Large infinities and definable sets. [PDF]
Proc Natl Acad Sci U S AAguilera JP, Bagaria J, Lücke P.
europepmc +1 more source
Universal Latent Representation in Finite Ring Continuum. [PDF]
Entropy (Basel)Akhtman Y.
europepmc +1 more source