Gelfond-Schneider- sætningen er en sætning i talteori , der etablerer transcendens af en stor klasse af tal og derved løser (bekræftende) Hilberts syvende problem . Det blev bevist uafhængigt i 1934 af den sovjetiske matematiker Alexander Gelfond [1] og den tyske matematiker Theodor Schneider [2] .
Hvis - algebraiske tal , og ikke nul og ikke én, men irrationelle , så er enhver værdi et transcendentalt tal . |
Ækvivalente formuleringer for logaritmer (grundlaget for logaritmen er valgt vilkårligt) [3] :
Hvis - algebraiske tal , ikke lig med nul eller en, så - enten rationelt eller transcendentalt tal . |
Hvis er lineært uafhængige over feltet af rationelle tal , så er de også lineært uafhængige over feltet af algebraiske tal . |
For en generalisering af den sidste formulering, se artiklen Theory of transcendental numbers .
Sætningen indebærer transcendens af nogle vigtige matematiske konstanter .