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...
30 KB (2,735 words) - 09:00, 10 May 2024
Lambda calculus (redirect from Lambda kalkül)
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application...
85 KB (11,500 words) - 08:12, 22 May 2024
Hilbert system (redirect from Hilbert-Kalkül)
In mathematical physics, Hilbert system is an infrequently used term for a physical system described by a C*-algebra. In logic, especially mathematical...
21 KB (3,381 words) - 06:00, 27 May 2024
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...
53 KB (5,850 words) - 06:02, 12 May 2024
Jens (14 February 2012). "Möbelfabrikant Bobby Dekeyser: Gefühl statt Kalkül" [Furniture-maker Bobby Dekeyser: Sensation instead of Calculation] (in...
28 KB (2,369 words) - 12:15, 19 March 2024
– 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...
4 KB (286 words) - 21:55, 3 June 2024
German), 4 vols. Leipzig: Haessel. Zittel, Claus. 2011. Das ästhetische Kalkül von Friedrich Nietzsches 'Also sprach Zarathustra'. Würzburg: Königshausen...
41 KB (5,118 words) - 21:30, 28 May 2024
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...
67 KB (6,849 words) - 18:38, 5 May 2024
Kurt (1930). "Die Vollständigkeit der Axiome des logischen Funktionen-kalküls" [The completeness of the axioms of the calculus of logical functions]...
68 KB (8,329 words) - 13:12, 26 May 2024
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...
9 KB (658 words) - 22:40, 28 March 2024