Find link

language:

Find link is a tool written by Edward Betts.

searching for Grundlagen der Mathematik 53 found (64 total)

alternate case: grundlagen der Mathematik

List of logic journals (712 words) [view diff] exact match in snippet view article find links to article

1993 ff. (Successor of Zeitschrift für mathematische Logik und Grundlagen der Mathematik vols 1 –38, 1955–1992). Methodos. Rivista trimestriale de Metodologia

Günter Asser (127 words) [view diff] exact match in snippet view article find links to article

co-founded the journal Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, which later became Mathematical Logic Quarterly. In 1977, Günter

Enumeration reducibility (1,580 words) [view diff] exact match in snippet view article find links to article

Richard M. Friedberg in Zeitschrift für mathematische Logik und Grundlagen der Mathematik (the predecessor of Mathematical Logic Quarterly) in 1959. In

Remarks on the Foundations of Mathematics (930 words) [view diff] exact match in snippet view article find links to article

the Foundations of Mathematics (German: Bemerkungen über die Grundlagen der Mathematik) is a book of Ludwig Wittgenstein's notes on the philosophy of

Cylindrification (172 words) [view diff] exact match in snippet view article find links to article

\leq _{1}c(\nu )} Yu. L. Ershov, "Theorie der Numerierungen I." Zeitschrift für mathematische Logik und Grundlagen der Mathematik 19, 289-388 (1973).

Ruy de Queiroz (1,250 words) [view diff] exact match in snippet view article find links to article

Grundlagen der Mathematik 37:149-166. (with Maibaum, T.) Proof Theory and Computer Programming, in Zeitschrift für mathematische Logik und Grundlagen

LOOP (programming language) (2,040 words) [view diff] exact match in snippet view article

Sequence Functions". Zeitschrift für mathematische Logik und Grundlagen der Mathematik. 28 (27–32): 431–445. doi:10.1002/malq.19820282705. Goetze, Bernhard;

Büchi-Elgot-Trakhtenbrot theorem (206 words) [view diff] exact match in snippet view article find links to article

and finite automata". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 6 (1–6): 66–92. doi:10.1002/malq.19600060105. Elgot, Calvin C

Myhill isomorphism theorem (732 words) [view diff] exact match in snippet view article find links to article

(1955), "Creative sets", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1 (2): 97–108, doi:10.1002/malq.19550010205, MR 0071379. Rogers

Cylindric numbering (168 words) [view diff] exact match in snippet view article find links to article

\circ \nu =\nu } Yu. L. Ershov, "Theorie der Numerierungen I." Zeitschrift für mathematische Logik und Grundlagen der Mathematik 19, 289-388 (1973).

Computably inseparable (503 words) [view diff] exact match in snippet view article find links to article

recursive inseparability", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 4 (7–11): 143–147, doi:10.1002/malq.19580040705, ISSN 0044-3050

RE (complexity) (938 words) [view diff] exact match in snippet view article

(1955), "Creative sets", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1 (2): 97–108, doi:10.1002/malq.19550010205, MR 0071379.

Spectrum of a sentence (1,332 words) [view diff] exact match in snippet view article find links to article

the generator problem". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 36 (1): 23–27. doi:10.1002/malq.19900360105. MR 1030536. Fagin

John Lemmon (472 words) [view diff] exact match in snippet view article find links to article

between S4 and S5'. In Zeitschrifl für Mathematische Logik und Grundlagen der Mathematik, 5:250-264 1959, "Is There Only One Correct System of Modal Logic

Monadic second-order logic (1,308 words) [view diff] exact match in snippet view article find links to article

generalized spectra", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 21: 89–96, doi:10.1002/malq.19750210112, MR 0371623. Fagin, R

Primitive recursive arithmetic (1,300 words) [view diff] exact match in snippet view article find links to article

recursive arithmetic". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 7 (7–10): 124–135. doi:10.1002/malq.19610070707. MR 0140413.

Zero dagger (335 words) [view diff] exact match in snippet view article find links to article

(1990). "The compleat 0†". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 36 (2): 133–141. doi:10.1002/malq.19900360206. ISSN 0044-3050

Solovay model (1,060 words) [view diff] exact match in snippet view article find links to article

