The Transcendence of π (Q7361352)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Pi_Transcendental
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Transcendence of π |
AFP entry Pi_Transcendental |
Statements
28 September 2018
0 references
Manuel Eberl
0 references
The Transcendence of π (English)
0 references
This entry shows the transcendence of π based on the classic proof using the fundamental theorem of symmetric polynomials first given by von Lindemann in 1882, but the formalisation mostly follows the version by Niven. The proof reuses much of the machinery developed in the AFP entry on the transcendence of e .
0 references
