The first to actually prove there were transcendental numbers was Joseph Liouville . He did this in 1844 .
The existence of transcendental numbers was first established by Liouville ( 1844 , 1851 ) .