Michel bourdeau (35 Ergebnisse)

paperback. Zustand: New. 1st.

paperback. Zustand: New. 1st.

Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

paperback. Zustand: New.

Paperback. Zustand: Brand New. 136 pages. French language. 6.93x4.41x0.39 inches. In Stock.

Zustand: Très bon. Nos envois se font avec suivi, pour tout problème n'hésitez pas à nous contacter pour trouver une solution.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New. 2024. perfect. . . . . . Books ship from the US and Ireland.

Zustand: Good. Envoi rapide Bon Etat. 21 4x2 4x12 8cm. 2002. broché. 302 pages. Good.

Zustand: AS NEW. Etat de NEUF / AS NEW condition 9782841743155 9782841743155 1053D 2.

hardcover. Zustand: Very Good.

Hardcover. Zustand: Brand New. 2014 edition. 228 pages. 9.25x6.25x0.75 inches. In Stock.

Zustand: Brand New. In Stock.

Zustand: New.

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2022. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2022. Ammareal gives back up to 15% of this item's net price to charity organizations.…

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).

Hardcover. Zustand: Brand New. 402 pages. 9.00x6.00x1.25 inches. In Stock.

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

Zustand: New.

Taschenbuch. 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. Love, Order, and Progress 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. Love, Order, and Progress further details Comte's attempt to apply his 'positive method,' first to social science and then to politics and morality.…

Zustand: New. 2018. 1st Edition. Hardcover. . . . . . Books ship from the US and Ireland.

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

Zustand: New. In English.

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

Paperback. Zustand: Brand New. reprint edition. 228 pages. 9.25x6.10x0.52 inches. In Stock.

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. Love, Order, and Progress 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. Love, Order, and Progress further details Comte's attempt to apply his 'positive method,' first to social science and then to politics and morality.…

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

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: new. vendeur professionnel. Expedition en 24/48h.