Back to The Globe
Featured Computer programs
Mathematical theory of program correctness
"The third novel in Terry Pratchett and Stephen Baxter's "Long Earth" series, which Io9 calls "a brilliant science fiction collaboration.""-- 2040-2045.
Your reading world on The Globe
Discover your next book. Keep the ones that matter.
Join The Globe for a free reader profile and discover books, writers and stories in one place.
About the book
About Mathematical theory of program correctness
"The third novel in Terry Pratchett and Stephen Baxter's "Long Earth" series, which Io9 calls "a brilliant science fiction collaboration.""-- 2040-2045. In the years after the cataclysmic Yellowstone eruption there is massive economic dislocation as populations flee Datum Earth to myriad Long Earth worlds. Sally is contacted by her long-vanished father and inventor of the original Stepper device, Willis Linsay. He tells her he is planning a fantastic voyage across the Long Mars and wants her to accompany him. U. S. Navy Commander Maggie Kauffman has embarked on an incredible journey of her own, leading an expedition to the outer limits of the far Long Earth. Joshua becomes embroiled in the plight of the Next: the super-bright post-humans who are beginning to emerge from their "long childhood" in the community called Happy Landings, located deep in the Long Earth. A dramatic showdown seems inevitable....
Reader conversation
Discuss this book
Are you the author or publisher?
Claim this page to verify the book information, add an author profile, update purchase links or request removal.