Feasible Mathematics: A Mathematical Sciences Institute Workshop (Ithaca, New York, June 1989)

In the heart of Ithaca, New York, a gathering of some of the brightest minds in mathematical sciences convened in June 1989 to explore the interplay between feasible mathematics and computational logic. This collection, meticulously edited by Samuel R. Buss and Philip J. Scott, captures the essence of this pivotal workshop, where innovative ideas and rigorous analysis flourished.

The contributors to this volume delve into a range of topics that bridge classical mathematics with practical computational applications. Through insightful discussions and groundbreaking research, they challenge traditional boundaries, providing a fresh perspective on the feasibility and implementation of mathematical principles in real-world scenarios.

Readers will find a thought-provoking exploration of mathematical logic, computational theories, and their implications for technology and science. The depth of inquiry and collaborative spirit showcased in these proceedings reflect the dynamic nature of mathematical exploration, making this work a valuable resource for anyone interested in the forefront of mathematical sciences.