
	Where results make sense

Topic: Solomon Feferman

Related Topics

Jon Barwise

Stanford University

Schock Prize

Nobel Prize

In the News (Wed 23 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	DBLP: Solomon Feferman
		Solomon Feferman, Thomas Strahm: The unfolding of non-finitist arithmetic.
		Burdman Feferman, Solomon Feferman: Jean van Heijenoort (1912-1986).
		Solomon Feferman, Jon Barwise, Leo Harrington: Meeting of the Association for Symbolic Logic: Reno, 1976.
	www.informatik.uni-trier.de /~ley/db/indices/a-tree/f/Feferman:Solomon.html (297 words)

	Feferman awarded Rolf Schock Prize in logic and philosophy (Site not responding. Last check: 2007-10-19)
		Solomon Feferman, the Patrick Suppes Family Professor in the School of Humanities and Sciences at Stanford, was awarded Sweden's Rolf Schock Prize in logic and philosophy on May 15.
		Solomon Feferman is the recipient of the Rolf Schock Prize for his accomplishments in logic and philosophy.
		Feferman then turned to the study of predicativity, in which certain definitions ubiquitous in mathematics, such as that for the least upper bound of a set of real numbers, are restricted to avoid apparent circularities.
	news-service.stanford.edu /news/2003/june4/feferman-64.html (597 words)

	Alfred Tarski - Wikipedia, the free encyclopedia
		His biographers Anita Feferman and Solomon Feferman (2004) wrote that he was "one of the greatest logicians of all time", and that, "Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models".
		Feferman's suggestion is to substitute preservation by arbitrary homomorphism for Tarski's preservation by automorphisms.
		Solomon Feferman, 1999, "Logic, Logics, and Logicism," Notre Dame Journal of Formal Logic 40: 31-54.
	en.wikipedia.org /wiki/Tarski (3712 words)

	[No title]
		Solomon Feferman has been a contributor to these investigations during the last forty years in a most systematic and significant way, and the main themes of the Symposium are themes in his work.
		Parsons Reflections on predicativity Solomon Feferman's classic analysis of predicative provability, together with the more or less parallel work of Schutte, brought to a sort of closure the debates about predicativity that were inaugurated at the beginning of the century by Poincare.
		Feferman had expressed similar concerns in a paper from 1977 ``Inductive schemata and recursively continous functionals'', and both he and Y.Moschovakis have sice pursued a programme of how to use ``abstract recursion as a foundation for the theory of algorithms'' (to quote the title of a paper of Moschovakis from 1984).
	www.math.psu.edu /simpson/talks/feferfest/meeting.txt (2059 words)

	Alfred Tarski: Life and Logic (Site not responding. Last check: 2007-10-19)
		Solomon Feferman is a professor of Mathematics and Philosophy at Stanford University.
		Anita and Solomon Feferman's captivating biography pulls no punches, describing his womanizing and his drug use along with his mathematical achievements." (Keith Devlin, Stanford University) "A chain smoker, a heavy drinker, a frequent user of 'speed,' a relentless womaniser, and a man of Napoleonic self-regard and worldly ambition.
		The Fefermans, of course, are uniquely qualified to lead the reader through the intricacies of Tarski's work, which they do very engagingly and with great expository skill.
	www.booksmatter.com /b0521802407.htm (689 words)

	Citations: A language and axioms for explicit mathematics - Feferman (ResearchIndex) (Site not responding. Last check: 2007-10-19)
		Feferman, A language and axioms for explicit mathematics, In Crossley [10], pp.
		in Feferman and J ager [9] we omit axioms about primitive recursion on N. This is justi ed by the fact that we will not consider BON in the context of restricted induction principles and, hence, axioms V. of [9] become derivable by means of the....
		Feferman, "A language and axioms for explicit mathematics," in Algebra and Logic, Lecture Notes in Mathematics, Vol.
	citeseer.ist.psu.edu /context/2858/0 (3920 words)

	Penrose's Goedelian Argument: A review of Roger Penrose's "Shadows of the Mind".
		First of all, the reference given is to Feferman (1988), which contains a historical exposition of Turing's seminal work (1939) and subsequent work on this subject (under the new name, transfinite recursive progressions of formal systems).
		It was Turing (not me) who showed in his 1939 paper that the ordinal logic obtained by iteration of adjunction of consistency statements starting with PA and proceeding through the recursive ordinals is complete for PI_1 statements (in fact at a surprisingly low level); Turing had hoped to improve this to completeness for PI_2 sentences.
		Feferman, S. Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics.
	psyche.cs.monash.edu.au /v2/psyche-2-07-feferman.html (4659 words)

	Chancellor's Distinguished Fellow (Site not responding. Last check: 2007-10-19)
		Feferman's visit, the Interdisciplinary Program in History and Philosophy of Science at UCI is pleased to sponsor a public lecture by Anita B. Feferman, which will take place on Oct. 22, 1999.
		Solomon Feferman is Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences at Stanford University, and a member of the American Academy of Arts and Sciences.
		Anita B. Feferman is an independent scholar and a biographer.
	www.socsci.uci.edu /lps/home/news/distinguished (182 words)

	Amazon.ca: In the Light of Logic: Books (Site not responding. Last check: 2007-10-19)
		In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics.
		Feferman details the development of Cantorian concepts and the foundational difficulties they engendered.
		In his concluding chapters, Feferman uses tools from the special part of logic called proof theory to explain how the vast part--if not all--of scientifically applicable mathematics can be justified on the basis of purely arithmetical principles.
	www.amazon.ca /exec/obidos/ASIN/0195080300 (464 words)

	Read This: Alfred Tarski
		Energetically and engagingly written, Alfred Tarski: Life and Logic, by Anita Burdman Feferman and Solomon Feferman, is a necessary addition to the growing list of contemporary biographies such as those of von Neumann and Cantor.
		Much of the narrative revolves around Tarski's colleagues and in particular his students, who rode the emotional rollercoaster of working with this eccentric and passionate man. Details of the life and work of those closest to him are seamlessly incorporated into the telling of Tarski's life.
		Solomon Feferman was a student of Tarski and thus knew the working as well as personal side of the man. Anita Burdman Feferman is not new to this line of work.
	www.maa.org /reviews/AlfredTarski.html (654 words)

	DBLP: Solomon Feferman
		Solomon Feferman, Thomas Strahm: The unfolding of non-finitist arithmetic.
		Solomon Feferman, Gerhard Jäger: Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis.
		Solomon Feferman, Jon Barwise, Leo Harrington: Meeting of the Association for Symbolic Logic: Reno, 1976.
	sunsite.informatik.rwth-aachen.de /dblp/db/indices/a-tree/f/Feferman:Solomon.html (269 words)

	Symbolic Systems Forum - Solomon Feferman, Philosophy and Mathematics Departments (Site not responding. Last check: 2007-10-19)
		Solomon Feferman, Philosophy and Mathematics Departments, "Godel vs. Turing on Minds and Machines"
		Solomon Feferman is Professor of Mathematics and Philosophy, Emeritus, at
		Feferman is the recipient of the Rolf Schock Prize for Logic and
	events.stanford.edu /events/18/1826 (251 words)

	Solomon Feferman: Facts and details from Encyclopedia Topic (Site not responding. Last check: 2007-10-19)
		Solomon Feferman: Facts and details from Encyclopedia Topic
		Solomon Feferman is a mathematician mathematician quick summary:
		A mathematician is a person whose area of study and research is mathematics....
	www.absoluteastronomy.com /encyclopedia/s/so/solomon_feferman.htm (456 words)

	A K Peters, Ltd. - Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
		Solomon Feferman has shaped the field of foundational research for nearly half a century.
		These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda.
		Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15
	www.akpeters.com /product.asp?ProdCode=1691 (205 words)

	Oxford University Press
		Edited by Solomon Feferman, Department, of Mathematics, Stanford Unviersity, John W. Dawson, Jr.
		From the example of this first volume, the edition promises to be a model of its kind; virtually nothing could be bettered.
		Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task' Mind
	www.oup.com /ca/isbn/0-19-850073-4 (972 words)

	Mind: Kurt Godel: Collected Works, 3 vols. - book reviews (Site not responding. Last check: 2007-10-19)
		I: Publications 1929-1936, edited by Solomon Feferman (editor-in-chief), John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, and, Robert M. Solovay.
		II: Publications 1938-1974, edited by Solomon Feferman (editor-in-chief), John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, and Robert M. Solovay.
		III: Unpublished Essays and Lectures, edited by Solomon Feferman (editor-in-chief), John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Robert M. Solovay.
	www.looksmartreligions.com /p/articles/mi_m2346/is_n425_v107/ai_20441317 (322 words)

	Kungl. Vetenskapsakademien - www.kva.se
		KVA,5/14/2003 5:20:00 PM The Rolf Schock Prizes for 2003 amounting to SEK 1.6 million are awarded to the logician Solomon Feferman, USA, to the mathematician Richard P. Stanley, USA, to the artist Susan Rothenberg, USA and to the mezzo-soprano Anne Sofie von Otter, Sweden.
		The versatile philosopher and artist Rolf Schock (1933—1986) describes in his will a prize to be awarded in such widely differing subjects as logic and philosophy, mathematics, the visual arts and music.
		Solomon Feferman, Richard P. Stanley, Susan Rothenberg and Anne Sofie von Otter.
	www.kva.se /KVA_Root/swe/_news/detail.asp?NewsId=353&br=ns&ver=4up (413 words)

	Reflections (Site not responding. Last check: 2007-10-19)
		A Symposium Honoring Solomon Feferman on his 70th Birthday
		During the last forty years, Solomon Feferman has been at the center of these activities.
		He has been addressing foundational questions in a most systematic and significant way, and the main themes of the Symposium are themes in his work.
	www-formal.stanford.edu /clt/Reflections/feferfest.html (227 words)

	Learning from Questions on Categorical Foundations -- McLarty 13 (1): 44 -- Philosophia Mathematica
		The point is that Feferman knows all this.
		Feferman offers a non-extensional theory of his own as progress
		Obviously I agree with Feferman that foundations of mathematics
	philmat.oxfordjournals.org /cgi/content/full/13/1/44 (4537 words)

	Oxford University Press
		Edited by Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and others
		Edited by Solomon Feferman, John W. Level 1 Names Dawson, Jr.
		Feferman and his team are to be congratulated on the care, sureness of touch, and scholarly accuracy with which they have carried out their task.
	www.oup.com /ca/isbn/0-19-850075-0 (1033 words)

	Predicative Foundations of Arithmetic - Feferman, Hellman (ResearchIndex) (Site not responding. Last check: 2007-10-19)
		Challenges to Predicative Foundations of Arithmetic - Feferman, Hellman (1996)
		Feferman, S. and Hellman, G. (1995), "Predicative foundations of arithmetic", Journal of Philosophical Logic 24, 1-17.
		@article{ feferman75predicative, author = "Solomon Feferman and Geoffrey Hellman", title = "Predicative Foundations of Arithmetic", journal = "Journal of Philosophical Logic", volume = "24", number = "1", pages = "1--17", year = "1975", url = "citeseer.ist.psu.edu/feferman95predicative.html" }
	citeseer.ist.psu.edu /feferman95predicative.html (408 words)

	LRB \| Solomon Feferman : Provenly Unprovable (Site not responding. Last check: 2007-10-19)
		If you do not wish to subscribe but would like information about buying the back issue containing this article (if available) Solomon Feferman : Provenly Unprovable (from LRB Vol.
		Solomon Feferman is a professor of mathematics and philosophy at Stanford, and one of the editors of Kurt Gödel’s Collected Works.
		Alfred Tarski, written with Anita Burdman Feferman, came out in 2004.
	www.lrb.co.uk /v28/n03/fefe01_.html (339 words)

	Kurt Godel and rotating universes
		Although the Gödel chronology does list his intentions to study physics those first 2 years after his arrival at the University of Vienna in 1924 before switching to mathematics, there is no mention in the introductory biography that he learned about rotation in general relativity from Hans Thirring.
		[The editor-in-chief Solomon Feferman should not be slighted for not knowing this since the editorial note and short bio introducing the reprints of Gödel's 2 relativity papers in General Relativity and Gravitation also did not report this "fact", found by an
		Edited and with a preface by Solomon Feferman.
	libweb.princeton.edu /libraries/firestone/rbsc/finding_aids/mathoral/pmcxgod0.htm (750 words)

	OUP: UK General Catalogue
		'Feferman's book shows that, far from being over, work on the foundations of mathematics is vibrant and continuing, perched deliciously but precariously between mathematics and philosophy.' - The Mathematical Intelligencer
		Solomon Feferman, Professor of Philosophy and Mathematics, and Patrick Suppes Family Professor of Humanities and Sciences, Stanford University
		The specification in this catalogue, including without limitation price, format, extent, number of illustrations, and month of publication, was as accurate as possible at the time the catalogue was compiled.
	www.oup.co.uk /isbn/0-19-508030-0 (346 words)

	Response to Solomon Feferman's letter
		So I wonder what basis you have for denying predicativists the ability to reason about intelligibility, if that actually is your position.
		I disagree completely with the statement that "the limitation identified by Feferman and Schütte is probably now a primary reason, possibly the primary reason, for predicativism's nearly universal unpopularity." I think the reasons that it has not achieved the status of the other big foundational schemes...
		I wrote: "Feferman nowhere openly repudiates the earlier systems, and I read his remark in [14] as implying that the later systems are merely more `perspicuous' than the earlier ones because they do not assume that predicativists have any understanding of ordinals."
	www.math.wustl.edu /~nweaver/response2.html (4177 words)

	Alfred Tarski - Cambridge University Press
		The Fefermans, of course, are uniquely qualified to lead the reader through the intricacies of Tarski’s work, which they do very engagingly and with great expository skill.
		The Fefermans provide a richly textured account of the cultural, intellectual, and political worlds in which Tarski lived - first in interwar Poland and then in Berkeley, where he built his logic empire.
		'Anita Burdman Feferman and Solomon Feferman prove the ideal team for a daunting task.
	www.cambridge.org /uk/catalogue/catalogue.asp?isbn=0521802407 (813 words)

	Solomon Feferman Books, Book Price Comparison at 130 bookstores
		Solomon Feferman Books, Book Price Comparison at 130 bookstores
		Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number...
		Solomon Feferman is one of the leading figures in logic and the foundations of mathematics.
	www.bookfinder4u.com /search_author/Solomon_Feferman.html (407 words)

	In the Light of Logic -- Solomon Feferman
		In the Light of Logic -- Solomon Feferman
		Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics.
		He argues that the freedom provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support.
	www.frontlist.com /detail/0195080300 (123 words)

	Reflections on the Foundations of Mathematics - Essays in Honor of Solomon Feferman Lecture Notes in Logic #15 by Sieg, ... (Site not responding. Last check: 2007-10-19)
		Reflections on the Foundations of Mathematics - Essays in Honor of Solomon Feferman Lecture Notes in Logic #15 by Sieg, Wilfried, Sommer, Richard
		Use our email a friend feature to pass on the details of this title to friends and colleagues.
		Reflections on the Foundations of Mathematics - Essays in Honor of Solomon Feferman Lecture Notes in Logic #15
	www.studentbookworld.com /BookDetail/1568811705.html (75 words)

	Proof Theory on the eve of Year 2000 (Site not responding. Last check: 2007-10-19)
		The work by Hilbert-Bernays, Loeb, Kreisel, Feferman, Jeroslow and others that bears on our understanding of what a formal system is and what serves to distinguish co-extensive formal systems from one another.
		To: sf@csli.stanford.edu Subject: Questionnaire Dear Professor Feferman, Here are the answers to your questions.
		Feferman, thanks for the invitation to contribute my view to your list.
	www-logic.stanford.edu /proofsurvey.html (19489 words)

Try your search on: Qwika (all wikis)