In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...

There is increasing evidence for the wide‐spread existence of functionally redundant genetic pathways in developmental processes. However, both their significance and manner of evolution are still matters of debate. I will argue here that redundancy of gene actions may, in fact, be a necessary requirement for the development and evolution of complex life forms. One can view development as a process that transmits information from the egg to the adult organism. Transmission of information is, however, always an error‐prone process, which (...) can only be safeguarded by including redundancies in the message. Molecular examples for well analysed redundant processes indicate that redundancies may best be understood within a conceptual framework of overlaps between different gene functions. (shrink)

A trait is robust to a genetic or environmental variable if its variation is weakly correlated with variation in that variable. The source of robustness lies in the fact that the developmental processes that give rise to complex traits are nonlinear. A consequence of this nonlinearity is that not all genes are equally correlated with the trait whose ontogeny they control. Here we explore how developmental mechanisms determine and alter the correlation structure between genes and the traits that they control. (...) A formula is developed by which the correlation of a gene or environmental variable with a trait can be calculated if the mechanism that gives rise to the trait is known. The nature of robustness and the ways in which robustness can evolve are discussed in the context of the problems that arise in the analysis of inherently nonlinear systems. BioEssays 24:553–563, 2002. © 2002 Wiley Periodicals, Inc. (shrink)

Problems and Paradigms is a feature series devoted to discussions of major problems in biology. Past contributions have dealt with the selector gene hypothesis, problems of pattern formation, the phenomenon of paramutation, theories of aging, and the origins of life. In this article, Brian C. Goodwin discusses the problem of morphogenesis, in terms of the idea of the genetic program and in the light of recent findings.

L'image de l'écriture est singulièrement fréquente dans des explications cognitivistes du fonctionnement de l'esprit, non seulement comme métaphore mais également comme paradigme conceptuel: la machine de Turing, en particulier, montre un isomorphisme structural complet avec l'utilisation de l'écriture alphabétique. La machine de Turing effectue exactement les mêmes opérations effectuées par un homme écrivant avec le stylo et le papier et cela dépend de deux raisons: 1. il a été conçu dans l'image et la similarité de la pratique concrète humaine de (...) l'écriture ; 2. c'est le produit typique de la rationalité occidentale, dont le développement n'a été rendu possible que par les caractères spécifiques du traitement alphabétique de l'information. Ces aspects sont utiles pour comprendre la raison pour laquelle l'esprit a commencé à être dépeint comme machine d'écriture au moment même où l'alphabet a commencé à se diffuser: une recherche généalogique montrera comment, dans des traités de mnémotechniques et dans la métaphysique de Platon et d'Aristote, nous pouvons trouver la toute première base de chaque modèle logicosymbolique de l'esprit. (shrink)

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

'...a challenging and useful book, both because it provokes a careful scrutiny of one's own basic ideas regarding evolutionary theory, and because it cuts across so many biological disciplines.' -The Quarterly Review of Biology 'In my view, this work exemplifies Theoretical Biology at its best...here is rampant speculation that is consistently based on cautious reasoning from the available data. Even more refreshing is the absence of sloganeering, grandstanding, and 'isms'.' -Biology and Philosophy 'Epigenetics is fundamental to understanding both development and (...) gene expression, and not surprisingly, evolutionary biologists have long been fascinated with its proper place in evolutionary theory...Enter Jablonka and Lamb, who provide a thoughtful review of the recent molecular literature and suggest a number of potential consequences.' -EvolutionSince first publication of this controversial book, much of the initial opposition to the ideas it contained has been replaced by a general, although often grudging, acceptance of them. Advances in knowledge, especially at the molecular level, have enhanced general awareness and interest in epigenetics and the evolution of systems that store and transmit information and put any of the authors' speculations on a more solid basis. This paperback edition contains a new Preface that sets out the major changes in the scientific world and in the authors' own thinking that have occurred since the book was published. A new Appendix provides a selected bibliography of the many books and articles about epigenetic inheritance and its role in evolution that have appeared since first publication. (shrink)

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological (...) spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. (shrink)

Danchin argues that if scientists can reach a level of understanding of genomes, they will be able to resolve the major biological puzzle of the 21st century: the enigma of the living machine that creates the living machine.

A Nobel Prize-winning scientist and a leading brain researcher show how the brain creates conscious experience.

Advances in molecular biological research in the latter half of the twentieth century have made the story of the gene vastly complicated: the more we learn about genes, the less sure we are of what a gene really is. Knowledge about the structure and functioning of genes abounds, but the gene has also become curiously intangible. This collection of essays renews the question: what are genes? Philosophers, historians and working scientists re-evaluate the question in this volume, treating the gene as (...) a focal point of interdisciplinary and international research. It will be of interest to professionals and students in the philosophy and history of science, genetics and molecular biology. (shrink)