A non-mathematician explores mathematical terrain, reporting accessibly and engagingly on topics from Sudoku to probability. Brian Hayes wants to convince us that mathematics is too important and too much fun to be left to the mathematicians. Foolproof, and Other Mathematical Me…
"6" Result
Sort By:
Tools to make hard problems easier to solve.
Computability: Turing, Gödel, Church, and beyond
0
Type: Book
"In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive i…
Combinatorial structure and algorithms for deducing genetic recombination history, represented by ancestral recombination graphs and other networks, and their role in the emerging field of phylogenetic networks.