# Variations on a thesis: intuitionism and computability

@article{McCarty1987VariationsOA, title={Variations on a thesis: intuitionism and computability}, author={Charles McCarty}, journal={Notre Dame J. Formal Log.}, year={1987}, volume={28}, pages={536-580} }

There are three variations. The first is an extended argument for a reappraisal of the status of CT within intuitionism. Traditionally, the intuitionists' attitude toward CT has been strongly negative; it was thought that Church's Thesis was obviously false. The fact that it is consistent with the main bulk of constructive mathematics was either to be deplored or ignored. We think this attitude unfortunate. As it seems to derive a good part of its impetus from an unnecessary identification of…

## 19 Citations

Structures and Logics: A Case for (a) Relativism

- Philosophy
- 2014

In this paper, I use the cases of intuitionistic arithmetic with Church’s thesis, intuitionistic analysis, and smooth infinitesimal analysis to argue for a sort of pluralism or relativism about…

Nonstandard Functional Interpretations and Categorical Models

- PhilosophyNotre Dame J. Formal Log.
- 2017

This work introduces a variant of the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and shows that one can obtain nonstandarddialectica by weakening the computational content of the existential quantifiers—a process called herbrandization.

A simple computational interpretation of set theory

- Philosophy
- 2010

CZF is a system of set theory which, over classical logic, is equivalent to ZF, while over intuitionistic logic, it has a well-known constructive type-theoretic interpretation. This article…

Philosophy of Mind Is (in Part) Philosophy of Computer Science

- PhilosophyMinds and Machines
- 2011

The link between the issues identified in philosophy of mind and philosophy of computer science is used to respond to a prominent argument against the possibility of building a machine that passes the Turing test.

Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics

- Philosophy
- 2015

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity…

J an 2 01 3 Realizability with a Local Operator of

- Mathematics
- 2013

We study a notion of realizability with a local operator J which was first considered by A.M. Pitts in his thesis [7]. Using the Suslin-Kleene theorem, we show that the representable functions for…

The Herbrand topos

- Mathematics
- 2011

We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and…

Philosophy of mathematics

- Philosophy
- 1997

ion. Resnik follows Quine in holding that both mathematical and physical entities are postulated, and their existence is justified on holistic grounds. A detailed contrast between abstraction and…

Transcription in maize mitochondria: effects of tissue and mitochondrial genotype

- BiologyCurrent Genetics
- 2004

The results indicate not only that promoter strength is an important component of the regulation of transcript levels in maize mitochondria, but also that the strength of a specific gene promoter can be dependent on the cytoplasmic genotype.

## References

SHOWING 1-10 OF 35 REFERENCES

On the Interpretation of Intuitionistic Number Theory

- PhilosophyJ. Symb. Log.
- 1945

It is proposed to regard the generality statement as an incomplete communication of a more specific statement, namely of one which gives an effective general method for obtaining, to any particular value of n, the information implicit in the assertion that that n has the property P.

Constructive validity is nonarithmetic

- MathematicsJournal of Symbolic Logic
- 1988

It follows constructively from weak versions of Markov's principle and Church's thesis that logical validity for single sentences is not arithmetically definable and is a direct consequence of the constructive modeltheoretic fact that one can prove the categoricity of first-order Heyting arithmetic.

Extending Gödel's negative interpretation to ZF

- Mathematics, PhilosophyJournal of Symbolic Logic
- 1975

It is shown that Godel's negative interpretation can be extended to Zermelo-Fraenkel set theory and an inner model S is defined in which the axioms of Zermel- FraenkelSet theory are true.

On the Very Idea of a Conceptual Scheme

- Philosophy
- 1973

Philosophers of many persuasions are prone to talk of conceptual schemes. Conceptual schemes, we are told, are ways of organizing experience; they are systems of categories that give form to the data…

Markov's principle, isols and Dedekind finite sets

- MathematicsJournal of Symbolic Logic
- 1988

MPS is tantamount, in constructive mathematics, to the standard classical characterizations of ⊿ in terms of cardinality, and simple closure properties on the Dedekind finite sets provide ready examples of statements which are strictly weaker than Markov's principle and yet are independent of extensions of IZF.

Skolem's paradox and constructivism

- Mathematics, Computer ScienceJ. Philos. Log.
- 1987

Les AA. soutiennent que les mathematiques intuitionnistes ne donnent pas lieu au paradoxe de Skolem. Ils soutiennent de plus que les preuves connues du theoreme de Lowenheim-Skolem sont inacceptables…

Data Types as Lattices

- MathematicsSIAM J. Comput.
- 1976

The meaning of many kinds of expressions in programming languages can be taken as elements of certain spaces of “partial” objects. In this report these spaces are modeled in one universal domain…

Proofs and the Meaning and Completeness of the Logical Constants

- Philosophy
- 1979

In this lecture I shall discuss the notions of meaning and proof and how they depend on each other. In conclusion, I shall deal with the question of the completeness of the usual sentential…