2010, ISBN: 904818357X

[EAN: 9789048183579], Neubuch, [PU: Springer Netherlands Dez 2010], EFFECTIVENESS; FORMALISM; FOUNDATION; IDEA; MATHEMATICS; MODEL; NATURE; PHILOSOPHY; PRESENT; SUBJECT, This item is prin… Meer...

[EAN: 9789048183579], Neubuch, [PU: Springer Netherlands Dez 2010], EFFECTIVENESS; FORMALISM; FOUNDATION; IDEA; MATHEMATICS; MODEL; NATURE; PHILOSOPHY; PRESENT; SUBJECT, This item is printed on demand - it takes 3-4 days longer - Neuware -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. 300 pp. Englisch, Books<

2010, ISBN: 904818357X

[EAN: 9789048183579], Neubuch, [PU: Springer Netherlands Dez 2010], EFFECTIVENESS; FORMALISM; FOUNDATION; IDEA; MATHEMATICS; MODEL; NATURE; PHILOSOPHY; PRESENT; SUBJECT, This item is prin… Meer...

[EAN: 9789048183579], Neubuch, [PU: Springer Netherlands Dez 2010], EFFECTIVENESS; FORMALISM; FOUNDATION; IDEA; MATHEMATICS; MODEL; NATURE; PHILOSOPHY; PRESENT; SUBJECT, This item is printed on demand - it takes 3-4 days longer - Neuware -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. 300 pp. Englisch, Books<

2010, ISBN: 904818357X

[EAN: 9789048183579], Neubuch, [SC: 0.0], [PU: Springer Netherlands], EFFECTIVENESS; FORMALISM; FOUNDATION; IDEA; MATHEMATICS; MODEL; NATURE; PHILOSOPHY; PRESENT; SUBJECT, Druck auf Anfra… Meer...

[EAN: 9789048183579], Neubuch, [SC: 0.0], [PU: Springer Netherlands], EFFECTIVENESS; FORMALISM; FOUNDATION; IDEA; MATHEMATICS; MODEL; NATURE; PHILOSOPHY; PRESENT; SUBJECT, Druck auf Anfrage Neuware - Printed after ordering - 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., Books<

ISBN: 9789048183579

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… Meer...

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. | Mechanism Mentalism and Metamathematics by J. Webb Paperback | Indigo Chapters Books > Philosophy P10105, J. Webb<

2010, ISBN: 904818357X

[EAN: 9789048183579], Neubuch, [PU: Springer Netherlands], EFFECTIVENESS FORMALISM FOUNDATION IDEA MATHEMATICS MODEL NATURE PHILOSOPHY PRESENT SUBJECT PHILOSOPHIE SONSTIGES DES GEISTES OF… Meer...

[EAN: 9789048183579], Neubuch, [PU: Springer Netherlands], EFFECTIVENESS FORMALISM FOUNDATION IDEA MATHEMATICS MODEL NATURE PHILOSOPHY PRESENT SUBJECT PHILOSOPHIE SONSTIGES DES GEISTES OF MIND SCIENCE, Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, Books<