9780195372229

Hilbert's Programs and Beyond

  • ISBN 13:

    9780195372229

  • ISBN 10:

    0195372220

  • Format: Hardcover
  • Copyright: 02/21/2013
  • Publisher: Oxford University Press

Note: Not guaranteed to come with supplemental materials (access cards, study guides, lab manuals, CDs, etc.)

Extend Your Rental at Any Time

Need to keep your rental past your due date? At any time before your due date you can extend or purchase your rental through your account.

Sorry, this item is currently unavailable.

Summary

Hilbert's Programs & Beyondpresents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematical logic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position ofreductive structuralismand explores mathematical capacities via computational models.

Author Biography

Read more

Table of Contents

Read more

Write a Review