Computation in Non-Classical Foundations?

The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms (like "set", "function", and "number") are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. We argue for some minimal conditions that must be met if two frameworks are to be compared; if frameworks are radical enough, comparison becomes hopeless. Our aim is to clarify the dialectical situation in this bourgeoning area of research, shedding light on the nature of non-classical logic and the notion of computation alike.

Statistical analysis of the goodness of classical factor analysis regression (CFAR) /

Cover title.

Biographical and bibliographical dictionary of the Italian humanists and of the world of classical scholarship in Italy, 1300-1800.

Vol. 6: Supplement. A-Z has half title: Dictionary of the Italian humanists.

Jewelry, the art of the goldsmith in classical times as illustrated in the museum collection,

"Printed June, 1928, in an edition of 2,000 copies, E.L. Hildreth & Co., Brattleboro, Vermont."

Handbook of the classical collection,

2000 copies printed.

Lectures on classical differential geometry.

Bibliography: p. vii-viii.

The classical heritage of the middle ages,

"New and revised edition [first] published October, 1911."

The classical heritage of the Middle Ages.

Mode of access: Internet.

The Biblical repository and classical review.

Published: New York : Leavitt, Trow and Co., 1845- ; The Proprietors, -1850.

Handbook of the classical collection,

"2000 copies ... printed."

Papers of the American School of Classical Studies at Athens.

Some volumes have varying subtitles.

University of California publications in classical philology.

Mode of access: Internet.

Annual report of the managing committee of the American school of classical studies at Athens.

Archaeological institute of America.

Boston College's classical curriculum /

Includes bibliographical references.