×

A logical analysis of mathematical structure. (English) Zbl 0011.00102

Monist 45, 118-130 (1935).
Als Ansatz zu einer Analyse der Struktur von mathematischen Beweisen betrachtet der Verf. 1. verschiedene Methoden der Zerlegung eines Beweises in Teile, die je ein zusammenhängendes Ganzes bilden; 2. einige mögliche Motivierungen der einzelnen Beweisschritte (z. B.: ,,If the conclusion of a theorem contains some element not involved in the hypothesis, then try to eliminate this element”).
Reviewer: A. Heyting

MSC:

03-XX Mathematical logic and foundations

Keywords:

logic