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

Constructive formalization of the Tennenbaum theorem and its applications

โœ Scribed by V. E. Plisko


Publisher
SP MAIK Nauka/Interperiodica
Year
1990
Tongue
English
Weight
518 KB
Volume
48
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A constructive proof of the Peter-Weyl t
โœ 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