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) 57787 lei  6-8 săpt.
  Springer International Publishing – 22 noi 2023 57787 lei  6-8 săpt.
Hardback (1) 72669 lei  6-8 săpt.
  Springer International Publishing – 22 noi 2022 72669 lei  6-8 săpt.

Din seria Synthese Library

  • 15% Truth in Fiction: Rethinking its Logic
    Preț: 63843 lei
  • 18% Exploring Meinong’s Jungle and Beyond: The Sylvan Jungle - Volume 1
    Preț: 98998 lei
  • 15% Ultralogic as Universal?: The Sylvan Jungle - Volume 4
    Preț: 59669 lei
  • 18% Believing in Accordance with the Evidence: New Essays on Evidentialism
    Preț: 90393 lei
  • 15% Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content
    Preț: 58688 lei
  • 15% Scientific Discovery in the Social Sciences
    Preț: 69650 lei
  • 18% Dispositionalism: Perspectives from Metaphysics and the Philosophy of Science
    Preț: 89290 lei
  • 15% Vagueness as Arbitrariness: Outline of a Theory of Vagueness
    Preț: 64334 lei
  • Philosophy of Astrophysics: Stars, Simulations, and the Struggle to Determine What is Out There
    Preț: 28233 lei
  • 5% The Behavior of Human Infants
    Preț: 37219 lei
  • Gewinnungsarbeiten, Wasserhaltung: IV
    Preț: 44310 lei
  • 15% A Precis of Mathematical Logic
    Preț: 63759 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ț: 95888 lei
  • 15% Belief and Probability
    Preț: 64236 lei
  • 18% The Scientific World-Perspective and Other Essays, 1931–1963
    Preț: 123066 lei
  • 15% Unity of Science
    Preț: 64283 lei
  • 18% Mathematical Thought: An Introduction to the Philosophy of Mathematics
    Preț: 100039 lei
  • Advanced Logic for Applications
    Preț: 38970 lei
  • 15% Tense Logic
    Preț: 63728 lei
  • 18% Position and Change: A Study in Law and Logic
    Preț: 95226 lei
  • 18% Dispositions
    Preț: 123132 lei
  • 15% Inference, Method and Decision: Towards a Bayesian Philosophy of Science
    Preț: 64596 lei
  • Human Action and Its Explanation: A Study on the Philosophical Foundations of Psychology
    Preț: 39585 lei
  • Semiotics in Poland 1894–1969
    Preț: 40047 lei
  • 18% Mathematical Epistemology and Psychology
    Preț: 122548 lei
  • 15% Action Theory and Social Science: Some Formal Models
    Preț: 63889 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ț: 123209 lei
  • Studies in Inductive Probability and Rational Expectation
    Preț: 38045 lei
  • Essays in Honour of Jaakko Hintikka: On the Occasion of His Fiftieth Birthday on January 12, 1979
    Preț: 39487 lei
  • 15% Quantum Logic
    Preț: 64037 lei
  • 15% Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi
    Preț: 63908 lei
  • Dismantling the Memory Machine: A Philosophical Investigation of Machine Theories of Memory
    Preț: 38198 lei
  • 15% Ontology and the Logistic Analysis of Language: An Enquiry into the Contemporary Views on Universals
    Preț: 64300 lei
  • 15% Hans Reichenbach: Logical Empiricist
    Preț: 67229 lei

Preț: 57787 lei

Preț vechi: 67984 lei
-15% Nou

Puncte Express: 867
Preț estimativ în valută:
11059€ • 11475$ • 9243£

Carte tipărită la comandă

Livrare economică 15-29 martie

 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