Philosophy Lexicon of Arguments

Search  
 
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.
 
Author Item Excerpt Meta data
Frege, Gottlob
 
Books on Amazon
Proofs Thiel I 91
Beweis/Analyse/Synthese/Frege/Thiel: Frege, Grundgesetze der Arithmetik: die "Zerlegung"(Analyse) ist nur für die Bequemlichkeit des Lesers da, während der dann folgende "Aufbau" (>Synthese) den eigentlich zwingenden Beweis enthält.

F I
G. Frege
Die Grundlagen der Arithmetik Stuttgart 1987

F II
G. Frege
Funktion, Begriff, Bedeutung Göttingen 1994

F IV
G. Frege
Logische Untersuchungen Göttingen 1993

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995


> Counter arguments against Frege



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
 
Ed. Martin Schulz, access date 2017-04-26