50 Books Like Gödel's Proof

Every "computer person" should read GEB at least once. Preferably in high school, when you still have the free time to dive deep into all the recreational math exercises. If you're already working 40-hour weeks and wonder who has time for Hofstadter's 750-page "metaphorical fugue on minds and machines," all I can say is: Better late than never!

This opened up new insights into my spiritual journey. Dr. Tiller presents amazing research that shows that when there is a link between subtle energy and ordinary physical space, the physical properties of that space are changed, such that disorder decreases, rather than increases. He has done experiments in which experienced meditators are asked to store an intention in a bit of circuitry that is not connected to anything, such that the pH in water in another laboratory that the circuitry is placed near will increase by one point. This happens, and the experiment has been replicated many times. This is already amazing enough, but the entropy (disorder) in the laboratory decreases, which is contrary to the 2nd law of thermodynamics in ordinary physical space. My inspiration from this research was that any time we bring about a connection between subtle energy and our environment, new possibilities become available.

This book contains numerous research studies on subtle energy, energy medicine, and new technologies to measure phenomena that have generally been thought of as outside of the realm of Western science. What I learned from the research in this book is that it is possible to conclusively prove that the world we live in is much more interconnected than we realize. Theoretical frameworks, methodologies, and explanations are available that challenge our usual notions of time, space, and non-locality. Reading this book will show any open-minded readers that a dualistic frame of reference will never enable us to understand the universe that each of us is an integral part of.

This book spoke to me as a scholar of systems theory and due to my upbringing in Buddhist culture. Macy discusses how core teachings of interdependence in Buddhism and the mutual causation concept of general systems theory are similar. This book emphasizes the interdependent relationships among different people, things, societies, and ecosystems as mutually affecting and not unidirectional, leading to and encouraging collective action toward mutual benefits. I also love this book because it can introduce readers to philosophical thoughts that are other than Western, which we tend to be bombarded with in academic publications and education in the US. 

This book was very inspiring to me, and reinforces the idea that each of us is a unique and integral part of an evolving universe. The future is not fixed, and as we awaken to our higher possibilities, what becomes possible for everything is augmented. We live in a purpose-driven universe, and not the one described for centuries as a clockwork universe. 

This is the definitive book series on algorithms and the core of computer programming.

Unlike most such books, Knuth is a real programmer, deep into the details of the craft, to the point of creating his own assembler language and typesetting generation system. It’s partly the substance of the algorithms and their analysis, but even more is the way he models a way of thinking about and solving complexity that makes this a must-read series.

Attending Harvard College gave me the opportunity to collaborate with great programmers in creating the early ARPA-net. But the best course I took was on compiler theory and construction, using an early draft of the material in this book.

Of course I learned how to build a compiler, which I did as my first job after graduating. But more important, I learned that a well-built compiler is a small amount of language-independent code with two major parts.

First the input part that realizes the content of the lexical and grammatical metadata, like today’s LEX and YACC, to turn the program being compiled into a semantic model.

Second the code generator that reads the semantic model and, based on generative model metadata, turns the semantics of the program being compiled to whatever form you want, whether executable code, assembler language, byte code or whatever.

This approach, while indispensable for compilers and… show more.

Next to Fred Brooks' The Mythical Man-Month, this is perhaps the most classic of all classic programming books.

The authors write: "Besides showing how to make effective use of the language, we have also tried where possible to illustrate useful algorithms and principles of good style and sound design."

The book is astoundingly practical as a tutorial, which is itself a testament to the Unix "pipe" model of programming: By page 13, they've introduced getchar and putchar, and by the end of Chapter 1, twenty pages later, you've implemented a host of useful utilities including cat, wc, and detab. In Chapter 5 you implement a function recognizable as the now-standard qsort; in Chapter 8 you implement malloc itself.

Now, I recommend "K&R1," not the more popular "K&R2." The first edition was issued in 1978 at a slim 225 pages; the second edition, a decade later, added conformance with ANSI… show more.

Gödel (1906-1978) is, like Newton, an unpromising subject for biography. He was antisocial and mentally unstable. His obsessive fear of being poisoned led eventually to him starving himself to death. 

Rebecca Goldstein is a professor of philosophy with a deep interest in logic and the foundations of mathematical truth – the applecart that Gödel overturned in 1931 with his tremendous paper on the incompleteness of axiomatic systems. She is also an experienced novelist. This combination makes her just the right person to construct a gripping story out of Gödel’s weirdness and world-shaking importance.

A true gem in the realm of symbolic logic textbooks, this book stands out for its crystal-clear explanations and elegant English prose. It’s my top recommendation for anyone coming from a humanities background or returning to academia after a break.

Tomassi’s writing makes symbolic logic both accessible and engaging.