... zum Komprehensionsaxiom†. Dem Andenken an Heinrich Scholz gewidmet Thoralf Skolem, Thoralf Skolem OsloSearch for more papers by this author Thoralf Skolem, Thoralf Skolem OsloSearch for more papers by this author First ...
Tópico(s): Logic, Reasoning, and Knowledge
1957 - Wiley | Mathematical logic quarterly
La mort subite et inattendue de Thoralf Skolem a frappd les mathdmaticiens scandinaves d'une douleur profonde.I1 est dgcdd~ ~ Oslo le 23 mars 1963 dans sa 76 e a ... sa quatri~me visite dans les ]~tats-Unis.Thoralf Albert Skolem naquit le 23 mai 1887 s Sandsvaer, canton situd dans le d~partement Buskerud dans le sud de Norv~ge.Son ...
Tópico(s): Congenital Diaphragmatic Hernia Studies
1963 - Mittag-Leffler Institute | Acta Mathematica
... 1 , … , n } are Skolem sets was solved by Thoralf Skolem in the late 1950s. We study the natural ...
Tópico(s): Digital Image Processing Techniques
2007 - Elsevier BV | Discrete Mathematics
Bemerkungen zum Kompre hens ions axiom" in Zeitschr.f. math.Logik und Grundl.d.Math., Bd 3 (1957), p. 1-17, I showed that antinomies of the same kind as Russell's could be avoided in set theory, if this was based on a certain logic, due to Lukasiewicz, with infinitely many truth values.Indeed I proved the existence of domains such that the axiom of comprehension was satisfied for elementary propositional functions Φ, that is Φ being built from atomic propositions u € v by use of conjunction, disjunction, ...
Tópico(s): Logic, Reasoning, and Knowledge
1960 - Duke University Press | Notre Dame Journal of Formal Logic
... this work is dedicated to the memory of Thoralf Skolem.
Tópico(s): Logic, programming, and type systems
1966 - Princeton University | Annals of Mathematics
... of an evening spent in the home of Thoralf Skolem. I am glad that the younger Norwegian logicians ...
Tópico(s): Logic, Reasoning, and Knowledge
1978 - Elsevier BV | Studies in logic and the foundations of mathematics
... work of Ernst Schroder, Leopold L wenheim, and Thoralf Skolem. The text begins by surveying Peirce's early ...
Tópico(s): Pragmatism in Philosophy and Education
2000 - Elsevier BV | Studies in the history and philosophy of mathematics
Nevena Francetić, Eric Mendelsohn,
... empty positions, which are filled with null elements. Thoralf A. Skolem defined and studied Skolem sequences in order to ...
Tópico(s): Mathematics and Applications
2009 - Springer Science+Business Media | Mathematica Slovaca
1963 - Duke University Press | Notre Dame Journal of Formal Logic
In this paper I shall first define a class of functions which I call lower elementary, abbreviated Lei.functions in the sequel, and after some preliminary considerations prove that every recursively enumerable set of integers can be enumerated by a Lei.function.All variables and functions shall here take non-negative integers as values.L. Kalmar defined the notion elementary function (see [l]).These are the functions that can be constructed from addition, multiplication and the operation ~ by use of ...
Tópico(s): Data Management and Algorithms
1962 - Duke University Press | Notre Dame Journal of Formal Logic
Warren Goldfarb, Thoralf A. Skolem, Jens Erik Fenstad,
Tópico(s): History and Theory of Mathematics
1971 - Philosophy Documentation Center | The Journal of Philosophy
Tópico(s): Philosophy and Theoretical Science
2009 - Elsevier BV | Handbook of the history of logic
Alonzo Church, Nicholas Rescher,
Thoralf Skolem. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske ...
Tópico(s): Logic, programming, and type systems
1953 - Cambridge University Press | Journal of Symbolic Logic
Thoralf Skolem. Ein Saiz über die Erfüllbarkeit von einigen Zählausdrücken der Form (x)(Ey1, …, yn)K1(x, y1,…, ...
1936 - Cambridge University Press | Journal of Symbolic Logic
Thoralf A. Skolem, S. Chowla, Daniel Lewis,
Tópico(s): Algebraic Geometry and Number Theory
1959 - American Mathematical Society | Proceedings of the American Mathematical Society
Tópico(s): History and Theory of Mathematics
1948 - Cambridge University Press | Journal of Symbolic Logic
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
Tópico(s): History and Theory of Mathematics
1948 - Cambridge University Press | Journal of Symbolic Logic
enumeration of some classes of primitive rect~rsive functions and a majorisation theorem.Norske Vid.Selsk.Forh., 35, no.
Tópico(s): French Urban and Social Studies
1963 - Mittag-Leffler Institute | Acta Mathematica
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
Tópico(s): Mathematics and Applications
1971 - Cambridge University Press | Journal of Symbolic Logic
... Background and Aims', 4.72 Fenstad and Wang, 'Thoralf Albert Skolem'.73 Cohen, 'Skolem and Pessimism about Proof in ... for first-order logic in Fenstad and Wang, 'Thoralf Albert Skolem', Section 4.3.2.76 Cohen, 'Skolem and ... of Ideas in 1936'.79 Fenstad and Wang, 'Thoralf Albert Skolem', section 4; and Cohen, 'Skolem and Pessimism about ...
Tópico(s): Philosophy and History of Science
2015 - Taylor & Francis | Inquiry
Thoralf Skolem. Bemerkungen zum Komprehensionsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 1– ...
Tópico(s): Logic, Reasoning, and Knowledge
1967 - Cambridge University Press | Journal of Symbolic Logic
Thoralf Skolem was a leading Norwegian mathematician of the last century. He is particularly known for his work ...
Tópico(s): Computability, Logic, AI Algorithms
2011 - | Skrifter - Det Kongelige norske videnskabers selskab/Skrifter
Tópico(s): Medical and Biological Sciences
1978 - Cambridge University Press | Journal of Symbolic Logic
Tópico(s): Philosophy and Theoretical Science
1971 - Cambridge University Press | Journal of Symbolic Logic
... 1878Löwenheim ( -1957)), and then reproved and generalized by Thoralf Skolem (1887-1963) in 1920, in 1922, and again ...
Tópico(s): History and Theory of Mathematics
2005 - Oxford University Press | Philosophia Mathematica
... to talk with Beurling and the Norwegian mathematician Thoralf Skolem about the possibility of an international Scandinavian journal. ...
Tópico(s): History and Theory of Mathematics
2003 - Aarhus University Library | MATHEMATICA SCANDINAVICA
... kurzen Einschub (3) zur Bedeutung des Mathematikers Albert Thoralf Skolem für Wittgenstein, soll (4) herausgearbeitet werden, inwiefern Wittgenstein ...
Tópico(s): Logic, programming, and type systems
2014 - De Gruyter | Wittgenstein-Studien
S. C. Kleene, Chaz Firestone, I enkin Leon, Christoph Ackermann, P. H. Baylis, G Bernays, Evert Berry, Robert Beth, Frederic Feys, Carl Fitch, John Kalmxr, John G. Kemeny, Andrzej Mckinsey, R zsa Mostowski, P£ter Quine Barkley, Rosser Thoralf, Skolem Turquette, H Vauohan, Smith Goldwin, Wilhelm Ackermann, C Bayhs, Paul Bernays, George D. W. Berry, Evert W. Beth, Robert Feys, Frederic B. Fitch, Carl G. Hempel, Peter R zsa, Rosser Quine Barkley, Skolem Thoralf, H Turquette,
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
1951 - Cambridge University Press | Journal of Symbolic Logic
Alonzo Church, S Kleene, Alice Lazerowitz, Joshua Barlaz, Carl G. Hempel, Leon Henkik ', John G. Kemeny, J. C. C. McKinsey, Akdrzej Mostowsri, Wilhelm Ackermann, Charles A. Baylis, Paul Bernays, R. J. Berry, Feys ', Rozsa Fitch ', W P£ter, Rosser Quike Barkley, Skolem Thoralf, H Tu quette, J S H U, A. Ackermann, George D. W. Berry, Robert Feys, F Fitch, Consulting Carl, G. Hempel, Leon Henkin, J. C. C. McKinsey, Andrzej Mostowski, A R zsa, Peter Barkley, Rosser Thoralf, Skolem Turquette, Herbert G. Vaughan, O Subventions From,
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
1952 - Cambridge University Press | Journal of Symbolic Logic
Robert Adtermann, Charles A. Baylis, Paul Bejways, G Berhy, £vert Beth, Robert Feys, F Fitch, George E. Carl, John Kalmar, Sándor Kemény, J Kleene, Andrzej Mckinsey, Leon Henjcin, Luce Everett, J. M. Nelson, R zsa Piter, W Qutne, Rosser Thoralf, Skolem Turquette, Herbert G. Vaughan,
An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
1950 - Cambridge University Press | Journal of Symbolic Logic