Results 271 to 280 of about 2,494,307 (343)
Towards A Foundation of A General Proof Theory
, 1973 Publisher Summary This chapter discusses general proof theory. The name proof theory was originally given by Hilbert to a constructive study of proofs with certain specific aims. By such a study, the consistency of mathematics is established or, more generally, a reduction of mathematics to a certain constructive part is obtained. Hence, the study of
Dag Prawitz
semanticscholar +3 more sources
On the Proof-theoretic Foundation of General Definition Theory
Synthese, 2006 A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind ...
Lars Hallnäs
semanticscholar +3 more sources
Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory
, 1979 A working definition of the distinction intended in the title is this. Proof theory is principally interested in what is traditionally called the essence or, equivalently, ‘defining property’ of proofs, namely their being valid arguments. This property of validity, which — like most notions and questions of traditional philosophy — occurs to us at a ...
G. Kreisel
semanticscholar +3 more sources
Secondary teachers’ knowledge of elementary number theory proofs: the case of general-cover proofs
Journal of Mathematics Teacher Education, 2011 In light of recent reform recommendations, teachers are expected to turn proofs and proving into an ongoing component of their classroom practice. Two questions emerging from this requirement are: Is the mathematical knowledge of high school teachers sufficient to prove various kinds of statements?
Michal Tabach +5 more
openalex +2 more sources
Systems & Control Letters, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tor Arne Johansen, Erik Weyer
openalex +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
On the experimental proof of the general theory of electron emission from metals
Solid-State Electronics, 1968Abstract A comparison is made between the recently developed general theory of thermionic and field emission from metals and the available experimental data related to the dependence of the electron emission current on both temperature and field (Andreev, Dyke et al. , Drechsler, Haag). It is shown that the measurements at relatively strong currents
S.G. Christov, C.M. Vodenicharov
openaire +2 more sources
General Proof of Modigliani-Miller Propositions I and II using Parameter- Preference Theory
The Journal of Financial and Quantitative Analysis, 1978 The following proof of Modigliani and Miller's (MM) [2] famous propositions concerning the valuation of the firm and the cost of capital does not require the usual risk-class or arbitrage assumptions; the proof depends only on the Fundamental Theorem of Parameter-preference, which states that the riskpremium for security A is a linear combination of ...
Jack Becker
openalex +2 more sources
Proof theory and non-smooth analysis
Philosophical Transactions of the Royal Society A, 2023We develop a general proof-theoretic framework for various classes of set-valued operators, including maximally as well as cyclically monotone and rectangular operators and we discuss a treatment for sums of set-valued operators A,B in that context such ...
U. Kohlenbach, Nicholas Pischke
semanticscholar +1 more source