(Fundierungs- und Auswahlaxiom)", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 3 (13–20): 173–210, doi:10.1002/malq.19570031302, ISSN 0044-3050

Stanisław Leśniewski (805 words) [view diff] exact match in snippet view article find links to article

Mathematicae 13: 319-32. 1929, "Grundzüge eines neuen Systems der Grundlagen der Mathematik", Fundamenta Mathematicae 14: 1-81. 1929, "Über Funktionen, deren

Karl Schröter (746 words) [view diff] exact match in snippet view article find links to article

Günter Asser founded the Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (English: Journal of mathematical logic and foundations of mathematics)

Creative and productive sets (1,295 words) [view diff] exact match in snippet view article find links to article

(1955), "Creative sets", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1 (2): 97–108, doi:10.1002/malq.19550010205, MR 0071379. Post

Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (453 words) [view diff] exact match in snippet view article find links to article

Deutschland, 1871--1949. transcript Verlag. Hilbert, David (1928). "Die Grundlagen der Mathematik". Abh. Math. Sem. Univ. Hamburg. 6: 65–85. doi:10.1007/BF02940602

Diaconescu's theorem (1,510 words) [view diff] exact match in snippet view article find links to article

Implies Excluded Middle". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 24: 461. doi:10.1002/malq.19780242514. E. Bishop, Foundations

Bruno von Freytag-Löringhoff (1,005 words) [view diff] exact match in snippet view article find links to article

study on the Mathematical Existence, German:Die ontologischen Grundlagen der Mathematik. Eine Untersuchung über die Mathematische Existenz, Verlag Niemeyer

Friedrich Bachmann (788 words) [view diff] exact match in snippet view article find links to article

Gymnasien sowie für Mathematiker in Industrie und Wirtschaft. Band I: Grundlagen der Mathematik, Arithmetik und Algebra. Herausgegeben von H. Behnke, K. Fladt

Rózsa Péter (1,047 words) [view diff] exact match in snippet view article find links to article

Germany, for the long chapter on recursive functions in the book Grundlagen der Mathematik that appeared in 1934 under the names of David Hilbert and Bernays

Otto Blumenthal (457 words) [view diff] exact match in snippet view article find links to article

237–246. Otto Blumenthal (1935). "Lebensgeschichte". Analysis — Grundlagen der Mathematik — Physik — Verschiedenes — Nebst einer Lebensgeschichte. David

Donald W. Loveland (702 words) [view diff] exact match in snippet view article find links to article

of Random Sequence". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 12 (1): 279–294. doi:10.1002/malq.19660120124. Loveland, Donald

Marian Pour-El (1,211 words) [view diff] exact match in snippet view article find links to article

enumeration without repetition", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 10 (8): 105–114, doi:10.1002/malq.19640100802, MR 0168457

Gisbert Hasenjaeger (1,583 words) [view diff] exact match in snippet view article find links to article

March 2018). A Most Interesting Draft for Hilbert and Bernays' "Grundlagen der Mathematik" that never found its way into any publication, and two CV of

Donald Kreider (1,176 words) [view diff] exact match in snippet view article find links to article

definition by recursion," Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10:5, 1964, pages 65–80 Donald L. Kreider & Hartley Rogers, Jr

Đuro Kurepa (1,088 words) [view diff] exact match in snippet view article find links to article

Mathématique de France, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Journal of Symbolic Logic, Pacific Journal of Mathematics. On

Mathematics in Nazi Germany (1,445 words) [view diff] exact match in snippet view article find links to article

Bernays had co-authored a seminal text on mathematical logic called Grundlagen der Mathematik. The collaboration on the second volume of that work, published

Sequent (2,757 words) [view diff] exact match in snippet view article find links to article

S2CID 186239837. Hilbert, David; Bernays, Paul (1970) [1939]. Grundlagen der Mathematik II (Second ed.). Berlin, New York: Springer-Verlag. ISBN 978-3-642-86897-9

Oskar Becker (1,934 words) [view diff] exact match in snippet view article find links to article

Philosophie und phänomenologische Forschung, Bd. XI (1930), pp. 497–548 Grundlagen der Mathematik in geschichtlicher Entwicklung, Freiburg/München: Alber, 1954

George Boolos (2,154 words) [view diff] exact match in snippet view article find links to article

