Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Studiebog
    Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

    Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

    - Lecture Notes in Logic 15

    Forfatter: info mangler
    Bog
    • Format
    • Bog, hardback
    • Engelsk

    Beskrivelse

    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. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.

    Læs hele beskrivelsen
    Detaljer
    • SprogEngelsk
    • Sidetal458
    • Udgivelsesdato16-08-2002
    • ISBN139781568811697
    • Forlag A K Peters
    • FormatHardback
    Størrelse og vægt
  • Vægt816 g
    • coffee cup img
    10 cm
    book img
    16,4 cm
    23,4 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Recursive functions Recursion theory Reverse mathematics Type theory Peano arithmetic Sequent calculus Transfinite induction Arithmetical Comprehension Causal Implication Dependent Function Space Finite Trees Critical Formulas Intensional Reasoning Illocutionary Acts Embedding Theorem Nonlogical Axioms Herbrand’s Theorem Order Arithmetic Quantifier Free Formula Primitive Recursive Arithmetic Sentential Formulas Solomon Feferman Primitive recursive function Predicative Provability Primitive Recursive
    Machine Name: SAXO082