Skip to content

No image available
No image available

Strict Finitism and the Logic of Mathematical Applications Unknown - 2011

by Feng Ye


Details

  • Title Strict Finitism and the Logic of Mathematical Applications
  • Author Feng Ye
  • Binding unknown
  • Publisher Springer
  • Date 2011
  • ISBN 9789400713475

About the author

Feng Ye is a professor of philosophy at Peking University, China. He has a B.S. degree in mathematics from Xiamen University, China, and a Ph.D. degree in philosophy from Princeton University, U.S.A.. His research areas include constructive and finitistic mathematics, philosophy of mathematics, and philosophy of mind and language. He used to prove, for the first time, a constructive version of the spectral theorem and Stone 's theorem for unbounded linear operators on Hilbert spaces. He is currently developing a radically naturalistic, nominalistic, and strictly finitistic philosophy of mathematics, a naturalistic theory of content, and a naturalistic interpretation of modality. His research articles have been published in The Journal of Symbolic Logic, Philosophia Mathematica, and Synthese, among others. He is also the author of the book Philosophy of Mathematics in the 20th Century: a Naturalistic Commentary (in Chinese, Peking University Press, 2010). His philosophical interests revolve around naturalism.