Free shipping over $79 | Order by Dec 31 and enjoy a $10 voucher on your next purchase
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Constructivity and Computability in Historical and Philosophical Perspective : Logic, Epistemology, and the Unity of Science : Book 34 - Jacques Dubucs

Constructivity and Computability in Historical and Philosophical Perspective

By: Jacques Dubucs

eText | 27 August 2014

At a Glance

eText

$84.99

or 4 interest-free payments of $21.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

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.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionPhilosophyPhilosophy & LogicMathematicsMathematical FoundationMathematical LogicHistory of MathematicsComputing & I.T.Computer ScienceMathematical Theory of Computation

More in Philosophy & Logic

The Rules of Logic : Library of Arabic Literature - Najm al-D?n al-K?tib?

eBOOK

The Rules of Logic

Library of Arabic Literature

eBook

RRP $17.60

$14.99

15%
OFF
All or nothing - Reski Thami

eBOOK

All or nothing

eBook

$5.07

Free Logic : A Generalization - Greg Frost-Arnold

eBOOK

Free Logic

A Generalization

eBook

RRP $32.95

$28.99

12%
OFF

This product is categorised by