The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.
Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schr der, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt G del conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.
Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
Автор: Tarlow Sarah Название: The Golden and Ghoulish Age of the Gibbet in Britain ISBN: 1349958794 ISBN-13(EAN): 9781349958795 Издательство: Springer Рейтинг: Цена: 3913.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focusing particularly on the period 1752-1832, this book provides a summary of the historical evidence, the factual history of gibbetting which explores the locations of gibbets, the material technologies involved in hanging in chains, and the actual process from erection to eventual collapse.
Описание: An eye-opening account of how robotics, computing and AI are altering our understanding of what it means to be human - from the bestselling author of Anatomy of a Soldier
Описание: Ivan P. Pavlov was a pioneering Russian physiologist whose influence on Russian psychology was politically emphasized in 1930s to 1950s. This volume analyses the major contributions of Pavlov from the standpoint of idiographic science, and demonstrates how generalizations in science are possible from single specimens.
Автор: Cole Gigliotti Avi Название: The holocaust in the twenty-first centur ISBN: 0810142732 ISBN-13(EAN): 9780810142732 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 12534.00 р. Наличие на складе: Нет в наличии.
Описание: Challenges a number of key themes in Holocaust studies with new research. Taken together, these essays incorporate gender analysis, spatial thinking, and victim agency into Holocaust studies. In so doing, they move beyond existing notions of perpetrators, victims, and bystanders to portray the Holocaust as a complex and multilayered event.
Описание: Starting with the war, the authors analyze the functions of this category in the Polish discourse of memory through following its changing forms and showing links with social practices organizing the collective memory.
Описание: Starting with the war, the authors analyze the functions of this category in the Polish discourse of memory through following its changing forms and showing links with social practices organizing the collective memory.
Описание: The first detailed analysis of how climate change influenced the Golden Age of the Dutch Republic, from the middle of the sixteenth century to the early decades of the eighteenth century. For environmental historians, scholars of Dutch history, and anyone interested in climate change.
Описание: Renowned as great centres of learning, the cities of Baghdad and Isfahan were atthe heart of the Islamic civilization as rich capital cities and centres of intellectualthought. Their distinct cultural voices inspired a unique historical dialogue, whichfinds new expression in Baghdad and Isfahan, the story of how knowledge wastransmitted and transformed within Islamic lands, and then spread across Europe.Capturing the history of Baghdad and Isfahan from 750 to 1750, Elaheh Kheirandishdraws on the voices of court astronomers, mathematicians, scientists, mystics,jurists, statesmen and Arabic and Persian translators and scholars to document theextensive and lasting contribution of sciences from Islamic lands to the history ofscience. Kheirandish bases her narrative on a unique medieval manuscript and otherhistorical sources and the result is more than a thousand-year ‘tale of two cities’ – itis a city by city, and century by century, look at what it took to change the world.In a feat of travelogue and time travel, this unique book creates parallel storieswith modern and historical characters, crossing cities worldwide, and capturingchanges through time. Interweaving multiple narratives, histories, and futures, shecharts the possible paths – formalized and serendipitous, lost and recovered – bywhich knowledge itself is translated and transmitted across time and cultures.
Автор: Hurter, Tobias Название: Age of uncertainty ISBN: 1914484428 ISBN-13(EAN): 9781914484421 Издательство: TBS/GBS Рейтинг: Цена: 4950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Comfort food is mouth-watering dishes that warm you up and feed your soul. It`s meltingly tender casseroles, flavourful take-aways, fish and chips, moreish cakes, sticky puddings and more. Healthy eating doesn`t have to mean uninspiring meals and going hungry. Good nutritious food can be (and is in this book!) comforting, filling and delicious too.
Автор: George Whalley; Brian Crick; John Ferns Название: Studies in Literature and the Humanities ISBN: 1349077798 ISBN-13(EAN): 9781349077793 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Between the genesis of computer science in the 1960s and the advent of the World Wide Web around 1990, computer science evolved in significant ways. The author has termed this period the "second age of computer science." This book describes its evolution in the form of several interconnected parallel histories.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
