Memory vs Undecidable - What's the difference?
memory | undecidable |
(uncountable) The ability of an organism to record information about things or events with the facility of recalling them later at will.
* (rfdate) Albert Schweitzer
A record of a thing or an event stored and available for later use by the organism.
(computing) The part of a computer that stores variable executable code or data (RAM) or unalterable executable code or default data (ROM).
The time within which past events can be or are remembered.
(attributive, of a material) which returns to its original
(obsolete) A memorial.
* Shakespeare
(mathematics, computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
*
(mathematics) (of a WFF'') logically independent from the axioms of a given theory; i.e., that it can ''never'' be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (''Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)
As a noun memory
is (uncountable) the ability of an organism to record information about things or events with the facility of recalling them later at will.As an adjective undecidable is
(mathematics|computing theory) incapable of being algorithmically decided in finite time for example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.memory
English
Alternative forms
* memorie (archaic)Noun
- Memory is a facility common to all animals.
- Happiness is nothing more than good health and a bad memory .
- I have no memory of that event.
- This data passes from the CPU to the memory .
- in recent memory'''''; ''in living '''memory
- These weeds are memories of those worser hours.
Synonyms
* (ability to recall) recall * (stored record) recall, recollection * (RAM or ROM) core (old-fashioned )Derived terms
* declarative memory * eidetic memory * false memory * flashbulb memory * folk memory * institutional memory * living memory * memory bank * memory card * memory foam * memory lane * photographic memory * recent memory * semantic memory * sensory memory * trip down memory laneSee also
* (wikipedia) * remember * mnemonicsStatistics
*undecidable
English
Adjective
(-)- The first-order procedure SP differs from the proposi-
tional procedure CP°1 in an essential feature. Namely, CP°1
always terminates while SP may run forever as we have seen with
the example immediately after (3.7). This is not a specific
defect of SP. Rather it is known that first-order logic is an
undecidable' theory while propositional logic is a '''decidable'''
theory. This means that for the latter there are '''decision pro-
cedures''' which for any formula decide whether it is valid or
not — and CP°1 in fact is such a decision procedure — while
for the former such decision procedures do not exist in princi-
ple. Thus SP, according to these results for which the reader
is referred to any logic texts such as [End], [DrG] or [Lew],
is of the kind which we may expect, it is a '''semi-decision'''
' procedure which confirms if a formula is valid but may run
forever for invalid formulas. Therefore, termination by running
out of time or space after any finite number of steps will
leave the question for the validity of a formula unsettled. [...]
