Search results

• User:Jon Awbrey/OLDSANDBOX
  [[Table of mathematical symbols|'''Table of Mathematical Symbols''']] A '''relation''' is a mathematical object of a very general type, the generality of which is best approached i
  43 KB (6,715 words) - 13:25, 22 June 2009
• Relation (mathematics)
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...e are ''three'' items involved in each row.&nbsp; The relation itself is a mathematical object, defined in terms of concepts from set theory, that carries all the
  20 KB (2,925 words) - 17:08, 14 November 2015
• Logical implication
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. This completes the derivation of the mathematical objects that are denoted by the signs <math>{}^{\backprime\backprime} \righ
  16 KB (2,147 words) - 20:18, 4 November 2015
• User:Jon Awbrey/MATH
  =Mathematical Philosophy (10 Mar 2003)= > expressive power to limited subsets of logic.
  105 KB (15,873 words) - 11:53, 20 August 2007
• Directory:Jon Awbrey/MATH
  =Mathematical Philosophy (10 Mar 2003)= > expressive power to limited subsets of logic.
  105 KB (15,875 words) - 22:02, 25 January 2008
• Directory:Logic Museum/Gyula Klima
  ...the Nature of Mathematics), in: Mancosu, P.: Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century, Oxford University Press: Oxford-New Yo ...the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox, Logic, Epistemology and the Unity of Science, Springer Publishing Company
  17 KB (2,338 words) - 16:22, 21 February 2009
• Robert Kilwardby
  ...tle as an authorities for his opinions. He derived the idea of music as a mathematical science from Aristotle’s position in the Posterior Analytics that music i ...Erfordensis (= Roberti Kilwardby ?) Sophisma TANTUM UNUM EST. [[Directory:Logic Museum/CIMAGL#1997|CIMAGL 1997]]
  7 KB (919 words) - 14:23, 22 February 2009
• Turing Award
  ...igh level [[programming language]] which has become a model of clarity and mathematical rigor. He is one of the principal exponents of the science and art of [[pro |''For his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL, for his co
  11 KB (1,508 words) - 10:52, 2 November 2006
• Relation composition
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...er of relations. Relations and their combinations may be described in the logic of relative terms, in set theories of various kinds, and through a broadeni
  65 KB (6,802 words) - 18:14, 14 November 2015
• Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
  {{DISPLAYTITLE:Functional Logic : Quantification Theory}} ==Toward a Functional Conception of Quantificational Logic==
  81 KB (10,378 words) - 02:22, 5 July 2013
• User:Jon Awbrey/BIB
  ...ale, William]], and [[Martha Kneale|Kneale, Martha]], ''The Development of Logic'', Oxford University Press, London, UK, 1962. ..., Jean]] (ed. 1967), ''From Frege To Gödel: A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, MA.
  61 KB (7,563 words) - 18:26, 15 June 2010
• Directory:Jon Awbrey/BIB
  ...ale, William]], and [[Martha Kneale|Kneale, Martha]], ''The Development of Logic'', Oxford University Press, London, UK, 1962. ..., Jean]] (ed. 1967), ''From Frege To Gödel: A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, MA.
  61 KB (7,562 words) - 18:18, 18 March 2008
• Cybernetics
  ...rt systems, dynamical systems, information theory, learning organizations, mathematical systems theory, operations research, simulation, and systems engineering. ...ecting the fields of [[control system]]s, [[electrical network]] theory, [[logic modeling]], and [[neuroscience]] in the 1940s. The name ''cybernetics'' w
  14 KB (1,827 words) - 18:48, 27 July 2016
• Directory:Jon Awbrey/Papers/Propositions As Types
  And here is a classical logic proof of the type proposition: Here are three references on combinatory logic and lambda calculus, given in order of difficulty from introductory to adva
  150 KB (9,422 words) - 23:54, 6 July 2013
• Pragmatism
  ...were he utilized the will to believe doctrine to justify the [[axioms]] of logic, mathematics, and [[Kant|Kant's]] [[synthetic a priori]]. Later he would pu ...ogic." What he offers is something philosophers would recognize today as a logic covering the [[context of discovery]] and the [[hypothetico-deductive metho
  23 KB (3,340 words) - 13:12, 16 September 2010
• Directory:Jon Awbrey/SANDBOX
  A '''relation''' is a mathematical object of a very general type, the generality of which is best approached i A '''relation''' <math>L</math> is defined by specifying two mathematical objects as its constituent parts:
  46 KB (7,067 words) - 04:10, 22 May 2010
• Philosophy of mathematics
  ...henomena]]. As a form of philosophical inquiry, it examines the record of mathematical inquiry and poses questions regarding its aims, its conduct, and its result # What are the sources of mathematical subject matter?
  73 KB (10,917 words) - 19:48, 6 September 2017
• Directory:Jon Awbrey/VORPALS
  ...henomena]]. As a form of philosophical inquiry, it examines the record of mathematical inquiry and poses questions regarding its aims, its conduct, and its result # What are the sources of mathematical subject matter?
  177 KB (26,694 words) - 02:20, 15 December 2010
• Boolean algebras canonically defined
  ...ions of mathematics, among other applications. Boolean algebra has a rich mathematical theory, though unlike group theory which exhibits complex diversity in its ...exist. This suggests that it is impossible to have an infinitary Boolean logic for lack of terms.
  46 KB (7,114 words) - 18:24, 2 October 2007
• Ordinal number
  Here, we describe the [[mathematics|mathematical]] meaning of '''transfinite ordinal numbers'''. They were introduced by [[ ...order]]ing with transfinite induction, where transfinite induction extends mathematical induction beyond the finite. Ordinals represent equivalence classes of wel
  29 KB (4,819 words) - 16:23, 9 January 2007

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)