Sprache: Französisch
Verlag: Librairie Philosophique J. Vrin, 2025
ISBN 10: 271166032X ISBN 13: 9782711660322
Anbieter: ISD LLC, Bristol, CT, USA
paperback. Zustand: New.
Sprache: Französisch
Verlag: Librairie Philosophique J. Vrin, 2021
ISBN 10: 2711660133 ISBN 13: 9782711660131
Anbieter: ISD LLC, Bristol, CT, USA
paperback. Zustand: New.
Sprache: Französisch
Verlag: Librairie Philosophique J. Vrin, 2024
ISBN 10: 271166029X ISBN 13: 9782711660292
Anbieter: ISD LLC, Bristol, CT, USA
paperback. Zustand: New.
Sprache: Französisch
Verlag: Presses Universitaires de France - PUF, 1999
ISBN 10: 2130503217 ISBN 13: 9782130503217
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 16,28
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 136 pages. French language. 6.93x4.41x0.39 inches. In Stock.
Sprache: Französisch
Verlag: Librarie Philosophique J. Vrin, 2021
ISBN 10: 2711660133 ISBN 13: 9782711660131
Anbieter: Gallix, Gif sur Yvette, Frankreich
Zustand: Neuf.
Sprache: Französisch
Verlag: Librairie Philosophique J Vrin, 2024
ISBN 10: 271166029X ISBN 13: 9782711660292
Anbieter: Gallix, Gif sur Yvette, Frankreich
Zustand: Neuf.
Sprache: Französisch
Verlag: Presses universitaires de France - PUF, 1999
ISBN 10: 2130503217 ISBN 13: 9782130503217
Anbieter: JLG_livres anciens et modernes, Saint Maur des Fossés, Frankreich
Zustand: Très bon. Nos envois se font avec suivi, pour tout problème n'hésitez pas à nous contacter pour trouver une solution.
Sprache: Französisch
Verlag: Librairie Philosophique J. Vrin, 2021
ISBN 10: 2711660133 ISBN 13: 9782711660131
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New.
Zustand: Neuf.
Sprache: Französisch
Verlag: Librarie Philosophique J. Vrin, 2024
ISBN 10: 271166029X ISBN 13: 9782711660292
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2024. perfect. . . . . . Books ship from the US and Ireland.
Anbieter: Gallix, Gif sur Yvette, Frankreich
Zustand: Neuf.
Anbieter: Gallix, Gif sur Yvette, Frankreich
Zustand: Neuf.
Zustand: AS NEW. Etat de NEUF / AS NEW condition 9782841743155 9782841743155 1053D 2.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 59,03
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 2014 edition. 228 pages. 9.25x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: University of Pittsburgh Press, 2018
ISBN 10: 0822945223 ISBN 13: 9780822945222
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 71,18
Anzahl: 3 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 45,10
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 297 pages. French language. 8.43x5.04x0.94 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,36
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 402 pages. 9.00x6.00x1.25 inches. In Stock.
Verlag: La Manufacture, Lyon, 1985
Anbieter: Librería Monte Sarmiento, Santiago, SANTI, Chile
Erstausgabe
Encuadernación de tapa blanda. Zustand: Bien. 1ª Edición. 135p. ; 24x17 cms., ilustraciones b/n, planos. Collection L´Oeiulet le Man (A-766-Gr-26).
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 95,30
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 402 pages. 9.00x6.00x1.25 inches. In Stock.
Sprache: Englisch
Verlag: University of Pittsburgh Press, 2018
ISBN 10: 0822945223 ISBN 13: 9780822945222
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2018. 1st Edition. Hardcover. . . . . . Books ship from the US and Ireland.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 103,48
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 228 pages. 9.25x6.10x0.52 inches. In Stock.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Constructivity and Computability in Historical and Philosophical Perspective | Jacques Dubucs (u. a.) | Taschenbuch | Logic, Epistemology, and the Unity of Science | xi | Englisch | 2016 | Springer | EAN 9789402407075 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer's solipsistic attitude to logic, there remain points of disagreement to this day.Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing's ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics.This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability's adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer's solipsistic attitude to logic, there remain points of disagreement to this day.Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing's ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics.This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability's adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.
Anbieter: moluna, Greven, Deutschland
Gebunden. Zustand: New. Offers the most comprehensive English-language overview of Auguste Comte s philosophy, the relation of his work to the sciences of his day, and the continuing impact of his thinking on philosophy and especially secular political movements. Contributors also.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: University Of Pittsburgh Press Mai 2018, 2018
ISBN 10: 0822945223 ISBN 13: 9780822945222
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - Auguste Comte's doctrine of positivism was both a philosophy of science and a political philosophy designed to organize a new, secular, stable society based on positive or scientific, ideas, rather than the theological dogmas and metaphysical speculations associated with the ancien regime. This volume offers the most comprehensive English-language overview of Auguste Comte's philosophy, the relation of his work to the sciences of his day, and the extensive, continuing impact of his thinking on philosophy and especially secular political movements in Europe, Latin America, and Asia. Contributors consider Comte's reasons for establishing a Religion of Humanity as well as his views on domestic life and the arts in his positivist utopia. The volume further details Comte's attempt to apply his 'positive method,' first to social science and then to politics and morality, thereby defending the continuity of his career while also critically examining the limits of his approach.
Sprache: Englisch
Verlag: Springer, Basel, Birkhäuser Basel, Birkhäuser, 2008
ISBN 10: 3764386525 ISBN 13: 9783764386528
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.
Zustand: New. Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book presents philosophical work on intuitionism and gives examples of technical advances and applications. Editor(s): Van Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard. Series: Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Autour de / Around 1900. Num Pages: 422 pages, biography. BIC Classification: HPCF; HPK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 165 x 29. Weight in Grams: 794. . 2008. Hardback. . . . . Books ship from the US and Ireland.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.