Search results

• User:Jon Awbrey/PROSPECT
  view the brain as a theorem-o-stat is then fairly close to the mark. ...um, it is desirable that programs be developed under the jurisdiction of a theorem prover that "knows" about categories of types and programs.
  162 KB (25,941 words) - 13:28, 9 January 2008
• Directory:Jon Awbrey/Papers/Dynamics And Logic
  ...ut the regular representations of a group is universally known as Cayley's Theorem, typically stated in the following form:
  127 KB (18,875 words) - 13:28, 10 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  ...ut the regular representations of a group is universally known as Cayley's Theorem, typically stated in the following form:
  131 KB (20,198 words) - 15:38, 2 December 2015
• Directory:Jon Awbrey/Papers/Differential Logic
  ...ut the regular representations of a group is universally known as Cayley's Theorem, typically stated in the following form:
  145 KB (19,916 words) - 19:32, 11 December 2014
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  ...lobal scale through the discovery of natural laws. To view the brain as a theorem-o-stat is then fairly close to the mark. ...um, it is desirable that programs be developed under the jurisdiction of a theorem prover that "knows" about categories of types and programs.
  226 KB (34,541 words) - 14:20, 20 August 2016
• Leslie M. Golden
  ...tte, craps, and blackjack, and discussing such topics as the central limit theorem, the [[normal curve]], and Gambler's ruin, and often employing [[Monte Carl
  56 KB (8,031 words) - 13:29, 28 January 2018
• User:Jon Awbrey/Differential Logic Archive 2002
  as "Cayley's Theorem", usually in the form: "Every group is isomorphic to
  134 KB (14,931 words) - 13:30, 5 December 2014
• Introduction to Inquiry Driven Systems
  80 bytes (10 words) - 11:56, 6 October 2010
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  ...the regular representations of a group is universally known as ''Cayley's Theorem'', usually in the form: "Every group is isomorphic to a subgroup of ''Aut' ...ch. Being in possession of complete algorithms for propositional calculus theorem proving makes the analytic task fairly simple in principle, though the ques
  369 KB (46,156 words) - 04:20, 27 December 2016
• Directory:Les Golden
  ...tte, craps, and blackjack, and discussing such topics as the central limit theorem, the [[normal curve]], and Gambler's ruin, and often employing [[Monte Carl
  61 KB (8,711 words) - 17:38, 30 July 2016
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  ...plete algorithms for propositional calculus modeling, theorem checking, or theorem proving makes the analytic task fairly simple in principle, though the ques
  519 KB (74,456 words) - 15:46, 3 October 2013
• Les Golden (Renaissance Man)
  ...tte, craps, and blackjack, and discussing such topics as the central limit theorem, the [[normal curve]], and Gambler's ruin, and often employing [[Monte Carl
  68 KB (9,798 words) - 12:28, 17 May 2014
• Les "Cut the Taxes" Golden
  ...tte, craps, and blackjack, and discussing such topics as the central limit theorem, the [[normal curve]], and Gambler's ruin, and often employing [[Monte Carl
  68 KB (9,798 words) - 12:30, 17 May 2014
• Les Golden (actor)
  ...tte, craps, and blackjack, and discussing such topics as the central limit theorem, the [[normal curve]], and Gambler's ruin, and often employing [[Monte Carl
  68 KB (9,798 words) - 12:29, 17 May 2014
• User:Jon Awbrey/PEIRCE
  ...[[Leopold Löwenheim|Löwenheim]] stated and proved the [[Löwenheim–Skolem theorem]] … in Peirce's notation. In fact, there is no reference in Löwenheim's
  74 KB (11,616 words) - 23:56, 21 May 2010
• User:Badmachine/wikipedia-en-2015-07-12
  [18:56:24] <SigmaWP> Bayes theorem
  99 KB (12,558 words) - 01:13, 22 July 2015
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  ...hes, through dynamic simulation and statistical reasoning, to mathematical theorem proving. Insofar as these tasks constitute specialized efforts, each one n
  92 KB (15,197 words) - 14:40, 24 August 2017
• Les Golden
  ...tte, craps, and blackjack, and discussing such topics as the central limit theorem, the [[normal curve]], and Gambler's ruin, and often employing [[Monte Carl
  76 KB (11,051 words) - 17:10, 3 October 2022
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  ...hes, through dynamic simulation and statistical reasoning, to mathematical theorem proving. Insofar as these tasks constitute specialized efforts, each of th
  121 KB (16,341 words) - 04:34, 30 October 2015
• Differential Logic and Dynamic Systems
  ...plete algorithms for propositional calculus modeling, theorem checking, or theorem proving makes the analytic task fairly simple in principle, though the ques
  528 KB (75,728 words) - 21:56, 14 January 2021

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