Harvey Friedman
About
Harvey Friedman has authored 41 papers that have received a total of 582 indexed citations.
This includes 27 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 16 papers in Geometry and Topology. The topics of these papers are Computability, Logic, AI Algorithms (18 papers), Logic, Reasoning, and Knowledge (15 papers) and Advanced Topology and Set Theory (15 papers). Harvey Friedman is often cited by papers focused on Computability, Logic, AI Algorithms (18 papers), Logic, Reasoning, and Knowledge (15 papers) and Advanced Topology and Set Theory (15 papers) and collaborates with scholars based in United States and China. Harvey Friedman's co-authors include Andre Scedrov, Jeremy Avigad, Penelope Maddy, Solomon Feferman and Chris Miller and has published in prestigious journals such as Proceedings of the National Academy of Sciences, Journal of Clinical Investigation and Annals of Mathematics
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Hanghang Wang Top authors papers by D. L. Foster are co-authored with Top countries impacted by papers by Richard Aspinall Top countries impacted by papers by James W. Cunningham Top authors papers by David Hall are co-authored with Top fields papers by Ole Ovesen are about Top fields papers by G. A. Boffa are about Top journals papers by Tom Reynolds are published in