Results for 'Grundlagenforschung (mathematische)'

60 found
Order:
  1.  26
    Mathematische Grundlagenforschung: Intuitionismus, Beweistheorie.A. Heyting - 1974 - New York: Springer, 1934, t. p..
    In den letzten Jahrzehntel! hat sich das Interesse an der Grund­ legung der Mathematik immer gesteigert. Fanden frtiher die wenigen Forscher, die sich emsthaft mit dieser 'Frage beschaftigten, wenig Be­ achtung, heute ist die Teilnahme sowohl von mathematischer wie von philosophischer Seite fast allgemein. Zu diesem Umschwung hat sieher die CANToRSche Mengenlehre, die gleich nach ihrem Entstehen lebhafte Erorterungen tiber ihre Berechtigung hervorrief, den AnstoB gegeben, und besonders die bei riicksichtsloser Durchfiihrung ihrer Grundgedanken auftretenden Widerspriiche zogen die allgemeine Aufmerksamkeit auf (...)
  2.  11
    Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.R. Carnap - 1935 - Erkenntnis 5 (1):288-289.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  7
    Leibniz und die Mathematische Grundlagenforschung.Heinrich Scholz - 1944 - Journal of Symbolic Logic 9 (4):98-99.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  2
    Review: Arnold Schmidt, Mathematische Grundlagenforschung[REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (3):198-199.
  5.  12
    Schmidt Arnold. Mathematische Grundlagenforschung. Enzyklopädie der mathematischen Wissenschaften, Band I. Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil II, B.G. Teubner, Leipzig 1950, 48 pp. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (3):198-199.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Heyting, A., Mathematische Grundlagenforschung, Intuitionismus und Beweistheorie. [REVIEW]E. Hartmann - 1941 - Philosophisches Jahrbuch 54:374-375.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  11
    Behmann Heinrich. Ein logischer Abakus. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 , pp. 42–52.Gene F. Rose - 1958 - Journal of Symbolic Logic 23 (4):450-450.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  54
    Heinz-Dieter Ebbinghaus. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archie für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 39–53. [REVIEW]John Corcoran & John Herring - 1972 - Journal of Symbolic Logic 37 (3):617-618.
  9.  17
    Schütte Kurt. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 375–387. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-298.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  6
    Lorenzen Paul. Zur Begründung der Modallogik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 , S. 15–28; auch Archiv für Philosophie, Bd. 5 Heft 1 , S. 95–108. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  19
    Kurt Schütte. Predicative well-orderings. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 280–303. - Kurt Schütte. Eine Grenze fúr die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 , pp. 45–60. [REVIEW]Charles Parsons - 1967 - Journal of Symbolic Logic 32 (2):284-285.
  12.  31
    Gentzen Gerhard. Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 , pp. 1–3; also Archiv für Philosophie, vol. 5 no. 1 , pp. 81–83. [REVIEW]John Riser - 1973 - Journal of Symbolic Logic 38 (1):157-157.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  31
    Dieter Rödding. Anzahlquantoren in der Kleene-Hierarchie.Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 , pp. 61–65. [REVIEW]Joan Rand Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):472-473.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  23
    Dieter Rödding. Anzahlquantoren in der Prädikatenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 , pp. 66–69. [REVIEW]Joan Rand Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):473.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  1
    Review: Heinrich Scholz, Leibniz und die Mathematische Grundlagenforschung[REVIEW]Ernest Nagel - 1944 - Journal of Symbolic Logic 9 (4):98-99.
  16.  29
    Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 , S. 5–22. [REVIEW]Kurt Schütte - 1975 - Journal of Symbolic Logic 40 (3):458.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  16
    A. I. Mal′cév. Polno numérovannyé množéstva . Algébra i logika, Séminar, vol. 2 no. 2 , pp. 4–29. - A. I. Mal′cév. K téorii vyčislimyh séméjstv obéktov . Archiv für mathematische Logik und Grundlagenforschung, vol. 3 no. 4 , pp. 5–31. - A. I. Mal′cév. Pozitwnyé i négatwnyé numéracii . Doklady Akadémii Nauk, SSSR, vol. 160 , pp. 278–280. [REVIEW]Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (2):336-337.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  19
    Titgemeyer Dieter. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 , pp. 45–62. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):155-156.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  40
    Charles Parsons. The ω-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 , pp. 30–34. [REVIEW]Gert H. Müller - 1965 - Journal of Symbolic Logic 30 (1):94.
  20.  25
    Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 , pp. 74–90. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342.
  21.  31
    Helmut Pfeiffer. Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.Archiv für mathematische Logik und Grundlagenforschung, vol. 15 , pp. 41–56. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (2):342-343.
  22.  13
    Kempski Jürgen v.. Relationen- und prädikatenlogische Untersuchungen zur Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 , S. 87–99; auch Archiv für Philosophie, Bd. 5 , S. 407–419. [REVIEW]Klaus Härtig - 1959 - Journal of Symbolic Logic 24 (1):79-80.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  19
    Lorenzen Paul. Über die Syllogismen als Relationenmultiplikationen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 3 , S. 112–116. [REVIEW]Klaus Härtig - 1959 - Journal of Symbolic Logic 24 (1):80-81.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  13
    Lorenzen Paul. Zur Interpretation der Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2, Heft 2–4 , S. 100–103; auch Archiv für Philosophie, Bd. 5, Heft 4 , S. 420–423. [REVIEW]Klaus Härtig - 1958 - Journal of Symbolic Logic 23 (2):229-230.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Kreisel G.. Remark on complete interpretations by models. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 , pp. 4–9; also Archiv für Philosophie, vol. 5 no. 1 , pp. 84–89. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-169.
  26.  19
    Gumin Heinz und Hermes Hans. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4 , S. 68–77; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 388–397. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-387.
  27.  19
    Schwichtenberg Helmut. Rekursionszahlen und die Grzegorczyk-Hierarchie. Archiv für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 85–97. [REVIEW]R. M. Baer - 1970 - Journal of Symbolic Logic 35 (3):480.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  18
    Arnold Oberschelp. Über die Axiome produkt-abgeschlossener arithmetischer Klassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 , pp. 95–123. [REVIEW]J. Weinstein - 1968 - Journal of Symbolic Logic 32 (4):532-533.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    Arnold Oberschelp. Über die Axiome arithmetischer Klassen mit Abgeschlossenheits-bedingungen. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 no. 1–2 , pp. 26–36. [REVIEW]J. Weinstein - 1968 - Journal of Symbolic Logic 32 (4):533.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  33
    Schröter Karl. Der Nutzen der mathemalischen Logik für die Mathematik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 , pp. 2–16; also Archiv für Philosophie, vol. 4 no. 1 , pp. 82-96. [REVIEW]G. Zubieta R. - 1951 - Journal of Symbolic Logic 16 (3):218-218.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  31.  13
    Richard Büchi J.. Regular canonical systems. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 3–4 , pp. 91–111. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):265-267.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  13
    Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 , pp. 126–137, and vol. 12 , pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 , pp. 12–17. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (1):186.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  8
    N. D. Gautam. The validity of equations of complex algebras. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 117–124. [REVIEW]Abraham Robinson - 1958 - Journal of Symbolic Logic 23 (2):224-224.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  20
    Georg Kreisel and Gaisi Takeuti. Formally self-referential propositions for cut free analysis and related systems. Dissertationes mathematicae , no. 118, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1974, 50 pp. - Peter Päppinghaus. A version of the Σ1-reflection principle for CFA provable in PRA. Archiv für mathematische Logik und Grundlagenforschung, vol. 20 , pp. 27–40. [REVIEW]Carlo Cellucci - 1985 - Journal of Symbolic Logic 50 (1):244-246.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  4
    Montague Richard and Kalish Donald. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 50–64, 65–73. [REVIEW]Jaakko Hintikka - 1958 - Journal of Symbolic Logic 23 (4):449-450.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  29
    Richard A. Shore. Determining automorphisms of the recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 65 , pp. 318– 325. - Richard A. Shore. The homogeneity conjecture. Proceedings of the National Academy of Sciences of the United States of America, vol. 76 , pp. 4218– 4219. - Richard A. Shore. On homogeneity and definability in the first-order theory of the Turing degrees. The journal of symbolic logic, vol. 47 , pp. 8– 16. - Richard A. Shore. The arithmetic and Turing degrees are not elementarily equivalent. Archiv für mathematische Logik und Grundlagenforschung, vol. 24 , pp. 137– 139. - Richard A. Shore. The structure of the degrees of unsolvabitity. Recursion theory, edited by Anil Nerode and Richard A. Shore, Proceedings of symposia in pure mathematics, vol. 42, American Mathematical Society, Providence1985, pp. 33– 51. - Theodore A. Slaman and W. Hugh Woodin. Definability in the Turing degrees. Illinois journal of mathematics, vol. 30 , pp. 320–. [REVIEW]Carl Jockusch - 1990 - Journal of Symbolic Logic 55 (1):358-360.
  37.  6
    Markwald Werner. Ein Satz über die elementararithmetischen Definierbarkeitsklassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 2–4 , pp. 78–86; also Archiv für Philosophie vol. 5 no. 4 , pp. 398–406. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):374-374.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  46
    Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 , pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 , pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 , pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  39.  22
    Ehrenfeucht A. and Feferman S.. Representability of recursively enumerable sets informal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 no. 1–2 , pp. 37–41. [REVIEW]R. A. DiPaola - 1968 - Journal of Symbolic Logic 32 (4):530-530.
  40.  12
    Shepherdson J. C.. Representability of recursively enumerable sets in formal theories. Archiv für mathematische Logik und Grundlagenforschung. vol. 5 nos. 3-4 . pp. 119–127. [REVIEW]Robert A. DiPaola - 1969 - Journal of Symbolic Logic 34 (1):117-117.
  41.  15
    Bar-Hillel Y.. Bolzano's propositional logic. Archiv für Philosophie, t. 4 n° 3 , p. 305–338; aussi Archiv für mathematische Logik und Grundlagenforschung, t. 1 n° 3 , p. 65–98. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (4):386-387.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  16
    Sobociński Bolesław. In memoriam Jan Łukasiewicz. Englisch. Philosophical studies , Bd. 6 , S. 3–49.Scholz Heinrich. In memoriam Jan Łukasiewicz. Deutsch. Archiv für mathematische Logik und Grundlagenforschung, Bd. 3 Heft 1–2 , S. 1–18. [REVIEW]K. Dürr - 1957 - Journal of Symbolic Logic 22 (4):385-387.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  9
    Reviews. Charles Parsons. The co-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 (1962), pp. 30–34. [REVIEW]Gert H. Müller - 1966 - Journal of Symbolic Logic 31 (1):98-98.
  44.  36
    Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 , pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 99–100. [REVIEW]James C. Owings - 1973 - Journal of Symbolic Logic 38 (1):155-156.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  16
    Ribeiro H. and Schwabauer R.. A remark on equational completeness. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 , pp. 122–123. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):161-161.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    Schütte Kurt. Eine Bemerkung über quasirekursive Funktionen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 1 Heft 2 , S. 63–64; zugleich Archiv für Philosophie, Bd. 4 Heft 2 , S. 223–224. [REVIEW]Rózsa Péter - 1953 - Journal of Symbolic Logic 18 (1):75-76.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  11
    Behmann Heinrich. Das Auflösungsproblem in der Klassenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 , pp. 17–29, and vol. 1 no. 2 , pp. 33–51; also Archiv für Philosophie, vol. 4 no. 1 , pp. 97–109, and vol. 4 no. 2 , pp. 193–211. [REVIEW]G. Zubieta R. - 1953 - Journal of Symbolic Logic 18 (1):74-75.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  5
    Eichholz Thomas. Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 19–28. [REVIEW]J. Reichbach - 1959 - Journal of Symbolic Logic 24 (3):241-241.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  15
    Kreisel G. and Putnam H.. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 74–78. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229-229.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    Mendelson Elliott. The axiom of Fundierung and the axiom of choice. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 , pp. 65–70. [REVIEW]Dana Scott - 1960 - Journal of Symbolic Logic 25 (2):178-179.
1 — 50 / 60