Results 11 to 20 of about 66,342 (310)
Synthese, 2007 This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of ...
Michael Baumgartner, Timm Lampert
openaire +4 more sources
What Is at Stake in the Formalization of a Chronostratigraphic Unit? A Case Study on the Anthropocene [PDF]
, 2022 The prospective formalization of the Anthropocene as a chronostratigraphic unit by the International Commission on Stratigraphy has been intensely debated. This paper explores and assesses the stakes of this process from a philosophical perspective.
Bobadilla, Hernan, Hernán Bobadilla
core +1 more source
A Perspective on Interactive Theorem Provers in Physics. [PDF]
Adv Sci (Weinh)Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Tooby-Smith J.
europepmc +2 more sources
On Formality and Combinatorial Formality for Hyperplane Arrangements
Discrete & Computational Geometry, 2023 AbstractA hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the fact that complex arrangements with aspherical complements are formal.
Tilman Möller +2 more
openaire +4 more sources
The Quantum Formalism and the GRW Formalism [PDF]
Journal of Statistical Physics, 2012 The Ghirardi-Rimini-Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so ...
Sheldon Goldstein +2 more
openaire +2 more sources
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ASTESIANO, EGIDIO, REGGIO, GIANNA
openaire +3 more sources
Bootstrapping extensionality: Agda formalization
, 2023 Agda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality"
Sestini, Filippo
core +3 more sources
FIQH KEINDONESIAAN: Transformasi Hukum Islam Dalam Sistem Tata Hukum Di Indonesia
Analisis, 2017 INDONESIAN JURISPRUDENCE: ISLAMIC LAW TRANSFORMATION IN LAW SYSTEM OF INDONESIA.: This study discusses about the idea of Islamic law renewal in Indonesia, as well as the figures, and it makes the term of Indonesian Jurisprudence ...
Chamim Tohari
doaj +1 more source
EXTENDING LEAN CELLULAR AUTOMATA FRAMEWORK – BOUNDARY CONDITIONS AND PROPERTIES OF CANONICAL FORMS [PDF]
Acta Electrotechnica et Informatica, 2020 We present several extensions to our Lean–based formal mechanized framework for computing with cellular automata (CA). First we extend the definition of CAs to allow for specification of arbitrary boundary conditions.
Frantisek SILVASI, Martin TOMASEK
doaj +1 more source
Formalization of the Equivalence among Completeness Theorems of Real Number in Coq
Mathematics, 2020 The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential.
Yaoshun Fu, Wensheng Yu
doaj +1 more source