functions and minimization," Zeitschrift für mathematische Logik und Grundlagen der Mathematik 20: 353–354. 1974a, "Reply to Charles Parsons' 'Sets and classes'

Cantor's isomorphism theorem (2,972 words) [view diff] exact match in snippet view article find links to article

relational structures", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 19: 411–426, doi:10.1002/malq.19730192604, MR 0337567 Morley

Logical biconditional (1,791 words) [view diff] exact match in snippet view article find links to article

Universität Göttingen. p. 3. Hilbert, D. (1928) [1927]. "Die Grundlagen der Mathematik". Abhandlungen aus dem mathematischen Seminar der Hamburgischen

Random-access stored-program machine (2,620 words) [view diff] exact match in snippet view article find links to article

programmgesteuerte Rechenmaschine', Zeitschrift fur mathematische Logik und Grundlagen der Mathematik:5 (1959), 366-379. Ershov, A. P. On operator algorithms, (Russian)

Multiset (4,850 words) [view diff] exact match in snippet view article find links to article

Concept of Multiset". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 33 (2): 171–178. doi:10.1002/malq.19870330212. Cf., for instance

Programmgesteuerte Rechenmaschine", Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (1959), 366–379. [2] Hao Wang "Variant to Turing's Theory of

Counter machine (4,601 words) [view diff] exact match in snippet view article find links to article

programmgesteuerte Rechenmaschine', Zeitschrift fur mathematische Logik und Grundlagen der Mathematik:5 (1959), 366-379. Ershov, A. P. On operator algorithms, (Russian)

Boolean differential calculus (2,199 words) [view diff] exact match in snippet view article find links to article

on Boolean algebras]. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (in German). 32 (17–18). Berlin, Germany (East): 271–288. doi:10

True quantified Boolean formula (3,755 words) [view diff] exact match in snippet view article find links to article

Disjunctions are Binary". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 13 (1–2): 15–20. doi:10.1002/malq.19670130104.. Aspvall, Bengt;

Word problem for groups (5,077 words) [view diff] exact match in snippet view article find links to article

defining relations", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 15 (20–22): 305–324, doi:10.1002/malq.19690152001, MR 0263903

Counter-machine model (3,298 words) [view diff] exact match in snippet view article find links to article

programmgesteuerte Rechenmaschine', Zeitschrift fur mathematische Logik und Grundlagen der Mathematik:5 (1959), 366-379. Ershov, A. P. On operator algorithms, (Russian)

Sequent calculus (5,893 words) [view diff] exact match in snippet view article find links to article

ISBN 0-521-37181-3. Hilbert, David; Bernays, Paul (1970) [1939]. Grundlagen der Mathematik II (Second ed.). Berlin, New York: Springer-Verlag. ISBN 978-3-642-86897-9

Random-access machine (7,514 words) [view diff] exact match in snippet view article find links to article

programmgesteuerte Rechenmaschine', Zeitschrift fur mathematische Logik und Grundlagen der Mathematik:5 (1959), 366-379. Ershov, A. P. On operator algorithms, (Russian)

Hajime Tanabe (8,050 words) [view diff] exact match in snippet view article find links to article

October 1945), reprinted in CW14:246-249 ‘Oskar Becker, Die Grundlagen der Mathematik in geschichtlicher Entwicklung’ [オスカー・ベッカー教授の『数学基礎発展史』] (Kagaku

Ludwig Wittgenstein (22,068 words) [view diff] exact match in snippet view article find links to article

York: MacMillan. Retrieved 14 November 2023. Bemerkungen über die Grundlagen der Mathematik, ed. by G. H. von Wright, R. Rhees, and G. E. M. Anscombe (1956)

Giuseppe Longo (2,486 words) [view diff] exact match in snippet view article find links to article

and extensionality". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 26 (19–21): 289–310. doi:10.1002/malq.19800261902. Archived (PDF)

2-satisfiability (9,112 words) [view diff] exact match in snippet view article find links to article

Disjunctions are Binary", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 13 (1–2): 15–20, doi:10.1002/malq.19670130104. Russell, Stuart

List of agnostics (34,719 words) [view diff] exact match in snippet view article find links to article

be compensated for by consistency proofs." David Hilbert, Die Grundlagen der Mathematik, Hilbert's program, 22C:096, University of Iowa. "Also, when someone