I just read the theorem Finitely Generated Algebraic Extension is Finite. So a field being finitely generated and algebraic is a sufficient condition for it being finite. Is it also a necessary condition? In particular, can you give an example of:
A finite extension $K/F$ which is not finitely generated (by $F$ or its subfield)?
or does this always hold?