User:IssaRice/Computability and logic/Intuitiveness and simplicity tradeoff: Revision history

Diff selection: Mark the radio buttons 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.

30 January 2019

  • curprev 21:4621:46, 30 January 2019IssaRice talk contribs 1,059 bytes +1,059 Created page with "In various places in computability and logic, there is a tradeoff between the intuitiveness of a formalization and its inherent simplicity. Some examples: * The more our ded..."