
Nature was a form of religion for naturalist, essayist, and early environmentalist Henry David Thoreau (1817-62). In communing with the natural world, he wished to "live deliberately, to front only the essential facts of life, and... learn what it had to teach." Toward that end Thoreau built a cabin in the spring of 1845 on the shores of Walden Pond -- on land owned by Ralph Waldo Emerson -- outside Concord, Massachusetts. There he observed nature, farmed, built fences, surveyed, and wrote in his journal. One product of his two-year sojourn was this book -- a great classic of American letters. Interwoven with accounts of Thoreau's daily life (he received visitors and almost daily walked into Concord) are mediations on human existence, society, government, and other topics, expressed with wisdom and beauty of style. Waldenoffers abundant evidence of Thoreau's ability to begin with observations on a mundane incident or the minutiae of nature and then develop these observations into profound ruminations on the most fundamental human concerns. Credited with influencing Tolstoy, Gandhi, and other thinkers, the volume remains a masterpiece of philosophical reflection. A selection of the Common Core State Standards Initiative.
Name of the Rose by Umberto Eco
If I have to do the proof, then as you say, it's probably harder and (in many cases) more error prone than if I didn't use a proof. If the language can do it for me, and I get the lack of errors without having to do the work (and without the chance of me making the mistakes)? Yeah, now we're talking. (Yes, I am aware that I still have to design the types to fit what the program is doing.)
If a tool introduces complexity, it has to make up for it by eliminating at least that much complexity somewhere else. If it doesn't, the tool isn't worth using.
-Walden; or, Life in the Woods
-An Inquiry into the Nature and Causes of the Wealth of Nations
