Searching The Computer and the Incarnation Ahriman Matches
You may select a new search term and repeat your search.
Searches are not case sensitive, and you can use
regular expressions
in your queries.
Query type:
Query was: theorem
Here are the matching lines in their respective documents.
Select one of the highlighted words in the matching lines below
to jump to that point in the document.
- Title: The Computer and the Incarnation of Ahriman: 2. Methodology
Matching lines:
- significant of which are termed theorems. Theorems are simply
- a logical system, the theorems are in a sense the goal of it.
- Theorems are often complicated enough so that their truth is
- disproving a conjectured theorem) can be challenging and
- or theorem). The rule states that any true statement remains
- theorems “111”, “11111”,
- delight is the way that theorems of such power, beauty, and
- theorems, however clever, are mechanically derivable from the
- the statements, both axioms and theorems, indicate sources of
- theorems, some of which take a stroke of genius to discover.
- understand, while the theorems are (relatively speaking) easier
- discover and elucidate theorems; in spiritual logic, one
- stumbles across theorems more easily, and the point is to
- of the reversal of the relation between axioms and theorems
- are simple statements, while theorems are almost always
- theorems, the complexity is at least greatly reduced. The
- theorems most distant from the axioms are simple irreducibles,
- passive theorems. Although such dualities pervade material
- proving theorems about the boundaries and powers of logical
- Title: The Computer and the Incarnation of Ahriman: 4. History of the Incarnation of Ahriman in its Macrocosmic Aspect
Matching lines:
- theorems in the form of simple historical facts that results
- Gödel's incompleteness theorem,
The
Rudolf Steiner Archive is maintained by:
The e.Librarian:
elibrarian@elib.com
|