OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Solomon Feferman

 Home Mathematics Fields of mathematics Mathematical logic Mathematical logicians
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Solomon Feferman (born 1928) is an American mathematician and philosopher known for his work in logic, philosophy of mathematics, and computability theory. He has made significant contributions to the foundations of mathematics, particularly in areas related to formal systems and the implications of Gödel's incompleteness theorems. Feferman has also worked on the concept of predicativity and the foundations of arithmetic and set theory.

 Ancestors (5)

  1. Mathematical logicians
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook