Search results

• 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
• Relation composition
  ...rdquo; approach to relations that is outlined in the article on [[relation theory]]. ...ms, in set theories of various kinds, and through a broadening of category theory from functions to relations in general.
  65 KB (6,802 words) - 18:14, 14 November 2015
• Card counting
  ...Dealer</i> by [[Edward Thorp]], which introduced manageable card counting systems. ...le is the dominant mathematical factor and the basis for all card counting systems.
  12 KB (1,713 words) - 15:33, 25 September 2021
• 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. ..., 1976), ''The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy'', Mouton, The Hague.
  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. ..., 1976), ''The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy'', Mouton, The Hague.
  61 KB (7,562 words) - 18:18, 18 March 2008
• 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
• 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
• Truth theory
  ...d developed by means of definite rules of inference. The scope of a truth theory can be restricted to tightly-controlled and well-bounded universes of disco ...the heading of ''semantics'', especially ''formal semantics'' and ''model theory''. Another association of longstanding interest is the relation between tr
  37 KB (5,460 words) - 14:45, 17 November 2015
• 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
• Directory:Jon Awbrey/Papers/Change In Logic
  Linear Topics. The Differential Theory of Qualitative Equations logic and the classes of mathematical structures
  73 KB (6,208 words) - 04:08, 11 December 2016
• Sign relation
  A '''sign relation''' is the basic construct in the theory of signs, also known as [[semeiotic]] or [[semiotics]], as developed by Cha ...precise enough, so long as one recognizes that its meaning in a particular theory of signs is given by a specific definition of what it means to be a sign.
  58 KB (8,260 words) - 03:40, 21 November 2016
• User:Jon Awbrey/TRUTH
  ...articular subject matter as a ''theory'', whether or not it qualifies as a theory in the strictest logical sense. Most of the discussion to follow bows to t ...e of the identified types. For example, [[Susan Haack]] (1993) proposes a theory of ''foundherentism'' that seeks a middle ground between the perspectives o
  237 KB (37,371 words) - 11:22, 20 August 2007
• Directory:Jon Awbrey/TRUTH
  ...articular subject matter as a ''theory'', whether or not it qualifies as a theory in the strictest logical sense. Most of the discussion to follow bows to t ...e of the identified types. For example, [[Susan Haack]] (1993) proposes a theory of ''foundherentism'' that seeks a middle ground between the perspectives o
  237 KB (37,371 words) - 22:14, 25 January 2008
• User:Jon Awbrey/DIFF/B
  Linear Topics. The Differential Theory of Qualitative Equations logic and the classes of mathematical structures
  107 KB (9,168 words) - 14:23, 22 May 2007
• Logical graph
  A '''logical graph''' is a graph-theoretic structure in one of the systems of graphical syntax that Charles Sanders Peirce developed for logic. ...oretic structures. This article examines the common basis of these formal systems from a bird's eye view, focusing on those aspects of form that are shared b
  41 KB (5,845 words) - 14:26, 6 November 2015
• User:Roygbiv/Graph
  ...cal graph''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] that [http://mywikibiz.com/Charles_Sanders_Peirce C ...oretic structures. This article examines the common basis of these formal systems from a bird's eye view, focusing on those aspects of form that are shared b
  42 KB (5,905 words) - 21:49, 22 May 2010
• Introduction to Inquiry Driven Systems
  #REDIRECT [[Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems]]
  80 bytes (10 words) - 11:56, 6 October 2010
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  [[Category:Adaptive Systems]] [[Category:Discrete Systems]]
  158 KB (22,468 words) - 03:24, 27 December 2016
• Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
  ...C.S. Peirce's treatment of analogy, placing it in relation to his overall theory of inquiry. The first order of business is to introduce the three fundamen ====Version 2. &ldquo;A Theory of Probable Inference&rdquo; (1883)====
  106 KB (13,991 words) - 18:45, 18 March 2020
• Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
  ...cause it uses a species of graphs that are usually called "cacti" in graph theory. The last exposition of the cactus syntax that I've written can be found h ...[Propositional Equation Reasoning Systems|Propositional Equation Reasoning Systems (PERS)]]
  134 KB (16,535 words) - 15:30, 11 October 2013

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