Search results
Jump to navigation
Jump to search
Page title matches
- ...hat subsequently achieved canonical status. FOL is now a core formalism of mathematical logic, and is presupposed by contemporary treatments of [[Peano arithmetic] ...Ackermann]] (1928). ''Grundzüge der theoretischen Logik'' (''Principles of Mathematical Logic''). Springer-Verlag, {{ISBN|0-8218-2024-9}}. This text went into four ...3 KB (503 words) - 17:47, 5 June 2021
- 162 bytes (18 words) - 02:42, 12 September 2021
- 58 bytes (5 words) - 07:43, 27 November 2007
Page text matches
- * a [[mathematical model]] of a biological system, e.g., ** the [[biological neuron model]], a mathematical description of the properties of certain cells in the nervous system ...763 bytes (106 words) - 11:49, 16 October 2020
- ...and (1919). ''[http://people.umass.edu/klement/imp/imp.pdf Introduction to Mathematical Philosophy]''. London: George Allen and Unwin. p. ii.</ref> Accordingly, it ''Introduction to Mathematical Philosophy'' was written while Russell was serving time in [[HM Prison Brix ...3 KB (385 words) - 15:15, 11 September 2024
- ...J. E. Littlewood]] to help teach the essentials of [[measure theory]] in [[mathematical analysis]]. ==The principles== ...3 KB (461 words) - 08:29, 29 October 2023
- ...Chemistry" in ''[[SIAM Review]]'' Vol. 30, No. 2 (1988), pp. 348-350</ref> Mathematical chemistry has also sometimes been called '''computer chemistry''', but shou ...h theory]], which deals with [[topology (chemistry)|topology]] such as the mathematical study of [[isomerism]] and the development of [[topological descriptor]]s o ...5 KB (632 words) - 00:06, 15 February 2025
- | journal=[[Journal of the London Mathematical Society]] [[Category:Mathematical principles]] ...2 KB (262 words) - 13:32, 19 September 2024
- ...hat subsequently achieved canonical status. FOL is now a core formalism of mathematical logic, and is presupposed by contemporary treatments of [[Peano arithmetic] ...Ackermann]] (1928). ''Grundzüge der theoretischen Logik'' (''Principles of Mathematical Logic''). Springer-Verlag, {{ISBN|0-8218-2024-9}}. This text went into four ...3 KB (503 words) - 17:47, 5 June 2021
- {{Short description|Types of mathematical techniques}} ...are [[Lagrangian (field theory)|Lagrangian]]s and [[Hamiltonian mechanics#Mathematical formalism|Hamiltonian]]s and are used to derive the [[Einstein field equati ...2 KB (262 words) - 17:46, 30 November 2024
- {{Short description|Scientific principles enabling the use of the calculus of variations}}{{Inline references needed| A '''variational principle''' is a mathematical procedure that renders a physical problem solvable by the [[calculus of var ...5 KB (638 words) - 16:03, 16 June 2025
- ...ematical Society|American]] and [[Canadian Mathematical Society|Canadian]] Mathematical Societies. ...erested in the computational aspects of [[abstract algebra|algebra]] and [[mathematical analysis|analysis]]. Currently, he is focusing on designing [[symbolic-num ...3 KB (342 words) - 12:02, 22 January 2024
- ...r [[ethics of quantification]] which study the moral questions coming from mathematical practice and quantification in society. ...riginal of our ideas and Beauty and Virtue'' to "an attempt to introduce a Mathematical Calculation in subjects of Morality". Formulas included:<ref>[https://books ...3 KB (427 words) - 08:54, 13 August 2023
- ...opositional calculus]].</ref> set of [[axiom]]s. In other words, it is a [[Mathematical proof|proof]] (including all assumptions) that can be written on a large en ...s logics that allow infinitely long [[statement (logic)|statements]] and [[Mathematical proof|proofs]]. In such a logic, one can regard the [[existential quantifie ...3 KB (473 words) - 17:15, 24 April 2025
- In [[logic]], '''extensionality''', or '''extensional equality''', refers to principles that judge objects to be [[equality (mathematics)|equal]] if they have the Other mathematical objects are also constructed in such a way that the intuitive notion of "eq ...5 KB (723 words) - 03:46, 5 May 2025
- ==Mathematical Principles of Christian Theology== ...his book ''Theologiae Christianae Principia Mathematica'' (''Mathematical Principles of Christian Theology''), published in 1698. ...6 KB (701 words) - 13:50, 28 May 2025
- ...elated fields, an '''abstract structure''' is a way of describing a set of mathematical objects and the relationships between them, focusing on the essential rules ...uctures are studied in their own right, revealing fundamental mathematical principles. While a real-world object or computer program might ''represent, instantia ...4 KB (506 words) - 21:44, 26 January 2025
- ...s. In 1784, he was responsible for an improved [[adding machine]] based on principles of [[Gottfried Wilhelm Leibniz|Leibniz]]'s [[stepped reckoner]]. Müller was demonstrably the first who came up with the idea of calculating mathematical tables automatically by a machine. To achieve this, he planned building a p ...2 KB (284 words) - 04:23, 2 September 2024
- In the [[mathematics|mathematical]] field of [[enumerative combinatorics]], [[identity (mathematics)|identiti ...uished element of set <math>A</math>. Then suppose there is a [[Predicate (mathematical logic)|predicate]] <math>P(X,x)</math> that relates a subset <math>X\subset ...6 KB (899 words) - 12:40, 8 November 2024
- {{Short description|Form of realism that suggests that mathematical entities are abstract}} ...[[Realism (philosophy)|realism]] that suggests that [[Mathematical entity|mathematical entities]] are abstract, have no spatiotemporal or causal properties, and a ...6 KB (812 words) - 17:40, 5 May 2025
- Mathematical methods are integral to the study of electronics. ...s. Key areas include:<ref>{{Citation |title=Preface |date=1986-01-31 |work=Mathematical Methods in Electrical Engineering |pages=vii–viii |url=http://dx.doi.org/10 ...6 KB (834 words) - 17:50, 24 May 2025
- ...eodynamics]]'' won for him the [[Adams prize]] in 1911 when he developed a mathematical model of surface waves known as [[Love wave]]s.<ref>{{MacTutor Biography|id ...ity]]''.<ref>{{cite book |author=Augustus E. Love |title=A treatise on the mathematical theory of elasticity |publisher=Dover |location=Mineola, N.Y |year=1944 |is ...6 KB (731 words) - 15:28, 7 June 2025
- ...ics''' is an analysis of the principles governing [[inference rule]]s of [[mathematical logic]]. Key features of ludics include notion of compound connectives, usi ...'', has some features that may be seen as eccentric for a publication in [[mathematical logic]] (such as illustrations of skunks). The intent of these features is ...4 KB (528 words) - 20:11, 21 October 2024