- 5 resultaten
laagste prijs: € 50,20, hoogste prijs: € 111,22, gemiddelde prijs: € 64,58
1
Constructivity and Computability in Historical and Philosophical Perspective
bestellen
bij Springer.com
€ 53,49
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Constructivity and Computability in Historical and Philosophical Perspective - nieuw boek

ISBN: 9789401792165

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

Nr. 978-94-017-9216-5. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00)
dichtslaan (X)
2
Constructivity and Computability in Historical and Philosophical Perspective | Michel Bourdeau (u. a.) | Buch | Logic, Epistemology, and the Unity of Science | HC runder Rücken kaschiert | XI | 2014 - Bourdeau, Michel
bestellen
bij booklooker.de
€ 50,20
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Bourdeau, Michel:

Constructivity and Computability in Historical and Philosophical Perspective | Michel Bourdeau (u. a.) | Buch | Logic, Epistemology, and the Unity of Science | HC runder Rücken kaschiert | XI | 2014 - gebonden uitgave, pocketboek

2014, ISBN: 9789401792165

[ED: Gebunden], [PU: Springer Netherland], Ranging from Alan Turing¿s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifie… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
dichtslaan (X)
3
Constructivity and Computability in Historical and Philosophical Perspective / Michel Bourdeau (u. a.) / Buch / Logic, Epistemology, and the Unity of Science / HC runder Rücken kaschiert / XI / 2014 - Bourdeau, Michel
bestellen
bij booklooker.de
€ 52,37
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Bourdeau, Michel:
Constructivity and Computability in Historical and Philosophical Perspective / Michel Bourdeau (u. a.) / Buch / Logic, Epistemology, and the Unity of Science / HC runder Rücken kaschiert / XI / 2014 - gebonden uitgave, pocketboek

2014

ISBN: 9789401792165

[ED: Gebunden], [PU: Springer Netherland], Ranging from Alan Turing¿s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifie… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
dichtslaan (X)
4
Constructivity and Computability in Historical and Philosophical Perspective - Bourdeau, Michel (Herausgeber); Dubucs, Jacques (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 111,22
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Bourdeau, Michel (Herausgeber); Dubucs, Jacques (Herausgeber):
Constructivity and Computability in Historical and Philosophical Perspective - gebonden uitgave, pocketboek

2014, ISBN: 940179216X

2014 Gebundene Ausgabe Mathematische Grundlagen, Philosophie: Logik, Theoretische Informatik, BHKinterpretation; CanonicalProof; Classificationtheory; Computingmachines; Contructivemath… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
5
Constructivity and Computability in Historical and Philosophical Perspective - Bourdeau, Michel (Herausgeber); Dubucs, Jacques (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 55,60
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Bourdeau, Michel (Herausgeber); Dubucs, Jacques (Herausgeber):
Constructivity and Computability in Historical and Philosophical Perspective - gebonden uitgave, pocketboek

2014, ISBN: 940179216X

2014 Gebundene Ausgabe Mathematische Grundlagen, Logik, Theoretische Informatik, BHKinterpretation; CanonicalProof; Classificationtheory; Computingmachines; Contructivemathematics; Effe… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Constructivity and Computability in Historical and Philosophical Perspective (Logic, Epistemology, and the Unity of Science, 34, Band 34)
auteur:
Titel:
ISBN:

940179216X


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 vi

Gedetalleerde informatie over het boek. - Constructivity and Computability in Historical and Philosophical Perspective (Logic, Epistemology, and the Unity of Science, 34, Band 34)


EAN (ISBN-13): 9789401792165
ISBN (ISBN-10): 940179216X
Gebonden uitgave
pocket book
Verschijningsjaar: 2014
Uitgever: Dubucs, Jacques, Bourdeau, Michel, Springer

Boek bevindt zich in het datenbestand sinds 2014-10-10T19:47:41+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-12-10T14:50:40+01:00 (Amsterdam)
ISBN/EAN: 940179216X

ISBN - alternatieve schrijfwijzen:
94-017-9216-X, 978-94-017-9216-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: bourdeau, jacques michel, dubuc, dubucs, alan turing
Titel van het boek: historica, computability and logic, constructivity and computability, historical perspective

Gegevens van de uitgever

Auteur: Jacques Dubucs; Michel Bourdeau
Titel: Logic, Epistemology, and the Unity of Science; Constructivity and Computability in Historical and Philosophical Perspective
Uitgeverij: Springer; Springer Netherland
214 Bladzijden
Verschijningsjaar: 2014-09-09
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 214 p. 1 illus.

BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; BHK interpretation; Canonical Proof; Classification theory; Computing machines; Contructive mathematics; Effective procedures; Kolmogorov complexity; Proof-theoretical Semantics; Recursion theory; Turing machine; Logic; Theory of Computation; Mathematical Logic and Foundations; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; EA; BC

Preface; Jacques Dubucs and Michel Bourdeau.- Chapter 1. Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session; Göran Sundholm.- Chapter 2. The developments of the concept of machine computability from 1936 to the 1960s; Jean Mosconi.- Chapter 3. Kolmogorov Complexity in perspective, Part I: Information Theory and Randomness; Marie Ferbus-Zanda and Serge Grigorieff.- Chapter 4. Kolmogorov Complexity in perspective, Part II: Classification, Information Processing and Duality; Marie Ferbus-Zanda.- Chapter 5. Proof-theoretic semantics and feasibility; Jean Fichot.- Chapter 6. Recursive functions and constructive mathematics; Thierry Coquand.- Chapter 7. Gödel and intuitionism; Mark van Atten.
Offers an in depth look at the relationship between computability and constructivity Follows the developments from Turing's ground-breaking linkage between computation and the machine and the final resolution between proof theoretical semantics and canonical proof feasibility Examines how to bridge differences in the area rather than providing a comprehensive view over the work

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789402407075 Constructivity and Computability in Historical and Philosophical Perspective (Jacques Dubucs)

< naar Archief...