Search results

• Philosophy of mathematics
  ...s our story right up to the present time frame, as mathematical [[category theory]], a formalism that many mathematicians regard as the natural language of c ...tury is characterized by a predominant interest in [[formal logic]], [[set theory]], and foundational issues.
  73 KB (10,917 words) - 19:48, 6 September 2017
• Logical graph
  ...tends to be confusing unless the logical expression under consideration is set off in a separate display. ...ackprime\backprime} \texttt{( ( ) )} = \quad {}^{\prime\prime}\!</math> or set off in a text display as follows:
  41 KB (5,845 words) - 14:26, 6 November 2015
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  ...ntial propositional calculus is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, proc | Let <math>P\!</math> be the set of values <math>\{ \texttt{(} p \texttt{)},~ p \} ~=~ \{ \mathrm{not}~ p,~
  131 KB (20,198 words) - 15:38, 2 December 2015
• Computer software
  ...invented by [[Charles Babbage]] as part of his [[difference engine]]. The theory that is the basis for most modern software was first proposed by [[Alan Tur ...s is sometimes called a "loop." Often, one instruction may "call" another set of instructions that are defined in some other program or [[module (program
  14 KB (2,076 words) - 13:33, 31 October 2012
• User:Jon Awbrey/PEIRCE
  ...proach the story problem, a roughly realistic representation of a concrete set of circumstances, with the aim of abstracting the appropriate general formu ...her hand, is a type of formal object that is treated in the mathematical ''theory of relations''. There is of course an intimate relationship between the tw
  74 KB (11,616 words) - 23:56, 21 May 2010
• Directory:IBMTest
  ...tor for [[Linux]] on POWER: A tool that provides users of Linux on Power a set of performance models for IBM's POWER processors. ...=Publisher: Prentice Hall PTR| id= ISBN 0-13-019469-7|}}</ref> and a third theory is that it comes from the fact that IBM executives wore blue suits.<ref nam
  27 KB (3,819 words) - 03:29, 16 May 2010
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  ...ken, forward course by following steps that are never unsure. Acquiring a theory of inquiry is not, in short, a purely deductive exercise. ...o positive proof can arise from so negative a recommendation. Acquiring a theory of inquiry is not, in sum, a purely inductive exercise.
  92 KB (15,197 words) - 14:40, 24 August 2017
• Directory:Jon Awbrey/MathJax Problems
  ...hat one might compile a theory from axioms without knowing what either the theory or the axioms were about &mdash; and the best way to sum up the state of in ...hing on faith. Thus we engage the ''denotative semantics'' or the ''model theory'' of these extremely simple programs that we call ''propositions''.
  59 KB (5,442 words) - 19:40, 8 November 2016
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  ...d on the pragmatic theory of inquiry and its relationship to the pragmatic theory of signs. * Next, I will select mathematical systems theory as an indispensable tool, both for the analysis of inquiry itself and for t
  121 KB (16,341 words) - 04:34, 30 October 2015
• Directory:Jon Awbrey/Papers/Differential Logic
  ...ntial propositional calculus is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, proc | Let <math>X\!</math> be the set of values <math>\{ \texttt{(} x \texttt{)},~ x \} ~=~ \{ \mathrm{not}~ x,~
  145 KB (19,916 words) - 19:32, 11 December 2014
• Charles Sanders Peirce
  ...rs, it is for his contributions to logic, mathematics, philosophy, and the theory of signs, or ''[[semeiotic]]'', that he is largely appreciated today. The ...edge, language, and science. Peirce saw logic as the formal branch of the theory of signs, or ''[[semiotics]]'', here using ''formal'' in the sense of ''[[n
  93 KB (14,277 words) - 20:00, 28 July 2017
• Directory:Jon Awbrey/Papers/Cactus Language
  ...questions of ''style'', that is, the sort of description, ''grammar'', or theory that one finds available or chooses as preferable for a given language. Th A few definitions from formal language theory are required at this point.
  211 KB (31,551 words) - 20:44, 2 August 2017
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  All of the axioms in this set have the form of equations. This means that all of the inference licensed ...round to finding the most elegant and minimal, or anything near a complete set of axioms for the ''cactus language'', so what I list here are just the sli
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...tends to be confusing unless the logical expression under consideration is set off in a separate display. ...texttt{(} ~ \texttt{)} ~ \texttt{)} = \quad {}^{\prime\prime}~\!</math> or set off in a text display:
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:The Wikipedia Point of View/Wikipaedophilia
  ...homosexuality - and by implication to its true nature; modern 'gay rights' theory has marginalised it. ...standpoint with the all the distortions of terminology and current social theory.
  30 KB (4,652 words) - 21:43, 22 August 2010
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  ...he genus <math>\mathrm{x}\!</math> and the element <math>x\!</math> of the set <math>X\!</math> as we pass between the two styles of text. ...terms to mathematical quantities, is the very core of what "quantification theory" is all about, and definitely more to the point than the mere "innovation"
  226 KB (33,992 words) - 16:22, 29 December 2017
• User:Jon Awbrey/Mathematical Notes
  : [[User:Jon Awbrey/Mathematical Notes#CAT. Category Theory|CAT. Category Theory]] : [[User:Jon Awbrey/Mathematical Notes#GRAPH. Graph Theory|GRAPH. Graph Theory]]
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  * The universe of discourse is a set, <math>X,\!</math> represented by the area inside the large rectangle. * The boolean domain is a set of two elements, <math>\mathbb{B} = \{ 0, 1 \},</math> represented by the t
  369 KB (46,156 words) - 04:20, 27 December 2016
• User:Jon Awbrey/Examples Of Inquiry
  of inquiry as a dynamic process of theory change. of inquiry as a dynamic process of theory change.
  139 KB (16,717 words) - 14:30, 12 September 2017
• Directory:Jon Awbrey/Papers/Qualitative Analysis of Sequential Interaction Data
  data analysis, and later I'll explain the set-up and its implications in full detail. Here is an initial segment of an individual data file, a set of records from a single session of observation:
  183 KB (13,361 words) - 22:06, 9 December 2015

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