Results 31 to 40 of about 695,402 (315)
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory [PDF]
Logical Methods in Computer ScienceBishop's measure theory (BMT) is an abstraction of the measure theory of a locally compact metric space $X$, and the use of an informal notion of a set-indexed family of complemented subsets is crucial to its predicative character.
Iosif Petrakis, Max Zeuner
doaj +1 more source
En quoi la crise des fondements des mathématiques est-elle terminée ?
Philosophia Scientiæ, 2005 The « crisis in the foundations of mathematics » (1902-1931) contributed to the advent of an axiomatic set-theoretic paradigm in terms of which the pressing questions of « Foundations of Mathematics » are still treated.
Emmanuel Barot
doaj +1 more source
Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School
Studia Historiae Scientiarum, 2022 The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Jan Woleński
doaj +1 more source
CZF does not have the Existence Property [PDF]
, 2014 Constructive theories usually have interesting metamathematical properties where explicit witnesses can be extracted from proofs of existential sentences.
Swan, Andrew W
core +1 more source
Operational axioms for diagonalizing states [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum ...
Giulio Chiribella, Carlo Maria Scandolo
doaj +1 more source
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? [PDF]
, 2014 When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004 survey article on Auction Theory using the Isabelle/HOL system, and we ...
C. Lange +6 more
core +2 more sources
Development and Validation of a Parenting Styles Scale based on Glasser\'s Choice Theory [PDF]
خانواده و پژوهش, 2020 The present study set out to develop and validate a parenting styles questionnaire based on Glasser’s choice theory. The design of this quantitative research was correlational. The statistical population of the study was comprised of all parents of 7- to
S. Azad +2 more
doaj
Type Directed Partial Evaluation for Level-1 Shift and Reset [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We present an implementation in the Coq proof assistant of type directed partial evaluation (TDPE) algorithms for call-by-name and call-by-value versions of shift and reset delimited control operators, and in presence of strong sum types.
Danko Ilik
doaj +1 more source
Heyting-valued interpretations for Constructive Set Theory [PDF]
Annals of Pure and Applied Logic, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Interfaces and the extended Hilbert space of Chern-Simons theory
Journal of High Energy Physics, 2020 The low energy effective field theories of (2 + 1) dimensional topological phases of matter provide powerful avenues for investigating entanglement in their ground states.
Jackson R. Fliss, Robert G. Leigh
doaj +1 more source