Michel Bourdeau (76 results)

paperback. Condition: New. 1st.

paperback. Condition: New. 1st.

Condition: 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. Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

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

Condition: New.

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

Condition: New. 2024. perfect. . . . . .

Condition: New.

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

Condition: New.

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

Condition: New.

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

Condition: New.

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

hardcover. Condition: Very Good.

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

Condition: New. pp. 297.

Condition: Brand New. In Stock.

Condition: New.

Condition: New. pp. 228.

Hardcover. Condition: 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. Condition: Bien. 1ª Edición. 135p. ; 24x17 cms., ilustraciones b/n, planos. Collection L´Oeiulet le Man (A-766-Gr-26).

Taschenbuch. Condition: 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. Condition: 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.…