Solomon Feferman
- Arithmetization of metamathematics in a general setting
1960/01/01 by S. Feferman, Solomon Feferman · 320 citations
Computer Science · Mathematics · Medicine · #Advanced Algebra and Logic #Calculus (dental) #Computability, Logic, AI Algorithms #History and Theory of Mathematics #Mathematics #Medicine #Orthodontics #Pure mathematics
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
1981/01/01 by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers +1 · 119 citations
Computer Science · Mathematics · Medicine · #Advanced Algebra and Logic #Algebra over a field #Calculus (dental) #Inductive method #Iterated function #Mathematical analysis #Mathematical economics #Mathematics #Mathematics education #Medicine #Neural Networks and Applications #Pure mathematics #Rough Sets and Fuzzy Logic
- Mathematical Intuition Vs. Mathematical Monsters*
2000/12/01 by Solomon Feferman · 57 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Epistemology #Intuition #Mathematical and Theoretical Analysis #Mathematics #Metaphysics #Philosophy #Philosophy of language #Philosophy of science #Philosophy of technology