Search results

• Grounded relation
  * [[Relation theory]] * [[Relation type]]
  1 KB (177 words) - 02:20, 16 February 2008
• Directory:Article Heaven/SES cognitive processing and public policy media
  ...hat humans have a limited capacity for information processing (LC4MP). The theory allows media researchers to examine how efficiently information is encoded, ...4MP is an amalgam that finds its origins in psychology. Specifically, this theory has its origins in the Limited Capacity Model for understanding cognitive i
  4 KB (607 words) - 19:11, 20 April 2009
• Correspondence theory of truth
  A '''correspondence theory of truth''' is a philosophical position holding that any element of concept Problems with the theory arise from consideration of precisely what is supposed to correspond with w
  10 KB (1,514 words) - 17:42, 27 March 2017
• Turing Award
  ...is fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the ...ng to found the following important subfields of [[computer science]]: the theory of [[parsing]], the [[semantics]] of programming languages, automatic [[pro
  11 KB (1,508 words) - 10:52, 2 November 2006
• Graph theory
  : ''For an introduction to graph theory see [[Graph (mathematics)]]''. In [[mathematics]] and [[computer science]], '''graph theory''' has for its subject matter the properties of ''[[graph (mathematics)|gra
  17 KB (2,473 words) - 11:44, 6 September 2007
• Directory:Jon Awbrey
  [[Correspondence theory of truth]] [[Graph theory]]
  15 KB (1,907 words) - 14:08, 9 October 2017
• User:Jon Awbrey
  [https://oeis.org/wiki/Pragmatic_Theory_Of_Truth Pragmatic Theory Of Truth] [https://oeis.org/wiki/Precursors_Of_Category_Theory Precursors Of Category Theory]
  16 KB (2,092 words) - 14:20, 14 January 2021
• Neen
  Between other things, "Neen" means creating a new type of electronic art that goes beyond the aesthetics of the professional artwo ...lso involved with the ElectronicOrphanage creating a leverage or "serious" theory towards the improvised ideas of Neen.
  2 KB (395 words) - 15:33, 28 January 2008
• Ordinal number
  ...[[infinite]] sequences and to classify sets with certain kinds of [[order theory|order]] structures on them. Ordinals are an extension of the [[natural num ...ot a label for an element of the set. This "length" is called the ''order type'' of the set.
  29 KB (4,819 words) - 16:23, 9 January 2007
• Directory:Jon Awbrey/Papers/Linear Topics : The Differential Theory of Qualitative Equations
  {{DISPLAYTITLE:Linear Topics : The Differential Theory of Qualitative Equations}} In order to discuss questions of this type, it is useful to define several "operators" on functions. An operator is n
  5 KB (906 words) - 18:12, 9 May 2008
• Boolean-valued function
  A '''boolean-valued function''' is a function of the type <math>f : X \to \mathbb{B},</math> where <math>X\!</math> is an arbitrary s * Kohavi, Zvi (1978), ''Switching and Finite Automata Theory'', 1st edition, McGraw–Hill, 1970. 2nd edition, McGraw–Hill, 1978.
  7 KB (806 words) - 21:14, 5 November 2015
• Triadic relation
  ...xamples just complex enough to illustrate the distinctive features of each type.&nbsp; The discussion to follow takes up a pair of simple but instructive e ...eings signs are significant ''to'', is known as ''[[semiotics]]'' or the ''theory of signs''.&nbsp; As described, semiotics treats of a 3-place relation amon
  18 KB (2,519 words) - 18:02, 27 May 2020
• Directory:Jon Awbrey/EPITEXT
  ===Basis Relativity and Type Ambiguity=== ...relations are desirable because, once they are set up, all the well-worked theory of numerical mathematics lies ready at hand as a tool for our further reaso
  22 KB (3,003 words) - 21:40, 2 July 2008
• Peter of Spain
  ...Europe for many centuries. His works on logic are typical examples of the type of manuals that started to emerge in the environment of twelfth- and thirte ...Theories of Fallacies. Vol. II.1: The Origin and Early Development of the Theory of Supposition. Vol. II.2: Texts and Indices. Assen.
  5 KB (764 words) - 12:07, 25 January 2009
• Directory:Jon Awbrey/Notes/Precursors
  <p>§1. This paper is based upon the theory already established, that the function of conceptions is to reduce the mani <p>§2. This theory gives rise to a conception of gradation among those conceptions which are u
  13 KB (1,988 words) - 05:06, 16 December 2013
• Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
  ...</math> are propositions about things in <math>X,</math> then functions of type <math>(X \to \mathbb{B}) \to \mathbb{B}</math> are propositions about propo ...s a sample of ''interpretive categories'' for higher order propositions of type <math>(\mathbb{B}^1 \to \mathbb{B}) \to \mathbb{B},</math> but it's best to
  105 KB (15,890 words) - 03:12, 4 July 2013
• Zeroth order logic
  ...tions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}</math> in a number of dif * [[Relation theory]]
  10 KB (1,357 words) - 16:04, 8 November 2015
• Continuous predicate
  ...tinuous predicate''', as described by Charles Sanders Peirce, is a special type of [[relation (mathematics)|relational predicate]] that arises as the limit * [[Relation theory]]
  8 KB (1,058 words) - 04:08, 10 November 2015
• Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
  {{DISPLAYTITLE:Functional Logic : Quantification Theory}} ...re, it is worth considering how we might shift the scene of quantification theory closer to familiar ground, toward the predicates themselves that represent
  81 KB (10,378 words) - 02:22, 5 July 2013
• User:Jon Awbrey/OLDSANDBOX
  A '''relation''' is a mathematical object of a very general type, the generality of which is best approached in several stages, as will be c * [[Theory of relations]]
  43 KB (6,715 words) - 13:25, 22 June 2009

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