| 
|
Quote: the process of lemma-incorporation yields an infinite regress unless proof is a game or there are trivially true lemmas
topics >
all references >
references i-l >
Topic:
mathematics by proofs and refutations
Topic:
infinity and infinitesimal
Topic:
problems with analytic truth
Topic:
language and life as a game
Quotation Skeleton
ALPHA: … I may admit that you have the proof … sub- lemmas. Should we now turn these into … not prove. You should realize that proving is … it. EPSILON: No, this is no game but … be turned into conditions. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: mathematics by proofs and refutations (31 items)
Topic: infinity and infinitesimal (37 items)
Topic: problems with analytic truth (20 items)
Topic: language and life as a game (30 items)