Results 251 to 260 of about 1,842,228 (287)

Generic power of number theory proofs

2022
To design generic proving multiple proof tasks, we use an epistemological tool in which the idea of generic power plays a crucial role. Thanks to a number theory case, we show how it works and then we open the discussion in a didactical way focusing on the Secondary-Tertiary transition.
openaire   +1 more source

Generalization in Type Theory Based Proof Assistants

2002
This paper describes a mechanism to generalize mathematical results in type theory based proof assistants. The proposed mechanism starts from a proved theorem or a proved set of theorems (a theory) and makes it possible to get less specific results that can be instantiated and reused in other contexts.
openaire   +2 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 ...
openaire   +1 more source

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
openaire   +1 more source

On convergence proofs in system identification – a general principle using ideas from learning theory

Systems & Control Letters, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Johansen, Tor A., Weyer, Erik
openaire   +1 more source

Skirmishing toward a general theory of evidence and proof

The International Journal of Evidence & Proof
Traditional probability fundamentally assumes bivalence and additivity: there is only truth and falsity, whose odds add to one. The consequence is many problems and paradoxes for factfinding, all attributable to the assumptions’ exclusive focus on random uncertainty. By contrast, multivalent belief theory abjures those two assumptions, thereby allowing
openaire   +1 more source

On the experimental proof of the general theory of electron emission from metals

Solid-State Electronics, 1968
Abstract 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   +1 more source

On the generation of d-ordered sets: a proof based on determinant theory

IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 1992
Summary: A \(d\)-ordered set is equivalent to an oriented matroid and thus is important for mathematical applications and theory. A method has been given for generating \(d\)-ordered sets from sets of points in \(\mathbb{R}^{d+1}\). Let \(X\subseteq\mathbb{R}^{d+1}\) be such a set of points, the elements of \(X\) being considered as column vectors. For
openaire   +2 more sources

A generalization of the proof of the triviality of scalar field theories

Journal of Mathematical Physics, 1983
The proof of the triviality of φ4 theory in d>4 dimensions is generalized. We show that the triviality of scalar field theories holds for a wide class of potentials.
openaire   +1 more source

Computer-generated conjectures(!) and proofs(!!) in combinatorial game theory (II) (abstract only)

ACM Communications in Computer Algebra, 2008
This will be a follow up talk to my wonderful advisor Doron Zeilberger. People like to make fun of me for playing games. But playing games is fun and helps me do math better. I will give more examples of games and show how computers can make conjectures and prove theorems about them. (Received September 19, 2007).
openaire   +1 more source