BSL

2008

13 years 11 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 11 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 11 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 11 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 11 months ago
2008

BSL

2008

13 years 11 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 11 months ago
2008

BSL

2008

13 years 11 months ago
2008