Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Cover of the book
Tytuł książki

Computable analysis

Autorzy

Stanisław Mazur

Seria

Rozprawy Matematyczne tom/nr w serii: 33 wydano: 1963

Zawartość

Pełne teksty:
rm33_01.pdf

Warianty tytułu

Abstrakty

EN

CONTENTS
Foreword.......................................................................................... 3
I. Recursive and computable numbers...................................... 4
1. Recursive numbers................................................................... 5
2. Computable numbers............................................................... 17
II. Recursive and computable sequences................................. 22
III. Recursive and computable functionals................................. 60
IV. Recursive and computable real functions............................ 60
Bibliography...................................................................................... 109

Słowa kluczowe

Tematy

Wydawca

Instytut Matematyczny Polskiej Akademii Nauk

Miejsce publikacji

Warszawa

Copyright

Seria

Rozprawy Matematyczne tom/nr w serii: 33

Liczba stron

111

Liczba rozdzia³ów

Opis fizyczny

Rozprawy Matematyczne, Tom XXXIII

Daty

wydano
1963

Twórcy

autor
Stanisław Mazur

Bibliografia

  • [1] W. Ackermann, Zur Widerspruchsfreiheit der Zahlentheorie, Math. Annalen 117 (1940), pp. 162-194.
  • [2] S. Banach and S. Mazur, Sur les fonctions calculables, Ann. Soc. Pol. de Math. 16 (1937), p. 223.
  • [3] P. Bernays, Über das Induktionsschema in der rekursiven Zahlentheorie in Kontrollieries Denken, München 1951.
  • [4] H. B. Curry, A formalisation of recursive arithmetic, Am. Journ. of Math. 63 (1943), pp. 263-282.
  • [5] R. M. Friedborg, 4 Quantifier Completeness. A Banach-Mazur Functional not Uniformly Partial Recursive, Bull. Pol. Ac. Sci., Sér. des sci. math., astr. et phys., 6 (1958), pp. 1.5.
  • [6] R. L. Goodstein, The strong convergence of the exponential function, Journal of the London Math. Soc. 22 (1947), pp. 200-205.
  • [7] R. L. Goodstein, Mean value theorems in recursive function theory, Proc. of the London. Math. Soc. (2) 52 (1950), pp. 81-106.
  • [8] R. L. Goodstein, The relatively expotential, logarithmic and circular functions in rec. function theory, Acta Math. 92 (1954), pp. 171-190.
  • [9] R. L. Goodstein, The rec. irrationality of π, J. S. L. 19 (1954), pp. 267-274.
  • [10] R. L. Goodstein, Logic free formalisations of rec. arithmetic, Math. Scand. 2 (1954), pp. 247-267.
  • [11] R. L. Goodstein, A constructivist theory of plane curves, Fund. Math. 43 (1956), pp. 23-35.
  • [12] R. L. Goodstein, Recursive number theory, Amsterdam 1957.
  • [13] R. L. Goodstein, Recursive analysis, Constructivity in Mathematics, pp. 37-42.
  • [14] R. L. Goodstein, Recursive analysis, Studies in Logic, 1961.
  • [15] K. Godel, Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Dialektica 47-48, 12 (1958), pp. 280-287.
  • [16] A. Grzegorczyk, On the definition of computable real continuous functions, Fund. Math. 44 (1947), pp. 61-71.
  • [17] A. Grzegorczyk, Computable functionals, Fund. Math. 42 (1955), pp. 168-202.
  • [18] A. Grzegorczyk, On the definition of computable functionals. Fund. Math. 42 (1955), pp. 232-239.
  • [19] A. Grzegorczyk, Some approaches to constructive analysis, Constructivity in Math., pp. 43-61.
  • [20] A. Grzegorczyk, Recursive objects, to appear in Fundamenta Mathematicae.
  • [21] D. Klauda, Bevechenbave Analysis, Zeit. f. Math. Log. und Grund. d. Math. 2 (1956), pp. 265-303.
  • [22] D. Klauda, Konstruktive Analysis, Berlin 1961.
  • [23] S. C. Kleene, On the interpretation of intuitionistic number theory, J. S. L. 10 (1945), pp. 109-124.
  • [24] S. C. Kleene, Introduction to metamathematics, Amsterdam 1952.
  • [25] S. C. Kleene, A note on computable functionals, Indag. Math. 18 (1956), pp. 275-280.
  • [26] S. C. Kleene, Rec. functionals and quantifiers of finite types I, Trans. Am. Math. Soc. 91 (1959), pp. 1-52.
  • [27] G. Kreisel, Review of Meschkowski, Math. Reviews 1958, p. 238.
  • [28] G. Kreisel, Interpretation of Analysis by means of constructive Functionals of finite types, Constructivity in Math., p. 101-128.
  • [29] G. Kreisel, D. Lacombe and J. R. Shoenfield, Partial recursive Functionals and effective Operations, Constructivity in Math., pp. 290-297.
  • [30] A. H. Lachlan, Rec. real numbers, J. S. L. (to appear).
  • [31] D. Lacombe, Extension de la notion de fonction recursive aux fonctions d'une ou plusieurs variables réelles, C. R. Acad. Sci. Paris I, 240 (1955), pp. 2478-2480; II, 241 (1955), pp. 13-14; III, 241 (1955), pp. 151-153.
  • [32] D. Lacombe, Quelques Procédés de Definition en Topologie recursive, Constructivity in Math., pp. 129-158.
  • [33] R. S. Lehman, On primitive recursive real numbers, Fund. Math., 49 (1961), pp. 105-118.
  • [34] W. Markwald, Zur Eigenschaft primitiv-recursiver Funktionen unendlich viele Werte anzunehmen, Fund. Math. 42 (1955), p. 166-167.
  • [35] H. Meschkovski, Zur rekursiven Funktionentheorie, Acta Math. 95 (1956), pp. 9-23.
  • [36] A. Markov, Über die Stetigkeit der Konstruktiven Funktionen, Ycnexu, Mam. Hayk 61 (1954), pp. 226-230.
  • [37] A. Mostowski, A lemma concerning recursive functions and its applications, Bull. Acad. Pol. Sci. III. 1 (1953), pp. 277-280.
  • [38] A. Mostowski, The present state of investigations of foundations of mathematics, Rozprawy Matematyczne 9 (1955), pp. 1-48.
  • [39] A. Mostowski, On computable sequences, Fund. Math. 44 (1957), pp. 37-51.
  • [40] J. R. Myhill, Criteria for constructibility of real numbers, J. S. L. 18 (1953), pp. 7-10.
  • [41] R. Péter, Recursive functionen, Budapest 1951.
  • [42] R. P??ter, Zum Begriff der rekursiven reellen Zahl, Acta Scient. Math. Szeged 12/A (1950), pp. 239-245.
  • [43] H. G. Rice, Recursive real numbers, Proc. Am. Math. Soc. 5 (1954), pp. 784-791.
  • [44] R. M. Robinson, Review, J. S. L. 16 (1951), p. 282.
  • [45] Th. Skolem, Begründung der elementaren Arithmetik durch die rekurrierende Denkweise..., Videnskapeselskapets Skrifter 1. Math.-Naturv., Kl. 6 (1924), pp. 3-38.
  • [46] Th. Skolem, Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie, Monatshefte für Math, und Phys. 48 (1939), pp. 268-276.
  • [47] Th. Skolem, The development of recursive arithmetic, X-th Congress of Scandinavian Mathematicians, Copenhagen 1946.
  • [48] Th. Skolem, A remark on the induction schema, Det Kongelige Norske Videnskarbers Selskab 22 (1950), pp. 167-170.
  • [49] E. Specker, Nicht konstruktiv beweisbare Sätze der Analysis, J. S. L. (1949), pp. 145-158.
  • [50] E. Specker, Der Satz von Maximum in der Rekursiven Analysis, Constructivity in Mathematics, pp. 254-265.
  • [51] Н. А. Шанин, Некоторые вопросы математического анализа в свете конструктивной логики, Zeitschr. f. Math. Log. und Grund. d. Math. 2 (1956), pp. 27-36.
  • [52] A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc. 42 (1937), pp. 230-265.
  • [53] В. А. Успенский, Лекции о вычислимых функциях, Москва 1960.
  • [54] И. Д. Заспарский, Опровержение некоторых теорем классического анализа в конструктивном анализе, Успехи Мат. Наук 10 (1955), pp. 209-210.

Języki publikacji

EN

Uwagi

Identyfikator YADDA

bwmeta1.element.desklight-c40c6770-5787-40c0-a905-a16ef5d5f8b9

Identyfikatory

Kolekcja

DML-PL
Zawartość książki

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.