Search results

From KYNNpedia
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • ...ttp://www.logicmatters.net/resources/pdfs/ProofSystems.pdf |title=Types of proof system |last=Smith |first=Peter |date=2010 |page=5}}</ref> Soundness has a ...{Citation needed|date=June 2008}} For example, in an [[axiomatic system]], proof of soundness amounts to verifying the validity of the axioms and that the r ...
    8 KB (1,194 words) - 19:51, 26 December 2023
  • ...first1=Robert|last2=Jenkins|first2=Alejandro|date=2020-10-30|title=Quantum Theory of Triboelectricity|url=https://link.aps.org/doi/10.1103/PhysRevLett.125.18 ...<ref name=vanVleck>{{cite book |last = Van Vleck |first = J. H. |title=The theory of electric and magnetic susceptibilities |publisher=[[Clarendon Press]] |y ...
    11 KB (1,662 words) - 15:17, 22 December 2023
  • ...a lemma derives its importance from the theorem it aims to [[mathematical proof|prove]]; however, a lemma can also turn out to be more important than origi ...e is to help prove a more substantial theorem – a step in the direction of proof.<ref name=":1"/> ...
    4 KB (539 words) - 14:38, 17 November 2023
  • ...lielmo Marconi]] for a number of scientific findings. However, no official proof of these collaborations are known. == The Theory of "Magnetic Atom" == ...
    3 KB (436 words) - 04:42, 27 January 2024
  • ...torque|moment of force]] but no resultant force.<ref name=Kane>''Dynamics, Theory and Applications'' by T.R. Kane and D.A. Levinson, 1985, pp. 90-99: [http:/ ...not coincide. This is called a "simple couple".<ref name=Kane>''Dynamics, Theory and Applications'' by T.R. Kane and D.A. Levinson, 1985, pp. 90-99: [http:/ ...
    6 KB (1,044 words) - 04:04, 31 October 2023
  • ..., or absent from a body, thus explaining its electrical charge. Franklin's theory explained how charges could be dispelled (such as those in [[Leyden jar]]s) ...of fluid models are Lavoisier's [[Caloric theory|caloric]] and the [[Fluid theory of electricity#Connections to magnetism|magnetic fluids]] of Coulomb and Ae ...
    11 KB (1,661 words) - 18:31, 25 January 2023
  • ...pressing results ([[scientific law]]s, [[theorem]]s, [[proof (mathematics)|proof]]s, [[logical deduction]]s, etc) with concision, precision and unambiguity. ...the use of ''[[associated prime|assassinator]]'' and ''[[annihilator (ring theory)|annihilator]]'' as technical words. ...
    6 KB (789 words) - 14:12, 11 May 2023
  • *[[Actor–network theory]] *[[Systems theory]] ...
    6 KB (741 words) - 19:43, 12 December 2021
  • ...l to the negative of change in potential energy during that process. For a proof, imagine two paths 1 and 2, both going from point A to point B. The variati {{math proof| title = Proof that these three conditions are equivalent when ''F'' is a [[force field (p ...
    11 KB (1,784 words) - 17:13, 14 February 2024
  • ...e letter Y and the Greek capital letter [[Δ]]. This circuit transformation theory was published by [[Arthur Edwin Kennelly]] in 1899.<ref>{{cite journal |fir ...resistor]]s. In mathematics, the Y-Δ transform plays an important role in theory of circular [[planar graph]]s.<ref>{{Cite journal|doi = 10.1016/S0024-3795( ...
    18 KB (2,875 words) - 14:35, 7 November 2023
  • {{Short description|Concept in information theory}} ...#Quantum entropic uncertainty principle|quantum mechanics]], [[information theory]], and [[Fourier analysis]], the '''entropic uncertainty''' or '''Hirschman ...
    14 KB (1,990 words) - 04:41, 22 January 2024
  • ...[proof of principle]], that demonstrates that the invented method or new [[theory]] is probably useful in a particular application - for example a new [[prod *[[Proof of concept]] ...
    8 KB (1,063 words) - 13:42, 3 March 2023
  • ...a [[weak formulation]] and then apply the machinery of [[geometric measure theory]]; for that approach see the [[coarea formula]]. In this article, we inste ==Proof== ...
    28 KB (4,385 words) - 15:30, 26 January 2024
  • {{Redirect|Invalid proof|any type of invalid proof besides mathematics|Fallacy}} {{short description|Certain type of mistaken proof}} ...
    20 KB (3,196 words) - 03:32, 26 January 2024
  • ...proach to mathematics, which is based on classical [[logic]] and [[ZFC set theory]]. ...ined, and with which one may do [[deductive reasoning]] and [[mathematical proof]]s. Each branch of mathematics has its own objects.{{efn|For a partial list ...
    16 KB (1,871 words) - 10:47, 24 February 2024
  • ...current elements, together with a complete translation of his masterpiece: Theory of electrodynamic phenomena, uniquely deduced from experience| location = M ...related by the [[Kelvin–Stokes theorem]] (see the "[[#Proof of equivalence|proof]]" section below). ...
    31 KB (4,667 words) - 15:51, 22 October 2023
  • ...dicorum ellipticorum homogeneorum methodo nova tractata |trans-chapter=The theory of the attraction of homogeneous spheroidal elliptic bodies treated by a ne {{math proof|title=Outline of proof ...
    27 KB (4,177 words) - 03:42, 8 February 2024
  • ...e journal |doi=10.1364/JOSA.12.000547|author=R. de L. Kronig| title=On the theory of the dispersion of X-rays|journal= J. Opt. Soc. Am.| volume=12|issue=6|pa The proof begins with an application of [[residue theorem|Cauchy's residue theorem]] ...
    22 KB (3,118 words) - 23:06, 9 January 2024
  • {{math proof|proof= which completes the proof. ...
    24 KB (3,716 words) - 10:30, 6 March 2024
  • ...suitable [[experiment]]. Depending on the outcomes of the experiment, the theory on which the hypotheses and predictions were based will be supported or not ...phenomena]] as perceived in experience. Later [[empiricism]] referred to a theory of [[knowledge]] in philosophy which adheres to the principle that knowledg ...
    11 KB (1,563 words) - 07:29, 8 March 2024
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)