×

zbMATH — the first resource for mathematics

Operazioni di Brouwer e realizzabilita formalizzata. (Italian) Zbl 0242.02037
MSC:
03F55 Intuitionistic mathematics
03F99 Proof theory and constructive mathematics
PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[1] P. Bernays , Sur le platonisme dans les mathématiques , L’Enseignement Mathématique , vol. 34 ( 1935 ), pp. 52 - 69 . Zbl 0014.00101 | JFM 61.0047.03 · Zbl 0014.00101
[2] H.B. Curry , Foundations of mathematical logic , New York ( Mc Graw-Hill ) 1963 , pp. xii + 408. MR 148529 | Zbl 0163.24209 · Zbl 0163.24209
[3] N.D. Goodman , Intuitionistic arithmetic as a theory of constructions , tesi , Stanford University , 1968 , pp. v + 111 .
[4] A. Heyting , Blick von der intuitionistischen Warte , Dialectica , vol. 12 ( 1958 ), pp. 332 - 345 . MR 99924 | Zbl 0089.24502 · Zbl 0089.24502
[5] S.C. Kleene , On, the interpretation of intuitionistic number theory , The Journal of Symbolic Logic , vol. 10 ( 1945 ), pp. 109 - 124 . MR 15346 | Zbl 0063.03260 · Zbl 0063.03260
[6] S.C. Kleene , Introduction to metamathematics , Amsterdam ( North-Holland ) e Groningen ( Noordhoff ) 1952 , pp. x + 550 . MR 51790 | Zbl 0047.00703 · Zbl 0047.00703
[7] S.C. Kleene , Realizability and Shanin’s algorithm for the constructive deciphering of mathematical sentences , Logique et Analyse , vol. 3 ( 1960 ), pp. 154 - 165 . MR 103826
[8] S.C. Kleene , Classical extensions of intuitionistic mathematics, in Logic, methodology and philosophy of science II , Proceedings of the 1964 international congress, a cura, di Y. BAR-HILLEL, Amsterdam ( North-Holland ) 1965 , pp. 31 - 44 . MR 209124 | Zbl 0192.03002 · Zbl 0192.03002
[9] S.C. Kleene , Formalized recursive functionals and formalized realizability , Memoirs of the American Mathematical Society , N. 89 , Providence, R. I. ( American Mathematical Society ) 1969 , pp. 106 . MR 244002 | Zbl 0184.02004 · Zbl 0184.02004
[10] S.C. Kleene R.E. Vesley , The foundations of intuitionistic mathematics, especially in relation to recursive functions , Amsterdam ( North-Holland ) 1965 , pp. viii + 206 . MR 176922 | Zbl 0133.24601 · Zbl 0133.24601
[11] G. Kreisel , Mathematical logic , in Lectures on modern mathematics , a cura di T. L. SAATY, vol. III , New York ( Wiley ) 1965 , pp. 95 - 195 . MR 177866 | Zbl 0147.24703 · Zbl 0147.24703
[12] G. Kreisel , Lawless sequences of natural numbers . Compositio Mathematica , vol. 20 ( 1968 ), pp. 222 - 248 . Numdam | MR 226992 | Zbl 0157.33401 · Zbl 0157.33401
[13] G. Kreisel , Church’s thesis : a kind of reducibility axiom for constructive mathematics, in Intuitionism and proof theory , Proceedings of the summer conference at Buffalo N. Y. 1968 , a cura di A. Kino , J. Myhill e R.E. Vesiley , Amsterdam ( North-Holland ) 1970 , pp. viii + 516 . MR 270891 | Zbl 0199.30001 · Zbl 0199.30001
[14] G. Kreisel A.S. Troelstra , Formal Systems for some branches of intuitionistic analysis , Annals of Mathematical Logic , vol. 1 ( 1970 ), pp. 229 - 387 . MR 263609 | Zbl 0211.01101 · Zbl 0211.01101
[15] D. Prawitz , Natural deduction. A proof-theoretical study , Stockholm ( Almqvist & Wiksell ) 1965 , pp. 113 . MR 193005 | Zbl 0173.00205 · Zbl 0173.00205
[16] C. Spector , Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitioniatics mathematics, in Recursive function theory , Proceedings of symposia in pure mathematics, vol. 5 , a cura di J.C.E. Derker , Providence, R. I. ( American Mathematical Society ) 1962 , pp. 1 - 27 . MR 154801 | Zbl 0143.25502 · Zbl 0143.25502
[17] A.S. Troelstra , The theory of choice sequences, in Logic, methodology and philosophy of science III , Proceedings of the third international congress, a cura di B. VAN ROOTSELAAR e J. F. STAAL, Amsterdam ( North-Holland ) 1968 , pp. 201 - 223 . MR 252206 | Zbl 0185.01002 · Zbl 0185.01002
[18] A.S. Troelstra , Notions of realizability for intuitionistic arithmetic in all finite types , in Proceedings of the Second Scandinavian Logic Symposium, a cura di J.E. Fenstad , in corso di pubblicazione. Zbl 0227.02015 · Zbl 0227.02015
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.