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
d’Abro, A.
 
Books on Amazon
Proofs A. d'Abro Die Kontroversen über das Wesen der Mathematik 1939 in Kursbuch 8 Mathematik 1967

28
E.g. If Euclid introduces factors in the proof of the infinity of the prime numbers, this is a device and does not follow from a logical > necessity.
d’Abro, A.




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