The Resource Constructivity and computability in historical and philosophical perspective, Jacques Dubucs, Michel Bourdeau, editors

Constructivity and computability in historical and philosophical perspective, Jacques Dubucs, Michel Bourdeau, editors

Label
Constructivity and computability in historical and philosophical perspective
Title
Constructivity and computability in historical and philosophical perspective
Statement of responsibility
Jacques Dubucs, Michel Bourdeau, editors
Contributor
Editor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
Dewey number
149
Illustrations
illustrations
Index
no index present
LC call number
B809.13
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Dubucs, Jacques
  • Bourdeau, Michel
Series statement
Logic, Epistemology, and the Unity of Science,
Series volume
volume 34
http://library.link/vocab/subjectName
  • Constructivism (Philosophy)
  • Computer science
  • PHILOSOPHY
  • PHILOSOPHY
  • Computer science
  • Constructivism (Philosophy)
  • Philosophy
  • Logic
  • Theory of Computation
  • Mathematical Logic and Foundations
Label
Constructivity and computability in historical and philosophical perspective, Jacques Dubucs, Michel Bourdeau, editors
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-94-017-9217-2
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references at the end of each chapters
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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
Dimensions
unknown
Extent
1 online resource (xi, 214 pages)
File format
unknown
Form of item
online
Isbn
9789401792172
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-94-017-9217-2
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)890460244
  • (OCoLC)ocn890460244
Label
Constructivity and computability in historical and philosophical perspective, Jacques Dubucs, Michel Bourdeau, editors
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-94-017-9217-2
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references at the end of each chapters
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
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
Dimensions
unknown
Extent
1 online resource (xi, 214 pages)
File format
unknown
Form of item
online
Isbn
9789401792172
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
SpringerLink
Other control number
10.1007/978-94-017-9217-2
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)890460244
  • (OCoLC)ocn890460244

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...