Deterministic system: Revision history

(If this page was imported from wiki.electorama.com, you can also find the original revision history there.)

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

15 February 2023

12 February 2023

  • curprev 17:2917:29, 12 February 2023Hoc talk contribsm 2,545 bytes +10 No edit summary
  • curprev 15:4715:47, 12 February 2023Hoc talk contribs 2,535 bytes +2,535 Created page with " Formally, the output of an algorithm or decision procedure is 'determinate' ''if and only if'' it is a pure function of the input. Strictly, ''determinate'' applies only to invocations: if, regardless of the input, the output of an algorithm is always determinate whenever the algorithm terminates, then the algorithm is 'deterministic' ''if and only if'' its termination is also determinate. (This latter condition is trivially satisfied if the algorithm always terminate..."