This is a draft of the the unpublished Ph.D. dissertation which reads Cormac McCarthy and Stephen King synoptically through the lens of Christian hermeneutics.

The title of this piece is meant to evoke at least three sources. The first – and perhaps the only obvious one – concerns the ability of holograms to display parallax, a shifting of visual viewpoint that allows a three-dimensional image to reveal background objects behind those in the foreground. This parallax view is a unique feature of holograms as visual media. A second allusion is to the American film The Parallax View (1974, director A. J. Pakula), a rather paranoid (...) thriller focusing on conspiracy theories concerning government and corporations. To a casual observer, the bare details of the military origins of holography suggest just such cynical and centrally-directed development, although I hope to dispel such simplistic ideas here. And a third passing reference is to the book The Parallax View (2006) by Slavoj Zizek, a wide-ranging and deep exploration of duality in political views, ontological interpretations and scientific methods, among other topics. Zizek’s theme, as well as Pakula’s, is relevant to my approach, which focuses on a parallax of both practice and intent. During the first successful decade of holography, conflicting viewpoints developed between distinct communities: the militarily-guided engineers who invented practical holography, and the later imaging scientists and artisans who stressed three-dimensionality and other attributes instead of the original goal of optical image processing. I argue that distinct groups of users had different perceptions of what holography is and what it is for. (shrink)

As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...) many twists and turns as a thriller. At the end of the story is a new principle for designing programming languages that will guide computers into the 21st century. -/- For my money, Gentzen’s natural deduction and Church’s lambda calculus are on a par with Einstein’s relativity and Dirac’s quantum physics for elegance and insight. And the maths are a lot simpler. I want to show you the essence of these ideas. I’ll need a few symbols, but not too many, and I’ll explain as I go along. -/- To simplify, I’ll present the story as we understand it now, with some asides to fill in the history. First, I’ll introduce Gentzen’s natural deduction, a formalism for proofs. Next, I’ll introduce Church’s lambda calculus, a formalism for programs. Then I’ll explain why proofs and programs are really the same thing, and how simplifying a proof corresponds to executing a program. Finally, I’ll conclude with a look at how these principles are being applied to design a new generation of programming languages, particularly mobile code for the Internet. (shrink)