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

On physical proofs of mathematical theorems

โœ Scribed by J. Perdang

Publisher
Elsevier Science
Year
1983
Tongue
English
Weight
420 KB
Volume
93
Category
Article
ISSN
0375-9601

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Short proofs of classical theorems
Short proofs of classical theorems
โœ J. A. Bondy ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 81 KB

## Abstract We give proofs of Ore's theorem on Hamilton circuits, Brooks' theorem on vertex coloring, and Vizing's theorem on edge coloring, as well as the Chvรกtalโ€Lovรกsz theorem on semiโ€kernels, a theorem of Lu on spanning arborescences of tournaments, and a theorem of Gutin on diameters of orient

Easier proofs of coloring theorems
Easier proofs of coloring theorems
โœ Jan van Mill ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 90 KB

We present a simpler proof of the known theorem that a fixed-point free homeomorphism on an n-dimensional paracompact space can be colored with n + 3 colors.

Boolos-style proofs of limitative theore
Boolos-style proofs of limitative theorems
โœ Gyรถrgy Serรฉny ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 126 KB

## Abstract Boolos's proof of incompleteness is extended straightforwardly to yield simple โ€œdiagonalizationโ€freeโ€ proofs of some classical limitative theorems of logic. (ยฉ 2004 WILEYโ€VCH Verlag GmbH & Co. KGaA, Weinheim)