Populaarteaduslik raamat inglise keeles.

In 1931 Kurt Gödel published a revolutionary paper -- one that challenged certain basic assumptions underlying much traditional research in mathematics and logic. Today his exploration of terra incognita has been recognized as as one of the major contributions to modern scientific thought.

Contents.

3 Introduction

8 The Problem of Consistency

26 Absolute Proofs of Consistency

37 The Systematic Codification of Formal Logic

45 An Example of a Successful Absolute Proof of Consistency

57 The Idea of Mapping and Its Use in Mathematics

68 Gödel's Proofs

98 Concluding Reflections

103 Appendix: Notes

115 Brief Bibliography

117 Index