Cantitate/Preț
Produs

Mechanism, Mentalism and Metamathematics: An Essay on Finitism: Synthese Library, cartea 137

Autor J. Webb
en Limba Engleză Hardback – 31 oct 1980
This book grew out of a graduate student paper [261] in which I set down some criticisms of J. R. Lucas' attempt to refute mechanism by means of G6del's theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double­ edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert's formalism, but I kept getting stuck on questions of mathematical philosophy which I found myself having to beg. A thorough study of the foundational works of Hilbert and Bernays finally convinced me that I had all too naively and uncritically bought this refutation of formalism. I did indeed discover points of surprisingly close contact between formalism and mechanism, but also that it was possible to under­ mine certain strong arguments against these positions precisely by invok­ ing G6del's and related work. I also began to realize that the Church­ Turing thesis itself is the principal bastion protecting mechanism, and that G6del's work was perhaps the best thing that ever happened to both mechanism and formalism. I pushed these lines of argument in my dis­ sertation with the patient help of my readers, Raymond Nelson and Howard Stein. I would especially like to thank the latter for many valuable criticisms of my dissertation as well as some helpful suggestions for reor­ ganizing it in the direction of the present book.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 92491 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 dec 2010 92491 lei  6-8 săpt.
Hardback (1) 93171 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 oct 1980 93171 lei  6-8 săpt.

Din seria Synthese Library

Preț: 93171 lei

Preț vechi: 113623 lei
-18% Nou

Puncte Express: 1398

Preț estimativ în valută:
17837 18540$ 14789£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789027710468
ISBN-10: 9027710465
Pagini: 304
Ilustrații: XIII, 285 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.6 kg
Ediția:1980
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

I / Mechanism: Some Historical Notes.- II / Mind, Number, and the Infinite.- III / the Mental, the Finite, and the Formal.- IV / Effectiveness Mechanized.- Concluding Summary.- Index of Names.- Index of Subjects.