Search Results

1 - 10 of 253 items :

Clear All
Leibniz Series for π

Summary

In this article we prove the Leibniz series for π which states that

π4=n=0(1)n2n+1.

The formalization follows K. Knopp [8], [1] and [6]. Leibniz’s Series for Pi is item #26 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.

Open access
Gasteditorial des Präsidenten der Leibniz-Gemeinschaft, Prof. Ernst Th. Rietschel

raumwissenschaftliche Zeitschrift quasi zu einem „Leibniz-Produkt“: Neben die bekannte Alt-Herausgeberin, die Akademie für Raumforschung und Landesplanung (ARL) aus Hannover, sind nun weitere raumwissenschaftliche Institute der Leibniz-Gemeinschaft getreten: das Leibniz-Institut für Länderkunde (IfL) in Leipzig, das Leibniz-Institut für ökologische Raumentwicklung (IÖR) in Dresden und das Leibniz-Institut für Regionalentwicklung und Strukturplanung (IRS) in Erkner. Außerdem wirkt mit dem ILS – Institut für Landes- und Stadtentwicklungsforschung gGmbH aus Dortmund auch ein

Open access
Something, nothing and Leibniz’s question. negation in logic and metaphysics

Abstract

This paper discusses the concept of nothing (nothingness) from the point of logic and ontology (metaphysics). It is argued that the category of nothing as a denial of being is subjected to various interpretations. In particular, this thesis concerns the concept of negation as used in metaphysics. Since the Leibniz question ‘Why is there something rather than nothing?’ and the principle of sufficient reason is frequently connected with the status of nothing, their analysis is important for the problem in question. Appendix contains a short critical analysis of Heidegger’s famous statement Das Nichts nichtet.

Open access
Popularization and/or Trivialization of Philosophy in Voltaire's Narrative Candide or Optimism

Turk, 2008. p. 279-291. Hume, David. Enquiry Concerning Human Understanding, ed . Jonathan Bennett, Early Modern Texts, 2008. Jelkić, Vladimir. “Kakvo znanje trebamo?” Filozofska istraživanja , vol. 31, no.2, 2011, p. 255-261. Leibniz, Gottfried Wilhelm , Leksikografski zavod Miroslav Krleža. Accessed 21 Nov 2015 http://www.enciklopedija.hr/natuknica.aspx?id=35902 . Leibniz, Gottfried Wilhelm. The Monadology . Trans. Robert Latta. The University of Adelaide, 2014. Leibniz, Gottfried Wilhelm. Theodicy: Essays on the Goodness of God

Open access
in CLEaR
Zur Evaluation von Wissensgenerierung und Wissenstransfer in der Akademie für Raumforschung und Landesplanung (ARL) – Leibniz-Forum für Raumwissenschaften

welche Themen in diesem Zusammenhang von Bedeutung sind (vgl. Ukowitz 2012 , S. 15). Im Folgenden wird die Situation der anwendungsorientiert arbeitenden Leibniz-Einrichtungen genauer bestimmt und der Typus der transdisziplinären Forschung, der für die Akademie für Raumforschung und Landesplanung (ARL) charakteristisch ist, genauer beschrieben. Anschließend werden daraus abgeleitete Schlussfolgerungen für Evaluierungsprozesse erörtert. Die ARL ist eine Einrichtung der Leibniz-Gemeinschaft. Sie setzt sich aus einem umfassenden Netzwerk ehrenamtlich tätiger

Open access
Leibniz crítico de Euclides. El método del Analysis Situs

References Alcantéra, J.P. (1993), “La caracteristique geometrique leibnizienne: travail du discernement et relations fondamentales”, Revue d’Histoire des Sciences, XLVI, 4. Bodemann, E. (1889), Der Briefwechseln des G.W. Leibniz, Hannover. --- (1896), Die Leibniz-Handschriften, Hannover-Leipzig. Borgato, M. T. (1988), “Unpublished manuscripts of Vitale Giordano, correspondant of Leibniz”, V. Internationaler Leibniz-Kongress: Vorträge, Hannover, Leibniz-Gess, pp. 99-106. Buseman

Open access
Zunächst in eigener Sache …

Autorinnen und Autoren in einer referierten Fachzeitschrift. Das etablierte doppelblinde Reviewverfahren wird unverändert beibehalten, ebenso das Qualitätssicherungsverfahren durch die Schriftleitung und das Lektorat. Auch das Procedere der Manuskripteinreichung und des Reviewverfahrens über ein webbasiertes Managementsystem bleibt im Wesentlichen unverändert. Als Herausgeber werden die Akademie für Raumforschung und Landesplanung (ARL), das Leibniz-Institut für Länderkunde (IfL), das Leibniz-Institut für ökologische Raumentwicklung (IÖR), das Leibniz-Institut für

Open access
Schlüsselfiguren: Raum als Gegenstand und Ressource des Wandels

angedeutete Forschungsrichtung wird sicher darauf angewiesen sein, sich interdisziplinär zu öffnen und stärker als dies im Rahmen dieses Beitrags möglich war, beispielsweise Erkenntnisse der historischen Biographieforschung und der sozialpsychologischen Persönlichkeitsforschung rezipieren müssen. Danksagung Der vorliegende Beitrag ist im Rahmen des abteilungsübergreifenden Brückenprojekts „Schlüsselfiguren als Triebkräfte in der Raumentwicklung“ am Leibniz-Institut für Raumbezogene Sozialforschung (IRS) entstanden. Die Autoren verdanken viele der hier entwickelten

Open access
A lake fortress, a floating chronology, and an atmospheric anomaly: the surprising results of a radiocarbon wiggle-match from Āraiši, Latvia

–17. [21] Miyake F, Nagaya K, Masuda K and Nakamura T, 2012. A signature of cosmic-ray increase in AD 774-775 from tree rings in Japan. Nature 486(7402): 240–242, DOI 10.1038/nature11123. [22] Nadeau M-J, Grootes PM, Schleicher M, Hasselberg P, Rieck A and Bitterling M, 1998. Sample throughput and data quality at the Leibniz-Labor AMS facility. Radiocarbon 40: 239–245. [23] Punning JM, Liiva A and Ilves E, 1968. Tartu radiocarbon dates III. Radiocarbon 10: 379–383. [24] Reimer PJ, Baillie

Open access
A method for evaluating the performance of a marine piston internal combustion engine used as the main engine on a ship during its voyage in different sailing conditions

A method for evaluating the performance of a marine piston internal combustion engine used as the main engine on a ship during its voyage in different sailing conditions

A method is presented for evaluating the performance of piston internal combustion engines used as the main engines on sea-going ships and acting in typical operating conditions. These conditions are described taking into account the performance area of engines of this type. The presented method provides opportunities for calculating the numerical effect of the action using the integral calculus. The above effect is presented as a physical quantity expressed by a number with the metric unit called the joule-second. Proposed is the use of types of integrands (which are functional dependences of the energy converted in these engines on time) which make it possible to use the second fundamental theorem of calculus justifying the use of the Newton-Leibniz formula. The object of the analysis is the process of changes of the energy converted in the internal combustion engines during their operation, described with the aid of a deterministic model of the real process taking into account its sample realisation.

Open access