Pettkó János
János Pettkó
bányamérnök, geológus, akadémiai tanár, 1812-1890