this proposition holds
21Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… …
22Structural induction — is a proof method that is used in mathematical logic (e.g., the proof of Łoś theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction. Structural recursion is a recursion… …
23probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… …
24Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… …
25Wisła Stadium — Infobox Stadium stadium name = Stadion TS Wisła Kraków nickname = Stadium of Wisla, R22 | location = Reymonta 22 , Kraków, Poland broke ground = opened = 1954 owner = City of Kraków operator = City of Kraków and Wisła Kraków floodlights = 1 400… …
26Omar Khayyám — Khayyam redirects here. For other uses, see Khayyam (disambiguation). Omar Khayyám عمر خیام A depiction of Omar Khayyám, in the works of Edward FitzGerald Full name Omar Khayyám عمر خیام …
27Actual Grace — • A grace that is given for the performance of salutary acts and is present and disappears with the action itself Catholic Encyclopedia. Kevin Knight. 2006. Actual Grace Actual Grace …
28MAIMONIDES, MOSES — (Moses ben Maimon; known in rabbinical literature as Rambam ; from the acronym Rabbi Moses Ben Maimon; 1135–1204), rabbinic authority, codifier, philosopher, and royal physician. BIOGRAPHY The most illustrious figure in Judaism in the post… …
29Contraposition — For contraposition in the field of traditional logic, see Contraposition (traditional logic). For contraposition in the field of symbolic logic, see Transposition (logic). Contraposition is a logical relationship between two propositions, or… …
30Nominalism — is a metaphysical view in philosophy according to which general or abstract terms and predicates exist, while universals or abstract objects, which are sometimes thought to correspond to these terms, do not exist.[1] Thus, there are at least two… …
