Constructivity in Mathematics

Epistemologia 4 (1):205 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computability in Quantum Mechanics.Wayne C. Myrvold - 1995 - In Werner De Pauli-Schimanovich, Eckehart Köhler & Friedrich Stadler (eds.), Vienna Circle Institute Yearbook. Kluwer Academic Publishers. pp. 33-46.
The Foundational Debate: Complexity and Constructivity in Mathematics and Physics.Werner DePauli-Schimanovich, Eckehart Köhler & Friedrich Stadler (eds.) - 1995 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 1--14.
Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.
Recursive analysis.Rl Goodsteest - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 37.
Constructivity in mathematics.A. Heyting (ed.) - 1959 - Amsterdam,: North-Holland Pub. Co..
Rekursivität und konstruktivität.R. Ö. Z. S. A. Pfiter - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 226.
Heytingsche prädikatenkalkul und metrische räume 251.X. Xxx - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 24--250.
"Hinweise auf:" Heyting, Constructivity in Mathematics.H. Gadamer - 1959 - Philosophische Rundschau 7 (3/4):309-312.
Der heytingsche prädikatenkalkul und metrische räume.Roman Sikorski - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 250.
Quelques procedes de definition en topologffi recursive.Daniel Lacombe - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 24--129.
Quelques procédés de définition en topologie récursive.Daniel Lacombe - 1959 - Journal of Symbolic Logic 31 (1):129--158.
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 101--128.
The Foundational Debate: Complexity and Constructivity in Mathematics and Physics.Roland Omnès, Anton Zeilinger, G. Cattaneo, M. L. Dalla Chiara & R. Giuntini - 2010 - Springer.

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references