Jeffrey Yi-Lin Forrest

Jeffrey Yi-Lin Forrest

Slippery Rock University
在 sru.edu 的电子邮件经过验证
被引用次数：12709
business studies systems research foundations of mathematics
Vladimir Voevodsky

Vladimir Voevodsky

Institute for Advanced Study
被引用次数：10888
Mathematics Algebraic Geometry Foundations of Mathematics
Patrik Eklund

Patrik Eklund

Professor in Computer Science, Umeå University, Sweden
在 cs.umu.se 的电子邮件经过验证
被引用次数：7388
AI Algebraic Logic Foundations of Mathematics Medical Informatics
Stephen G. Simpson

Stephen G. Simpson

Research Professor, Mathematics, Vanderbilt University
在 psu.edu 的电子邮件经过验证
被引用次数：6642
Mathematical Logic Foundations of Mathematics Degrees of Unsolvability Ramsey Theory
Arnon Avron

Arnon Avron

Professor of Computer Science, Tel Aviv university
在 cs.tau.ac.il 的电子邮件经过验证
被引用次数：6620
Logic Foundations of Mathematics Automated Reasoning
Valentin Turchin

Valentin Turchin

Emeritus Professor of Computer Science, City College, City University of New York
在 vub.ac.be 的电子邮件经过验证
被引用次数：4122
Cybernetics Artificial Intelligence Foundations of Mathematics Compilers Philosophy
Vladimir Kanovei (Владимир Григорьевич Кановей)

Vladimir Kanovei (Владимир Григорьевич Кановей)

IITP, Moscow, Russia
在 iitp.ru 的电子邮件经过验证
被引用次数：2340
nonstandard analysis logic set theory foundations of mathematics
Joan Bagaria

Joan Bagaria

ICREA Research Professor, Universitat de Barcelona
在 ub.edu 的电子邮件经过验证
被引用次数：1149
Set Theory Mathematical Logic Foundations of Mathematics Philosophy of Mathematics large Cardinals
Jaap van Oosten

Jaap van Oosten

Senior Lecturer in Mathematics, Utrecht University
在 uu.nl 的电子邮件经过验证
被引用次数：1051
Logic Foundations of Mathematics Topos Theory
Benno van den Berg

Benno van den Berg

Assistant professor, University of Amsterdam
在 uva.nl 的电子邮件经过验证
被引用次数：1010
Logic Category Theory Foundations of Mathematics
1 - 10