Solomon Feferman

Solomon Feferman er en amerikansk filosof og matematiker med værker i matematisk logik. Han blev født i New York, New York, og fik sin Ph.D. i 1957 fra University of California, Berkeley under Alfred Tarski. Han er en Stanford University professor.

Feferman blev tildelt Schock-prisen i logik og filosofi i 2003 og leveret Tarski Forelæsninger i 2006. I 2012 blev han en kollega af den amerikanske Mathematical Society.

Feferman var redaktør-in-chief af de Samlede Værker af Kurt Gödel.

Udvalgte publikationer

  • I lyset af Logic gennemgang.
  • Avigad, J .; Feferman, S. Gödel funktionelle fortolkning. Håndbog bevis teori, 337-405, Stud. Logik fundet. Math., 137, Nord-Holland, Amsterdam.
  • Feferman, S .; Vaught, RL De første ordens egenskaber af produkter af algebraiske systemer. Fonden. Math. 47, 57-103.
  • Feferman, Solomon Konstruktive teorier om funktioner og klasser. Logik kollokvium '78, s. 159-224, Stud. Logic Fonde Math., 97, Nord-Holland, Amsterdam-New York.
  • Feferman, Solomon Et sprog og aksiomer for eksplicitte matematik. Algebra og logik, pp. 87-139. Lecture Notes in Math., Vol. 450, Springer, Berlin.
  • Buchholz, Wilfried; Feferman, Salomon; Pohlers, Wolfram; Sieg, Wilfried gentog induktive definitioner og delsystemer i analysen: seneste bevis-teoretiske undersøgelser. Lecture Notes i matematik, 897. Springer-Verlag, Berlin-New York.
  • Feferman, Salomon; Hellman, Geoffrey prsedikativ grundlaget for matematik. J. Philos. Logic 24, nr. 1, 1--17.
  0   0
Forrige artikel Cripps Carrier
Næste artikel Artemisia pallens

Kommentarer - 0

Ingen kommentar

Tilføj en kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Tegn tilbage: 3000
captcha