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
Tarski, Alfred
 
Books on Amazon
Proofs I Berka 406
infinity / proof / Tarski: Solution: provability instead of actual evidence

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983


> Counter arguments against Tarski



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