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,528 words) - 07:56, 12 June 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
– 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
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
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...
14 KB (1,560 words) - 15:42, 12 January 2023
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,331 words) - 11:57, 7 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...
68 KB (6,770 words) - 15:49, 10 June 2024