Im Buch
Ergebnisse 1-3 von 89
Seite 246
NATURE OF A FORMAL SYSTEM Turing machines , involving abstract designs for the explication of possible to decide mechanically whether or not a given machines , mechanical logical procedures , has led to the investigation sentence is a ...
NATURE OF A FORMAL SYSTEM Turing machines , involving abstract designs for the explication of possible to decide mechanically whether or not a given machines , mechanical logical procedures , has led to the investigation sentence is a ...
Seite 557
For start was made by investigating a formal system of classiproving the consistency of analysis itself , the method of cal arithmetic ( with several variants ) , obtained by adding models offers no hope , because no theory is available ...
For start was made by investigating a formal system of classiproving the consistency of analysis itself , the method of cal arithmetic ( with several variants ) , obtained by adding models offers no hope , because no theory is available ...
Seite 559
ematics , including arithmetic , analysis , and set theory that Cantor had introduced for extending the counting short of the paradoxes , in a formal system and proving process beyond that provided by natural numbers . that system ...
ematics , including arithmetic , analysis , and set theory that Cantor had introduced for extending the counting short of the paradoxes , in a formal system and proving process beyond that provided by natural numbers . that system ...
Was andere dazu sagen - Rezension schreiben
Es wurden keine Rezensionen gefunden.
Inhalt
ADOVOL 1 LIGHT | 1 |
LIMA | 29 |
LINCOLN | 33 |
Urheberrecht | |
37 weitere Abschnitte werden nicht angezeigt.
Häufige Begriffe und Wortgruppen
20th century Aeschylus American appear argument ballads become called century character children's classical comedy concepts concerned criticism derived direction drama early effect elements energy English example expression fact fiction field Figure formal French function German given Greek human important individual influence interest interpretation Italy John kind known language later less light linguistics literary literature logic London mathematics meaning method moral nature novel novelists objects original period philosophical plays poet poetry popular possible present produced propositions prose question reason reference reflected relation represented result romance rules satire sense sentence short social story structure style symbols theorem theory thought tion tradition tragedy true truth United universal valid wave whole writing written
Bibliografische Informationen
| Titel | The New Encyclopædia Britannica: Macropædia Band 23 von The New Encyclopædia Britannica, Encyclopaedia Britannica, inc |
| Mitwirkende Personen | Encyclopaedia Britannica, inc |
| Ausgabe | 15 |
| Verlag | Encyclopædia Britannica, 1993 |
| Original von | University of Michigan |
| Digitalisiert | 19. März 2007 |
| ISBN | 0852295715, 9780852295717 |
| Zitat exportieren | BiBTeX EndNote RefMan |