BSL
2008
13 years 4 months ago
2008
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
BSL
2008
13 years 4 months ago
2008
The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discus...
BSL
2008
13 years 4 months ago
2008
The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is 1 1-complete. This result an...
BSL
2008
13 years 4 months ago
2008
This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroup...
BSL
2008
13 years 4 months ago
2008
BSL
2008
13 years 4 months ago
2008
We discuss the work of Paul Cohen in set theory and its influence, especially the background, discovery, development of forcing. Paul Joseph Cohen (1934
BSL
2008
13 years 4 months ago
2008
BSL
2008
13 years 4 months ago
2008
