Cantitate/Preț
Produs
Total produse
Vezi coșul
The Theory of Gödel de Carlo Cellucci

The Theory of Gödel: Synthese Library, cartea 470

Autor Carlo Cellucci
en Limba Engleză Paperback – 22 noi 2023
This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.
 


Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 56677 lei  43-57 zile
  Springer International Publishing – 22 noi 2023 56677 lei  43-57 zile
Hardback (1) 71269 lei  43-57 zile
  Springer International Publishing – 22 noi 2022 71269 lei  43-57 zile

Din seria Synthese Library

  • Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future
    Preț: 54327 lei
  • 15% Truth in Fiction: Rethinking its Logic
    Preț: 62552 lei
  • 18% Exploring Meinong’s Jungle and Beyond: The Sylvan Jungle - Volume 1
    Preț: 96992 lei
  • 15% Ultralogic as Universal?: The Sylvan Jungle - Volume 4
    Preț: 58463 lei
  • 18% Believing in Accordance with the Evidence: New Essays on Evidentialism
    Preț: 88561 lei
  • 15% Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content
    Preț: 57502 lei
  • 15% Scientific Discovery in the Social Sciences
    Preț: 68242 lei
  • 18% Dispositionalism: Perspectives from Metaphysics and the Philosophy of Science
    Preț: 87482 lei
  • 15% Vagueness as Arbitrariness: Outline of a Theory of Vagueness
    Preț: 63033 lei
  • Philosophy of Astrophysics: Stars, Simulations, and the Struggle to Determine What is Out There
    Preț: 28233 lei
  • Gewinnungsarbeiten, Wasserhaltung: IV
    Preț: 43420 lei
  • 5% The Behavior of Human Infants
    Preț: 36471 lei
  • 15% A Precis of Mathematical Logic
    Preț: 62471 lei
  • 18% Formal Methods in the Methodology of Empirical Sciences: Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974
    Preț: 93944 lei
  • 15% Belief and Probability
    Preț: 62938 lei
  • 18% The Scientific World-Perspective and Other Essays, 1931–1963
    Preț: 120569 lei
  • 15% Unity of Science
    Preț: 62983 lei
  • 18% Mathematical Thought: An Introduction to the Philosophy of Mathematics
    Preț: 98011 lei
  • Advanced Logic for Applications
    Preț: 38187 lei
  • 15% Tense Logic
    Preț: 62439 lei
  • 18% Position and Change: A Study in Law and Logic
    Preț: 93297 lei
  • 18% Dispositions
    Preț: 120635 lei
  • 15% Inference, Method and Decision: Towards a Bayesian Philosophy of Science
    Preț: 63290 lei
  • Human Action and Its Explanation: A Study on the Philosophical Foundations of Psychology
    Preț: 38790 lei
  • Semiotics in Poland 1894–1969
    Preț: 39243 lei
  • 18% Mathematical Epistemology and Psychology
    Preț: 120062 lei
  • 15% Action Theory and Social Science: Some Formal Models
    Preț: 62598 lei
  • 18% Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
    Preț: 120709 lei
  • Studies in Inductive Probability and Rational Expectation
    Preț: 37280 lei
  • Essays in Honour of Jaakko Hintikka: On the Occasion of His Fiftieth Birthday on January 12, 1979
    Preț: 38695 lei
  • 15% Quantum Logic
    Preț: 62743 lei
  • 15% Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi
    Preț: 62615 lei
  • Dismantling the Memory Machine: A Philosophical Investigation of Machine Theories of Memory
    Preț: 37430 lei
  • 15% Ontology and the Logistic Analysis of Language: An Enquiry into the Contemporary Views on Universals
    Preț: 63001 lei

Preț: 56677 lei

Preț vechi: 66678 lei
-15% Nou

Puncte Express: 850
Preț estimativ în valută:
10847€ • 11267$ • 9010£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031134197
ISBN-10: 3031134192
Pagini: 159
Ilustrații: IX, 159 p.
Dimensiuni: 155 x 235 mm
Greutate: 0.25 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Seria Synthese Library

Locul publicării:Cham, Switzerland

Cuprins

First-Order Logic.- Completeness.- First-Order Theories.- Primitive Recursive Arithmetic.- Encoding.- Incompleteness.- Other Limitative Results.- Second-Order Logic.- Second-Order Arithmetic.- Appendix.



Notă biografică

Carlo Cellucci is emeritus professor of logic at Sapienza University of Rome. He is the author of eight books: Teoria della dimostrazione (Boringhieri, 1978); Le ragioni della logica (Laterza, 1998); Filosofia e matematica (Laterza, 2003); Perché ancora la filosofia (Laterza, 2008); Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method (Springer, 2013); Breve storia della logica: Dall’Umanesimo al primo Rinascimento (with Mirella Capozzi, Lulu Press, 2014); Rethinking Knowledge: The Heuristic View (Springer, 2017); The Making of Mathematics: Heuristic Philosophy of Mathematics (Springer, 2022).


Textul de pe ultima copertă

This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.
 

Caracteristici

Presents Gödel's incompleteness theorems in a form most relevant to the philosophy of mathematics Entirely self-contained Discusses implications for Hilbert’s Program