26 results
2 - Two Thousand Years of Computation
- from PART ONE - Ancient Origins
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 15-28
-
- Chapter
- Export citation
3 - Predicate Logic
- from PART TWO - The Age of Reason
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 31-43
-
- Chapter
- Export citation
PART TWO - The Age of Reason
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 29-30
-
- Chapter
- Export citation
Part Three - Crisis of the Axiomatic Method
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 87-88
-
- Chapter
- Export citation
6 - Lambda Calculus, or an Attempt to Reinstate Computation in the Realm of Mathematics
- from PART TWO - The Age of Reason
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 69-72
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 149-152
-
- Chapter
- Export citation
PART ONE - Ancient Origins
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 3-4
-
- Chapter
- Export citation
Introduction: In Which Mathematics Sets Out to Conquer New Territories
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 1-2
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp i-iv
-
- Chapter
- Export citation
5 - Church's Thesis
- from PART TWO - The Age of Reason
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 55-68
-
- Chapter
- Export citation
Conclusion: As We Near the End of This Mathematical Voyage …
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 136-138
-
- Chapter
- Export citation
12 - News from the Field
- from Part Three - Crisis of the Axiomatic Method
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 111-123
-
- Chapter
- Export citation
9 - Intuitionistic Type Theory
- from Part Three - Crisis of the Axiomatic Method
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 89-95
-
- Chapter
- Export citation
14 - The End of Axioms?
- from Part Three - Crisis of the Axiomatic Method
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 134-135
-
- Chapter
- Export citation
Contents
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp vii-viii
-
- Chapter
- Export citation
Dedication
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp v-vi
-
- Chapter
- Export citation
8 - Constructive Proofs and Algorithms
- from PART TWO - The Age of Reason
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 82-86
-
- Chapter
- Export citation
1 - The Prehistory of Mathematics and the Greek Resolution
- from PART ONE - Ancient Origins
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 5-14
-
- Chapter
- Export citation
Computation, Proof, Machine
- Mathematics Enters a New Age
-
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015
11 - Proof Checking
- from Part Three - Crisis of the Axiomatic Method
-
- Book:
- Computation, Proof, Machine
- Published online:
- 05 May 2015
- Print publication:
- 05 May 2015, pp 105-110
-
- Chapter
- Export citation