Gelfond–Schneider- satsen är ett teorem inom talteorin som fastställer transcendensen av en stor klass av tal och därigenom löser (jakande) Hilberts sjunde problem . Det bevisades oberoende 1934 av den sovjetiske matematikern Alexander Gelfond [1] och den tyske matematikern Theodor Schneider [2] .
Om - algebraiska tal , och inte noll och inte ett, utan irrationellt , då är vilket värde som helst ett transcendentalt tal . |
Ekvivalenta formuleringar för logaritmer (basen för logaritmen väljs godtyckligt) [3] :
Om - algebraiska tal , inte lika med noll eller ett, då - antingen rationellt eller transcendentalt tal . |
Om de är linjärt oberoende över fältet av rationella tal , så är de också linjärt oberoende av fältet för algebraiska tal . |
För en generalisering av den sista formuleringen, se artikeln Theory of transcendental numbers .
Satsen innebär överskridandet av några viktiga matematiska konstanter .