The Lowenheim-Skolem theorem
If a countable collection of sentences in a first order language describes a model (that is, some state of affairs in the world), then it describes more than one model.
Leopold Lowenheim (1915) & Thoralf Skolem (1922).

Note: Hilary Putnam's version (1981) of this argument employs a strengthened version of the Lowenheim-Skolem theorem and claims that the theorem shows that any statement in natural language has an unintended interpretation if it has any interpretation at all.
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
Artificial Intelligence »Artificial Intelligence
Can computers think? [1] »Can computers think? [1]
Yes: physical symbol systems can think [3] »Yes: physical symbol systems can think [3]
The Representationalist Assumption »The Representationalist Assumption
The Objectivist account of cognition »The Objectivist account of cognition
Objectivist account of cognition is inconsistent »Objectivist account of cognition is inconsistent
The Lowenheim-Skolem theorem
+Σχόλια (0)
+Αναφορές (0)
+About