Fungrim entry: e2b379

{e}^{\alpha} \notin \overline{\mathbb{Q}} \;\text{ for all } \alpha \in \overline{\mathbb{Q}} \setminus \left\{0\right\}

TeX:

{e}^{\alpha} \notin \overline{\mathbb{Q}} \;\text{ for all } \alpha \in \overline{\mathbb{Q}} \setminus \left\{0\right\}

Definitions:

Fungrim symbol	Notation	Short description
`Exp`	${e}^{z}$	Exponential function
`AlgebraicNumbers`	$\overline{\mathbb{Q}}$	Algebraic numbers

Source code for this entry:

Entry(ID("e2b379"),
    Formula(All(NotElement(Exp(alpha), AlgebraicNumbers), ForElement(alpha, SetMinus(AlgebraicNumbers, Set(0))))))

Topics using this entry

2021-03-15 19:12:00.328586 UTC