Search results

• User:Jon Awbrey/SYMBOL
  * [http://meta.wikimedia.org/wiki/Help:Displaying_a_formula Mathematical formulas] * [http://en.wikipedia.org/wiki/Wikipedia:Mathematical_symbols Mathematical symbols]
  21 KB (2,994 words) - 15:24, 27 October 2008
• Directory:Jon Awbrey/EPITEXT
  ===Philosophy of Notation : Formal Terms and Flexible Types=== Where number is irrelevant, regimented mathematical technique has hitherto tended to be lacking. Thus it is that the progress
  22 KB (3,003 words) - 21:40, 2 July 2008
• Logic of relatives
  ...ng with his 1870 paper “[[Logic of Relatives (1870)|Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Concepti * [[Charles Sanders Peirce|Peirce, C.S.]], “Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Concepti
  7 KB (919 words) - 22:48, 10 November 2015
• Relation theory
  When we speak of a function <math>f : X \to Y\!</math> we are thinking of a mathematical object whose articulation requires three pieces of data, specifying the set When it comes to parsing the notation <math>{}^{\backprime\backprime} f : X \to Y {}^{\prime\prime},\!</math> eve
  25 KB (3,665 words) - 21:04, 16 November 2015
• Logical implication
  ...erial conditional. These considerations result in the following scheme of notation. ...e\backprime} \rightarrow {}^{\prime\prime}</math> is reserved for function notation, it is common to see the double arrow sign <math>{}^{\backprime\backprime}
  16 KB (2,147 words) - 20:18, 4 November 2015
• Propositional calculus
  ...that is, up to somorphism, constituted by the structural relationships of mathematical objects called ''propositions''. When the expressions are interpreted for mathematical purposes, the transformation rules are typically intended to preserve some
  17 KB (2,301 words) - 15:56, 7 November 2015
• Relation (mathematics)
  ...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 ...g defined is determined by the specification of <math>n\!</math> component mathematical objects.&nbsp; In the case of a relation <math>L\!</math> over <math>k\!</m
  20 KB (2,925 words) - 17:08, 14 November 2015
• Charles Sanders Peirce (Bibliography)
  :* ''Volume 3.1 : Mathematical Miscellanea''. :* ''Volume 3.2 : Mathematical Miscellanea''.
  18 KB (2,307 words) - 21:04, 27 May 2015
• 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 contributio
  11 KB (1,508 words) - 10:52, 2 November 2006
• Relation composition
  Note on notation. The ordinary symbol for functional composition is the ''composition sign' ...the same thing, for most all intents and mathematical purposes. Thus the mathematical construction of a relational composition begins by default with a pair of d
  65 KB (6,802 words) - 18:14, 14 November 2015
• 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
• Directory:Jon Awbrey/Papers/Propositions As Types
  Redo the same development in Existential Graph notation. In the work below, the term development is carried out in reverse, that i ...math> means that <math>x\!</math> is of the type <math>A,\!</math> while a notation of the form <math>x \overset{A}{\underset{B}{\Downarrow}}</math> means that
  150 KB (9,422 words) - 23:54, 6 July 2013
• User:Jon Awbrey/BIB
  ...an Heijenoort, Jean]] (ed. 1967), ''From Frege To Gödel: A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, MA. ....S. (1885), "On the Algebra of Logic: A Contribution to the Philosophy of Notation", ''American Journal of Mathematics'' 7 (1885), 180–202. Reprinted as CP
  61 KB (7,563 words) - 18:26, 15 June 2010
• Directory:Jon Awbrey/BIB
  ...an Heijenoort, Jean]] (ed. 1967), ''From Frege To Gödel: A Source Book in Mathematical Logic, 1879–1931'', Harvard University Press, Cambridge, MA. ....S. (1885), "On the Algebra of Logic: A Contribution to the Philosophy of Notation", ''American Journal of Mathematics'' 7 (1885), 180–202. Reprinted as CP
  61 KB (7,562 words) - 18:18, 18 March 2008
• Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
  '''Note on notation.''' The discussion that follows uses [[minimal negation operation]]s, expr By way of reviewing notation and preparing to extend it to higher order universes of discourse, let us f
  81 KB (10,378 words) - 02:22, 5 July 2013
• Chess
  ...edia.org/wiki/Chess" TARGET="_blank" ^[1]</a> The most important mathematical challenge of chess is the development of algorithms which can play chess.<a
  32 KB (5,321 words) - 01:45, 6 April 2012
• Directory:Jon Awbrey/Papers/Change In Logic
  the "enlargement operator", hence the initial "E" of the usual notation. logic and the classes of mathematical structures
  73 KB (6,208 words) - 04:08, 11 December 2016
• User:Jon Awbrey/DIFF/A
  ...gram, are called ''singular propositions''. These serve as an alternative notation for naming the points <1,&nbsp;1>, <1,&nbsp;0>, <0,&nbsp;1>, <0,&nbsp;0>, r ...in the last set of Tables, as that will extend a gentle invitation to the mathematical subject of group theory, and demonstrate its relevance to differential logi
  112 KB (11,050 words) - 14:19, 22 May 2007
• User:Jon Awbrey/DIFF/B
  the "enlargement operator", hence the initial "E" of the usual notation. logic and the classes of mathematical structures
  107 KB (9,168 words) - 14:23, 22 May 2007
• Sign relation
  By way of unpacking the set-theoretic notation, here is what the first definition says in ordinary language. A few items of notation are useful in discussing equivalence relations in general and semiotic equi
  58 KB (8,260 words) - 03:40, 21 November 2016

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