Introduction to the history of mycology