Yahoo Search Busca da Web

Resultado da Busca

1. math.stanford.edu › ~fefermanSolomon Feferman's homepage - Stanford University

   math.stanford.edu › ~feferman

   • Em cache

   Solomon Feferman. Professor of Mathematics and Philosophy, Em. Patrick Suppes Professor of Humanities and Sciences, Em. Stanford University. Interests: Mathematical logic, especially proof theory and theory of computation. Foundations of mathematics, especially constructive and predicative foundations. Philosophy of mathematics.

2. pt.wikipedia.org › wiki › Solomon_FefermanSolomon Feferman – Wikipédia, a enciclopédia livre

   pt.wikipedia.org › wiki › Solomon_Feferman

   • Em cache

   Solomon Feferman (Nova Iorque, 13 de dezembro de 1928 - 26 de julho de 2016) [2] foi um matemático e filósofo estadunidense. Trabalhou com lógica matemática. Obteve o seu Ph.D. em 1957 na Universidade da Califórnia em Berkeley, orientado por Alfred Tarski. Foi professor da Universidade Stanford.

   • Alma mater: Universidade da Califórnia em Berkeley

   • Nacionalidade: estadunidense

3. Imagens

   • 
   • 
   • 
   • 
   • 

   Ver tudo

4. en.wikipedia.org › wiki › Solomon_FefermanSolomon Feferman - Wikipedia

   en.wikipedia.org › wiki › Solomon_Feferman

   • Em cache

   Notable ideas. Stratified systems for the foundations of category theory [1] Feferman–Schütte ordinal. Ordinal collapsing function. Explicit mathematics. Solomon Feferman (December 13, 1928 – July 26, 2016) [2] was an American philosopher and mathematician who worked in mathematical logic.

   • Thesis: Formal Consistency Proofs and Interpretability of Theories (1957)

   • Doctoral advisor: Alfred Tarski

5. math.stanford.edu › ~feferman › papersPapers in PDF Format

   math.stanford.edu › ~feferman › papers

   • Em cache

   Solomon Feferman--Papers and Slides in PDF Format. ( Caveat lector: published versions of the following may contain some changes.) Degrees of unsolvability associated with classes of formalized theories, J. Symbolic Logic 22 (1957) 161-175.

6. Vídeos

   • 1:31:23

     youtube.com

     Exploring the Frontiers of Incompleteness: Solomon Feferman

     29 jun.. 2013

     2.9K visualizações

   • 49:53

     youtube.com

     Solomon Feferman's talk at The Constructive in Logic and Applications 2012

     1 ago.. 2012

     954 visualizações

   • 3:18

     youtube.com

     Solomon's Famous Judgement

     6 fev.. 2011

     2.7M visualizações

   Ver tudo

7. math.stanford.edu › ~feferman › papersSolomon Feferman - Stanford University

   math.stanford.edu › ~feferman › papers

   17 de nov. de 2006 · Solomon Feferman. Institute for Advanced Study, Princeton Gödel Centenary Program Friday, Nov. 17, 2006. What Gödel accomplished in the decade of the 1930s before joining the Institute changed the face of mathematical logic and continues to influence its development.

   • Tamanho do Ficheiro: 260KB

   • Contagem de Páginas: 16

8. philosophy.stanford.edu › news › tribute-solomonA tribute to Solomon Feferman (1928–2016) | Department of ...

   philosophy.stanford.edu › news › tribute-solomon

   • Em cache

   4 de ago. de 2016 · Patrick Suppes Professor of Humanities and Sciences, Em. With great sadness, the Philosophy Department notes the passing of our friend and colleague, Solomon Feferman, who died on Tuesday, July 26, 2016 at his Stanford home after an illness of about three months. He was 87.

9. news.stanford.edu › 2016/10/07 › mathematicalStanford mathematical logician Solomon Feferman dies at 87

   news.stanford.edu › 2016/10/07 › mathematical

   • Em cache

   7 de out. de 2016 · Feferman, widely acknowledged as one of the leading mathematical logicians of the 20th century, died July 26 at his Stanford home after a brief illness following a stroke. He was 87.