๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A constructive proof of the circle theorem

โœ Scribed by S.D. Nigam; T. Amaranath

Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
61 KB
Volume
16
Category
Article
ISSN
0093-6413

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Constructive Proof of Gleason's Theore
A Constructive Proof of Gleason's Theorem
โœ Fred Richman; Douglas Bridges ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 167 KB

Gleason's theorem states that any totally additive measure on the closed subspaces, or projections, of a Hilbert space of dimension greater than two is given by a positive operator of trace class. In this paper we give a constructive proof of that theorem.

A constructive proof of the Peter-Weyl t
A constructive proof of the Peter-Weyl theorem
โœ Thierry Coquand; Bas Spitters ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 137 KB ๐Ÿ‘ 1 views

We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C\*-algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the cha

A Constructive Proof of a Theorem in Rel
A Constructive Proof of a Theorem in Relevance Logic
โœ Aleksandar Kron ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 461 KB ๐Ÿ‘ 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B