下列人物中，发现了电磁感应现象，为发电机的发明提供了理论依据的是( )。