to be designed for a computer. Kalkül (from Latin calculus) is the German term for a formal system—as in Hilbert-Kalkül, the original name for the Hilbert-style...

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application...

In logic, more specifically proof theory, a Hilbert system, sometimes called Hilbert calculus, Hilbert-style system, Hilbert-style proof system, Hilbert-style...

Gentzen 1934, p. 188. "Der Kalkül NJ hat manche formale Unschönheiten." Gentzen 1934, p. 191. "In dem klassischen Kalkül NK nahm der Satz vom ausgeschlossenen...

Jens (14 February 2012). "Möbelfabrikant Bobby Dekeyser: Gefühl statt Kalkül" [Furniture-maker Bobby Dekeyser: Sensation instead of Calculation] (in...

on 17 September 2024. Wendler, Achim (17 September 2024). "Warum Söders Kalkül nicht aufging?" [Why did Söder’s calculation not work out?]. tagesschau...

– 4:49 Szene 6: Das Gott-Kalkül "Geliebt" – 1:29 Szene 6: Das Gott-Kalkül "Zweites Erwachen" – 2:55 Szene 6: Das Gott-Kalkül "Golem" – 5:00 Szene 7: Reminiszenz...

Kurt (1930). "Die Vollständigkeit der Axiome des logischen Funktionen-kalküls" [The completeness of the axioms of the calculus of logical functions]...

German), 4 vols. Leipzig: Haessel. Zittel, Claus. 2011. Das ästhetische Kalkül von Friedrich Nietzsches 'Also sprach Zarathustra'. Würzburg: Königshausen...

der dem wirklichen Schließen möglichst nahe kommt. So ergab sich ein "Kalkül des natürlichen Schließens". First I wished to construct a formalism that...

1090/pspum/046.2. ISBN 978-0-8218-1480-2. MR 0927987. Schubert, H. (1879). Kalkül der abzählenden Geometrie (published 1979). Weil, Andre (1947). Foundations...

'Kurfürstendamm-Krawall' zeigte, langanhaltend gewirkt." - Jürgen Matthäus, "Konzept als Kalkül: das Judenbild des SD 1934–1939", in: Nachrichtendienst, politische Elite...

verstehen.": Flottenrüstung zwischen Tirpitzscher Tradition, strategischer Notwendigkeit und ideologischem Kalkül 1933 - 1943. Tönning, DE: Der Andere Verlag....

 15. Bernays, P. (1918). Beiträge zur axiomatischen Behandlung des Logik-Kalküls. Göttingen: Universität Göttingen. p. 3. Hilbert, D. (1928) [1927]. "Die...

der dem wirklichen Schließen möglichst nahe kommt. So ergab sich ein "Kalkül des natürlichen Schließens. (First I wished to construct a formalism that...

neue musikzeitung. December 2003. Finke, Günter. "Selbstbewußte Heldin aus Kalkül" (in German). Die Welt. 27 November 2005. Grether, Kerstin. "An dem Produkt...

transformation of language and capital" (German: Antizipation der Nostalgie. Das Kalkül der Verklärung von Sprache und Kapital), in which, based on the material...

1933–45. p. 3, ISBN 978-0297763154 Daniel E.D. Müller: Radikal pragmatisches Kalkül. Das Gelingen der Konkordatsverhandlungen von 1933 zwischen deutscher Reichsregierung...

Retrieved 19 October 2019. Schouten, Jan A. (1924). R. Courant (ed.). Der Ricci-Kalkül – Eine Einführung in die neueren Methoden und Probleme der mehrdimensionalen...

Schubert polynomial Schubert, Hermann (1979) [1879], Kleiman, Steven L. (ed.), Kalkül der abzählenden Geometrie, Reprint of the 1879 original (in German), Berlin-New...

the Schouten bracket and the Weyl–Schouten theorem. He wrote Der Ricci-Kalkül in 1922 surveying the field of tensor analysis. In 1931 he wrote a treatise...

Schwichtenberg, Helmut (1 September 1975). "Definierbare Funktionen imλ-Kalkül mit Typen". Archiv für mathematische Logik und Grundlagenforschung (in German)...

retrieved 19 October 2019 Schouten, Jan A. (1924). R. Courant (ed.). Der Ricci-Kalkül – Eine Einführung in die neueren Methoden und Probleme der mehrdimensionalen...

ISBN 0674636805 p. 132 Lewy, 1964, p. 26 Daniel E.D. Müller: Radikal pragmatisches Kalkül. Das Gelingen der Konkordatsverhandlungen von 1933 zwischen deutscher Reichsregierung...

Magazin Deutschland, June 2012, p. 62-68 Tönnesmann, Jens: 'Gefühl statt Kalkül' ('Sensation instead of Calculation'). In: Die Zeit, February 14, 2012 Archived...

ISBN 978-3-222-13405-0. Schwaner, Birgit (2008). Die Wittgensteins. Kunst und Kalkül (in German). Vienna: Metro Verlag. Singer, Lea (2008). Konzert für die linke...

Historische Zeitschrift, Volume 217, 1973. Deutsche Aussenpolitik 1933–1945; Kalkül oder Dogma?, Stuttgart, Kohlhammer Verlag, 1970, translated by Anthony Fothergill...

Press, New York/Dresden (2009); edited by Hubertus von Amelunxen. Notation. Kalkül und Form in den Künsten, Akademie der Künste, Berlin (2008); co-edited with...

of the German Reich, 1871–1945), 1980. co-written with Klaus Hildebrand Kalkül zwischen Macht und Ideologie. Der Hitler- Stalin-Pakt: Parallelen bis heute...

Theweleit, Daniel (3 February 2022). "Wer wird DFB-Präsident? Mit politischem Kalkül: Bernd Neuendorf" [Who will be DFB President? With political calculation:...