|Proof in logic, mathematics: finite string of symbols, which derives a statement in a system from the axioms of the system together with already proven statements._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
|Thiel I 91
Proof/Analysis/Synthesis/Frege/Thiel: Frege, Basic Laws of Arithmetic: the "decomposition"(analysis) is only for the convenience of the reader, while the following "construction" (>synthesis) contains the actual compelling proof. _____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
Die Grundlagen der Arithmetik Stuttgart 1987
Funktion, Begriff, Bedeutung Göttingen 1994
Logische Untersuchungen Göttingen 1993
Philosophie und Mathematik Darmstadt 1995