DOCSLIB.ORG
  • Sign Up
  • Log In
  • Upload
  • Sign Up
  • Log In
  • Upload
  • Home
  • »  Tags
  • »  Solomon Feferman

Solomon Feferman

  • “The Church-Turing “Thesis” As a Special Corollary of Gödel's

    “The Church-Turing “Thesis” As a Special Corollary of Gödel's

  • Unfolding of Systems of Inductive Definitions

    Unfolding of Systems of Inductive Definitions

  • Notices of the American Mathematical Society

    Notices of the American Mathematical Society

  • Untitled

    Untitled

  • Proof Theory Synthese Library

    Proof Theory Synthese Library

  • An Interview with Martin Davis

    An Interview with Martin Davis

  • PREFACE Does God Have a Big Toe? (Pages 1 - 13)

    PREFACE Does God Have a Big Toe? (Pages 1 - 13)

  • Plausibility and Probability in Deductive Reasoning

    Plausibility and Probability in Deductive Reasoning

  • Theses for Computation and Recursion on Concrete and Abstract Structures

    Theses for Computation and Recursion on Concrete and Abstract Structures

  • Representations in Measure Theory: Between a Non-Computable Rock

    Representations in Measure Theory: Between a Non-Computable Rock

  • 1 Axioms for Determinateness and Truth Solomon Feferman Abstract A

    1 Axioms for Determinateness and Truth Solomon Feferman Abstract A

  • Philosophy of Mathematics in the Twentieth Century: Selected Essays

    Philosophy of Mathematics in the Twentieth Century: Selected Essays

  • Axiomatic Set Theory Proceedings of Symposia in Pure Mathematics

    Axiomatic Set Theory Proceedings of Symposia in Pure Mathematics

  • On Godel's Way In: the Influence of Rudolf Carnap

    On Godel's Way In: the Influence of Rudolf Carnap

  • Does Mathematics Need New Axioms?

    Does Mathematics Need New Axioms?

  • 1 for Philosophy of Mathematics: 5 Questions. Solomon Feferman

    1 for Philosophy of Mathematics: 5 Questions. Solomon Feferman

  • Princeton University Press Mathematics 2015 Catalog

    Princeton University Press Mathematics 2015 Catalog

  • Mathematics 2012

    Mathematics 2012

Top View
  • End-Of-Year Publisher's Discount Sale
  • Rigidity of Corona Algebras Saeed Ghasemi A
  • Notices of the American Mathematical Society May 2011 Communications
  • What Is Explicit Mathematics?
  • In 1963 Established the Independence of the Axiom of Choice (AC) from ZF and the Independence of the Continuum Hypothesis (CH) from ZFC
  • The Impact of the Incompleteness Theorems on Mathematics, Volume
  • Bibliography
  • Volume 10, Number 9 September 2016
  • Mathematics People, Volume 52, Number 7
  • “Independence Friendly” Logic? Solomon Feferman
  • 1 Logic, Mathematics and Conceptual Structuralism Solomon Feferman
  • KF, PKF, and Reinhardt's Program
  • Turing's Thesis
  • Julia Bowman Robinson 1919–1985
  • Gödel's Incompleteness Theorems, Free Will And
  • Section Awards for Distinguished Teaching Volume 17, Number 4 Henry L
  • Solomon Feferman Papers SC0907
  • Proquest Dissertations


© 2024 Docslib.org    Feedback