Results 1 to 10 of about 1,240,536 (266)
Herbrand Proofs and Expansion Proofs as Decomposed Proofs [PDF]
Journal of Logic and Computation, 2020 Abstract The reduction of undecidable first-order logic to decidable propositional logic via Herbrand’s theorem has long been of interest to theoretical computer science, with the notion of a Herbrand proof motivating the definition of expansion proofs.
openaire +1 more source
Proofs of Proof-of-Stake with Sublinear Complexity
CoRR, 2022 Popular Ethereum wallets (like MetaMask) entrust centralized infrastructure providers (e.g., Infura) to run the consensus client logic on their behalf. As a result, these wallets are light-weight and high-performant, but come with security risks. A malicious provider can mislead the wallet by faking payments and balances, or censoring transactions.
Agrawal, Shresth +3 more
openaire +5 more sources
, 2022 We provide all the details of proof about the submission titled " An AC-Feasible Linear Model in Distribution Networks with Energy Storage ".
Wei Lin (5479430)
core +1 more source
The Review of Symbolic Logic, 2020 Abstract This paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to.
openaire +3 more sources
A Communication Proof Equilibrium Concept [PDF]
, 1996 This paper proposes an equilibrium concept for the classes of environments in which players can communicate with each other but cannot make binding agreements.
Ferreira, José Luis
core +3 more sources
Different Proofs are Good Proofs
EPiC Series in Computing, 2018 In order to compare the quality of proofs, it is necessary to measure artifacts of the proofs, and evaluate the measurements to determine differences between the proofs. This paper discounts the approach of ranking measurements of proof artifacts, and takes the position that different proofs are good proofs.
Geoff Sutcliffe +4 more
openaire +2 more sources
Proofs, Proofs, Proofs, and Proofs [PDF]
, 2010 In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence. Sociologically, however, it is more difficult to say what should constitute a proof and what not.
openaire +2 more sources
Journal of Computer and System Sciences, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexander A. Razborov, Steven Rudich
openaire +3 more sources
INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]
The Review of Symbolic Logic, 2015 AbstractIncreases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
openaire +1 more source