For the purposes of this monograph, "by a degree" is meant a degree of recursive unsolvability. A degree [script bold]m is said to be minimal if 0 is the unique degree less than [script bold]m. Each of the six chapters of this self-contained monograph is devoted to the proof of an existence theorem for minimal degrees.

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised (...) and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

Cette étude retrace l’évolution de la série de « Colloquium lectures » de l’American Mathematical Society dès sa création en 1896 jusqu’au début de la deuxième guerre mondiale. Ces cours constituent une importante innovation dans l’échange mathématique aux États-Unis. Ils ont servi à la fois à porter la communication mathématique à un haut niveau et à organiser plus efficacement une communauté nationale de mathématiciens.

Cette étude retrace l’évolution de la série de « Colloquium lectures » de l’American Mathematical Society (AMS) dès sa création en 1896 jusqu’au début de la deuxième guerre mondiale. Ces cours constituent une importante innovation dans l’échange mathématique aux États-Unis. Ils ont servi à la fois à porter la communication mathématique à un haut niveau et à organiser plus efficacement une communauté nationale de mathématiciens.

Remembering Kolmogorov Content Type Journal Article Pages 1-3 DOI 10.1007/s11016-011-9540-6 Authors Paul M. B. Vitányi, CWI, Science Park 123, 1098 XG Amsterdam, The Netherlands Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.