CDMTCS Research Report Series To a Mathematical Theory of Evolution and Biological Creativity

Ehics Captured by the Genes; A Survey on Richard Dawkin’s Opinions about Ethics Based on the Theory of Evolution

As an evolutionist biologist, Dawkins has commented on some non-biological fields of knowledge such as ethics. Regarding ethics, he has utilized different areas of knowledge like social biology, evolutionary psychology, genetics etc. The most important aspect of Dawkins theory is that he negates any form of moral distinction between human and animals. His concerns about dealing with ethics orig...

To a mathematical theory of evolution and biological creativity

We present an information-theoretic analysis of Darwin’s theory of evolution, modeled as a hill-climbing algorithm on a fitness landscape. Our space of possible organisms consists of computer programs, which are subjected to random mutations. We study the random walk of increasing fitness made by a single mutating organism. In two different models we are able to show that evolution will occur a...

CDMTCS Research Report Series Scott Families and Computably Categorical Structures

CDMTCS Research Report Series Higher Randomness Notions and Their Lowness Properties

We study randomness notions given by higher recursion theory, establishing the relationships Π1-randomness ⊂ Π1-Martin-Löf randomness ⊂ ∆1randomness = ∆1-Martin-Löf randomness. We characterize the set of reals that are low for ∆1 randomness as precisely those that are ∆1 -traceable. We prove that there is a perfect set of such reals.

Cdmtcs Research Report Series Computable Kripke Models and Intermediate Logics

We introduce e ectiveness considerations into model theory of intuitionistic logic. We investigate e ectiveness of completeness (by Kripke) results for intermediate logics such as for example, intuitionistic logic, classical logic, constant domain logic, directed frames logic, Dummett's logic, etc.