Search results

• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ...nbsp;1'' <math>(C_1),\!</math> the ''double negation theorem'' (DNT), or ''Reflection''. '''Proof&nbsp;3''' took the path of reflection, expressing the meta-equation between <math>e_2\!</math> and <math>e_3\!</m
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
  ...te, namely, the systematic care, negative and positive, taken to safeguard reflection so that it may yield the best results under the given conditions. ...as hitherto tended to be lacking. Thus it is that the progress of natural science has depended so largely upon the discernment of measurable quantity of one
  394 KB (54,134 words) - 14:30, 3 March 2023
• User:Jon Awbrey/EXIT
  | align="right" | 47 || [[Philosophy of science]] | align="right" | 11 || [[Formal science]]
  147 KB (23,399 words) - 12:51, 20 August 2007
• Differential Logic and Dynamic Systems
  ...te, namely, the systematic care, negative and positive, taken to safeguard reflection so that it may yield the best results under the given conditions. ...as hitherto tended to be lacking. Thus it is that the progress of natural science has depended so largely upon the discernment of measurable quantity of one
  528 KB (75,728 words) - 21:56, 14 January 2021
• Directory:Jon Awbrey/Differential Logic and Dynamic Systems 2.0
  ...te, namely, the systematic care, negative and positive, taken to safeguard reflection so that it may yield the best results under the given conditions. ...as hitherto tended to be lacking. Thus it is that the progress of natural science has depended so largely upon the discernment of measurable quantity of one
  529 KB (75,750 words) - 14:32, 3 March 2023
• User:Jon Awbrey/IDS
  putative traits in computer simulations. If the hypothesized traits either in nature or on the computer, then one has reason to consider them
  665 KB (109,541 words) - 02:46, 13 September 2010
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  ...f logic programming. I will attempt to embody this project in the form of computer-implemented connections between geometric dynamics and logical AI, and I wi ...''. Discussion of this dialogue and of the task it sets for AI, cognitive science, education, including the design of intelligent tutoring systems, can be fo
  226 KB (34,541 words) - 14:20, 20 August 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  The first section (&sect;&nbsp;1) takes up the phenomenology of reflection. The next three sections (&sect;&sect;&nbsp;2&ndash;4) are allotted to sur A further discussion (&sect;&nbsp;5), in preparation for the task of reflection, identifies three styles of linguistic usage that deploy increasing grades
  725 KB (109,715 words) - 18:09, 28 August 2014
• User:Jon Awbrey/Philosophical Notes
  ...rey/Philosophical Notes#CROM. Critical Reflection On Method|CROM. Critical Reflection On Method]] ==CROM. Critical Reflection On Method==
  594 KB (95,507 words) - 17:36, 14 July 2017
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  <p>A little reflection will show that the associative principle must in some form or other be aban ...sessions of it with expressly decreed axioms. And back in the days when a computer was just a person who computed, before we had the sorts of ''electronic reg
  226 KB (33,992 words) - 16:22, 29 December 2017
• User:Jon Awbrey/Mathematical Notes
  as used in math and computer science, it's been pretty rough going. for the IFF, I recommend any decent textbook of computer science
  567 KB (86,909 words) - 21:00, 6 December 2016
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  that is, with the aim to bring deliberate reflection to train on a present computer simulation, cybernetics, dynamical systems, and formal languages
  899 KB (89,922 words) - 19:22, 6 December 2014
• User:Badmachine/wikipedia-en-2011-05
  ...t even some attempt to produce an admin-lite through software running on a computer. I am a wikipedia admin. We are close to gods, and on the far side. We are May 03 01:36:32 * Douche is compressing his IRC logs of his old computer.
  1.58 MB (215,511 words) - 23:33, 28 January 2015

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