You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009.
This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi'an, China in April 2008. The 48 revised full papers presented together with 2 invited talks and 1 plenary lecture were carefully reviewed and selected from 192 submissions. The papers address current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference is given a special flavor and distinction.
Madness and Power. Can the insane rule? Can insanity be a leadership quality? Scott Rank says yes (well, sometimes) in this fascinating look at nine of history’s most notorious rulers, from the Roman emperor Caligula to the North Korean Communist dictator Kim Jong-il. Rank paints intimate portraits of these deeply flawed but powerful men, examining the role that madness played in their lives, the repercussions of their madness on history, and what their madness can tell us about the times in which they lived. In History’s 9 Most Insane Rulers, you will meet: • King Charles VI of France, who thought he was made of glass • Sultan Ibrahim I, who was driven mad by the sadistic succession...
Few mixtures are as toxic as absolute power and insanity. When nothing stands between a leader's delusion whims and seeing them carried them out, all sorts of bizarre outcomes are possible. Whether it is Ottoman Sultan Ibrahim I practicing archery on palace servants and sending out his advisers to find the fattest woman in the empire for his wife or Turkmenistan President Turkmenbashi renaming the days of the week after himself and constructing an 80-foot golden statue that revolves to face the sun, crazed leaders have plagued society for millenia.This book will look at the lives of the ten most mentally unbalanced figures in history. Some suffered from genetic disorders that led to schizophrenia, such as French King Charles VI, who thought he was made of glass. Others believed themselves to be God's representatives on earth and wrote religious writings that they guaranteed to the reader would get them into heaven, even if they were barely literate. Whatever their background, these rulers show that dynastic politics made sure that a rightful heir always got on the throne - despite that heir's mental condition - and that power can destroy a mind worse than any mental illness.
The articles in this book are based on talks given at the North Texas Logic Conference in October of 2004. The main goal of the editors was to collect articles representing diverse fields within logic that would both contain significant new results and be accessible to readers with a general background in logic. Included in the book is a problem list, jointly compiled by the speakers, that reflects some of the most important questions in various areas of logic. This book should be useful to graduate students and researchers alike across the spectrum of mathematical logic.
Dedicated to the memory of the late Professor Zbigniew Oziewicz from Universidad Nacional Autónoma de México, the book consists of papers on a wide variety of topics related to the work of Professor Oziewicz, which were presented at the special conference on Graph-Operads-Logic (GOL 2021), selected through peer review to promote his scientific legacy.Professor Oziewicz was a great enthusiast and supporter of category theory and its applications in physics, as well as in various areas of mathematics (topology, noncommutative geometry, etc.). In particular, he made significant contributions to the theory of Frobenius algebras, which now are becoming more important due to their connection wit...
A collection of essays celebrating the influence of Alan Turing's work in logic, computer science and related areas.
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).